| Automated formal synthesis of provably safe digital controllers for continuous plants. | 0 | 0.34 | 2020 |
| Counterexample Guided Inductive Synthesis Modulo Theories | 4 | 0.43 | 2018 |
| Program Synthesis for Program Analysis. | 0 | 0.34 | 2018 |
| Kayak: Safe Semantic Refactoring to Java Streams. | 1 | 0.34 | 2017 |
| Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. | 6 | 0.48 | 2017 |
| Automated Formal Synthesis Of Digital Controllers For State-Space Physical Plants | 6 | 0.43 | 2017 |
| DSSynth: an automated digital controller synthesis tool for physical plants. | 1 | 0.35 | 2017 |
| Danger Invariants. | 0 | 0.34 | 2016 |
| Automatically inferring loop invariants via algorithmic learning. | 1 | 0.35 | 2015 |
| Using Program Synthesis for Program Analysis | 7 | 0.48 | 2015 |
| Synthesising Interprocedural Bit-Precise Termination Proofs (extended version) | 1 | 0.35 | 2015 |
| Synthesising Interprocedural Bit-Precise Termination Proofs (T) | 10 | 0.50 | 2015 |
| Expressive program verification via structured specifications | 2 | 0.37 | 2014 |
| Bi-Abduction with Pure Properties for Specification Inference. | 6 | 0.43 | 2013 |
| Automated verification of shape, size and bag properties via user-defined predicates in separation logic | 62 | 1.51 | 2012 |
| From Verification to Specification Inference | 0 | 0.34 | 2012 |
| Structured specifications for better verification of heap-manipulating programs | 10 | 0.66 | 2011 |
| Immutable specifications for more concise and precise verification | 4 | 0.45 | 2011 |
| A HIP and SLEEK verification system | 6 | 0.45 | 2011 |
| A specification logic for exceptions and beyond | 1 | 0.37 | 2010 |
| Automatically inferring quantified loop invariants by algorithmic learning from simple templates | 16 | 0.64 | 2010 |
| Automated Verification Using Unified Control Flows | 0 | 0.34 | 2009 |
| Translation and optimization for a core calculus with exceptions | 2 | 0.43 | 2009 |
| Multiple Pre/Post Specifications for Heap-Manipulating Methods | 5 | 0.52 | 2007 |
| Automated verification of shape and size properties via separation logic | 84 | 2.34 | 2007 |
| Automated Verification of Shape, Size and Bag Properties | 10 | 0.57 | 2007 |
