| Publication | Date of Publication | Type |
|---|
| Synthesis with abstract examples | 2022-07-01 | Paper |
Generating tests by example
Lecture Notes in Computer Science | 2020-07-07 | Paper |
Programming by predicates: a formal model for interactive synthesis
Acta Informatica | 2020-03-06 | Paper |
Effective abstractions for verification under relaxed memory models
Computer Languages, Systems & Structures | 2018-01-30 | Paper |
Symbolic automata for representing big code
Acta Informatica | 2016-06-28 | Paper |
\(D^3\): data-driven disjunctive abstraction
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Abstraction-guided synthesis of synchronization
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Verifying safety properties of concurrent Java programs using 3-valued logic
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Verifying linearizability with hindsight
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
Effective Abstractions for Verification under Relaxed Memory Models
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Generating precise and concise procedure summaries
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Efficient data race detection for async-finish parallelism
Formal Methods in System Design | 2014-03-28 | Paper |
Symbolic automata for static specification mining
Static Analysis | 2014-01-21 | Paper |
Abstract Semantic Differencing for Numerical Programs
Static Analysis | 2014-01-21 | Paper |
| Automatically verifying concurrent queue algorithms | 2013-08-30 | Paper |
Automatic verification of determinism for structured parallel programs
Static Analysis | 2010-10-01 | Paper |
Inferring Synchronization under Limited Observability
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Comparison Under Abstraction for Verifying Linearizability
Computer Aided Verification | 2007-11-29 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Typestate verification: abstraction techniques and complexity results
Science of Computer Programming | 2005-10-10 | Paper |
Establishing local temporal heap safety properties with applications to compile-time memory management
Science of Computer Programming | 2005-10-10 | Paper |
| scientific article; zbMATH DE number 2090861 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2090863 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1956555 (Why is no real title available?) | 2003-07-30 | Paper |
