BibSonomy :: author  ::

bookmarks

publications

(26)

• Proving Conditional Termination.
  Byron Cook and Sumit Gulwani and Tal Lev-Ami and Andrey Rybalchenko and Mooly Sagiv CAV 328-340 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Constraint-Based Approach for Analysis of Hybrid Systems.
  Sumit Gulwani and Ashish Tiwari CAV 190-203 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• A Numerical Abstract Domain Based on Expression Abstractionand Max Operatorwith Application in Timing Analysis.
  Bhargav S. Gulavani and Sumit Gulwani CAV 370-384 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Program analysis as constraint solving.
  Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan PLDI 281-292 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Inferring locks for atomic sections.
  Sigmund Cherem and Trishul M. Chilimbi and Sumit Gulwani PLDI 304-315 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Ranking Abstractions.
  Aziem Chawdhary and Byron Cook and Sumit Gulwani and Mooly Sagiv and Hongseok Yang ESOP 148-162 (2008)
  to dblp by dblp on 2008-04-16 00:00:00
  | URL | BibTeX  
• Cover Algorithms and Their Combination.
  Sumit Gulwani and Madan Musuvathi ESOP 193-207 (2008)
  to dblp by dblp on 2008-04-16 00:00:00
  | URL | BibTeX  
• Assertion Checking Unified.
  Sumit Gulwani and Ashish Tiwari VMCAI 363-377 (2007)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Lifting abstract interpreters to quantified logical domains.
  Sumit Gulwani and Bill McCloskey and Ashish Tiwari POPL 235-246 (2008)
  to dblp by dblp on 2008-01-08 00:00:00
  | URL | BibTeX  
• Logical Interpretation: Static Program Analysis Using Theorem Proving.
  Ashish Tiwari and Sumit Gulwani CADE 147-166 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX