Treffer 1 - 20 von 62 für Suche 'Dillig, Thomas', Suchdauer: 0,84s Treffer weiter einschränken
  1. 1
    Simplifying Loop Invariant Generation Using Splitter Predicates

    Simplifying Loop Invariant Generation Using Splitter Predicates von Sharma, Rahul, Dillig, Isil, Dillig, Thomas, Aiken, Alex


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    SQLizer: query synthesis from natural language

    SQLizer: query synthesis from natural language von Yaghmazadeh, Navid, Wang, Yuepeng, Dillig, Isil, Dillig, Thomas


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Synthesis of circular compositional program proofs via abduction

    Synthesis of circular compositional program proofs via abduction von Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken, Sagiv, Mooly


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Bottom-Up Context-Sensitive Pointer Analysis for Java

    Bottom-Up Context-Sensitive Pointer Analysis for Java von Feng, Yu, Wang, Xinyu, Dillig, Isil, Dillig, Thomas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Explain: A Tool for Performing Abductive Inference

    Explain: A Tool for Performing Abductive Inference von Dillig, Isil, Dillig, Thomas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Cuts from proofs: a complete and practical technique for solving linear inequalities over integers

    Cuts from proofs: a complete and practical technique for solving linear inequalities over integers von Dillig, Isil, Dillig, Thomas, Aiken, Alex

    Veröffentlicht in Formal methods in system design

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Inductive invariant generation via abductive inference

    Inductive invariant generation via abductive inference von Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Fluid Updates: Beyond Strong vs. Weak Updates

    Fluid Updates: Beyond Strong vs. Weak Updates von Dillig, Isil, Dillig, Thomas, Aiken, Alex


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Automated error diagnosis using abductive inference

    Automated error diagnosis using abductive inference von Dillig, Isil, Dillig, Thomas, Aiken, Alex

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Optimal Guard Synthesis for Memory Safety

    Optimal Guard Synthesis for Memory Safety von Dillig, Thomas, Dillig, Isil, Chaudhuri, Swarat


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Automated Inference of Library Specifications for Source-Sink Property Verification

    Automated Inference of Library Specifications for Source-Sink Property Verification von Zhu, Haiyan, Dillig, Thomas, Dillig, Isil


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Precise reasoning for programs using containers

    Precise reasoning for programs using containers von Dillig, Isil, Dillig, Thomas, Aiken, Alex

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Minimum Satisfying Assignments for SMT

    Minimum Satisfying Assignments for SMT von Dillig, Isil, Dillig, Thomas, McMillan, Kenneth L., Aiken, Alex


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers

    Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers von Dillig, Isil, Dillig, Thomas, Aiken, Alex


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Synthesis of Circular Compositional Program Proofs via Abduction

    Synthesis of Circular Compositional Program Proofs via Abduction von Li, Boyang, Dillig, Isil, Dillig, Thomas, McMillan, Ken, Sagiv, Mooly


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

    Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis von Dillig, Isil, Dillig, Thomas, Aiken, Alex


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Sound, complete and scalable path-sensitive analysis

    Sound, complete and scalable path-sensitive analysis von Dillig, Isil, Dillig, Thomas, Aiken, Alex

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Type- and Content-Driven Synthesis of SQL Queries from Natural Language

    Type- and Content-Driven Synthesis of SQL Queries from Natural Language von Yaghmazadeh, Navid, Wang, Yuepeng, Dillig, Isil, Dillig, Thomas

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Symbolic heap abstraction with demand-driven axiomatization of memory invariants

    Symbolic heap abstraction with demand-driven axiomatization of memory invariants von Dillig, Isil, Dillig, Thomas, Aiken, Alex

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Consolidation of queries with user-defined functions

    Consolidation of queries with user-defined functions von Sousa, Marcelo, Dillig, Isil, Vytiniotis, Dimitrios, Dillig, Thomas, Gkantsidis, Christos

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: