| Publication | Date of Publication | Type |
|---|
| Verifying equivalence of Spark programs | 2022-08-12 | Paper |
Order out of chaos: proving linearizability using local views
(available as arXiv preprint) | 2022-07-21 | Paper |
| Run-time complexity bounds using squeezers | 2021-10-18 | Paper |
Putting the squeeze on array programs: loop verification via inductive rank reduction
(available as arXiv preprint) | 2020-08-05 | Paper |
| Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation | 2020-08-05 | Paper |
Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs
Static Analysis | 2019-09-16 | Paper |
From shape analysis to termination analysis in linear time
Computer Aided Verification | 2019-05-03 | Paper |
| Modular verification of concurrency-aware linearizability | 2018-08-24 | Paper |
Characterizing Transactional Memory Consistency Conditions Using Observational Refinement
Journal of the ACM | 2018-08-02 | Paper |
Property-directed inference of universal invariants or proving their absence
Journal of the ACM | 2018-08-02 | Paper |
On the automated verification of web applications with embedded SQL
(available as arXiv preprint) | 2018-07-18 | Paper |
| Property-directed inference of universal invariants or proving their absence | 2018-03-01 | Paper |
| A heap-based concurrent priority queue with mutable priorities for faster parallel algorithms | 2017-09-29 | Paper |
A semantics for procedure local heaps and its abstractions
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
Conjunctive abstract interpretation using paramodulation
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Property directed abstract interpretation
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Sequential verification of serializability
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
A programming language perspective on transactional memory consistency
Proceedings of the 2013 ACM symposium on Principles of distributed computing | 2015-03-02 | Paper |
Verifying linearizability with hindsight
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
Verifying concurrent memory reclamation algorithms with grace
Programming Languages and Systems | 2013-08-05 | Paper |
Abstraction for concurrent objects
Theoretical Computer Science | 2011-01-07 | Paper |
Abstraction for Concurrent Objects
Programming Languages and Systems | 2009-03-31 | Paper |
Local Reasoning for Storable Locks and Threads
Programming Languages and Systems | 2008-05-15 | 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 |
| scientific article; zbMATH DE number 1693492 (Why is no real title available?) | 2002-01-22 | Paper |
