An Efficient SMT Solver
- Back to the Future: Revisiting Precise Program Verification using SMT Solvers, Shuvendu K. Lahiri, Shaz Qadeer. POPL 2008.
- Automatic verification of textbook programs that use comprehensions, K. Rustan M. Leino and Rosemary Monahan. FTfJP 2007.
- An Automatic Verifier for Java-like Programs Based on Dynamic Frames, Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte. FASE 2008.
- Demand-Driven Compositional Symbolic Execution, Saswat Anand, Patrice Godefroid, Nikolai Tillmann. TACAS 2008.
- An SMT Approach to Bounded Reachability Analysis of Model Programs, Margus Veanes, Nikolaj Bjørner, and Alexander Raschke. FORTE 2008.
- Model Generation for Horn Logic with Stratified Negation, Ethan Jackson and Wolfram Schulte. FORTE 2008.
- Refinement Types for Secure Implementations, Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon. CSF 2008.
- Better bug reporting with better privacy, Miguel Castro, Manuel Costa and Jean-Philippe Martin. ASPLOS2008.
- Efficient Well-Definedness Checking, Adam Darvas, Farhad Mehta, and Arsenii Rudich. IJCAR 2008.
- Program Analysis as Constraint Solving, Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan. PLDI 2008.
Last modified Wed Sep 3 08:54:17 2008