BibSonomy publications for /author/Gulwani http://www.bibsonomy.org/author/Gulwani BibSonomy RSS Feed for /author/Gulwani Proving Conditional Termination. dblp http://www.bibsonomy.org/bibtex/24c1fe3c3b4af4aadfd8d5d594a2b815b/dblp dblp 2008-07-08T00:00:00+02:00 dblp
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
]]> Constraint-Based Approach for Analysis of Hybrid Systems. dblp http://www.bibsonomy.org/bibtex/24fabbd96bb9a1da93432faf4f71345ce/dblp dblp 2008-07-08T00:00:00+02:00 dblp
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
]]> A Numerical Abstract Domain Based on Expression Abstractionand Max Operatorwith Application in Timing Analysis. dblp http://www.bibsonomy.org/bibtex/25fa2e30859f0e6206c9a14fc0a41f771/dblp dblp 2008-07-08T00:00:00+02:00 dblp
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
]]> Program analysis as constraint solving. dblp http://www.bibsonomy.org/bibtex/2ce3f6ea307bb6d19719a90a7f3b25cf7/dblp dblp 2008-06-16T00:00:00+02:00 dblp
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
]]> Inferring locks for atomic sections. dblp http://www.bibsonomy.org/bibtex/22f809ad67b8adc381a841696a718f5cb/dblp dblp 2008-06-16T00:00:00+02:00 dblp
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
]]> Ranking Abstractions. dblp http://www.bibsonomy.org/bibtex/278967b9aefb93ae62cf40c6e01fc41a8/dblp dblp 2008-04-16T00:00:00+02:00 dblp
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
]]> Cover Algorithms and Their Combination. dblp http://www.bibsonomy.org/bibtex/24bcf6d0e7566c18bbad20c26aec913fd/dblp dblp 2008-04-16T00:00:00+02:00 dblp
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
]]> Assertion Checking Unified. dblp http://www.bibsonomy.org/bibtex/2017f45ce635114f5c5348dc92d2619e0/dblp dblp 2008-01-08T00:00:00+01:00 dblp
Assertion Checking Unified.
Sumit Gulwani and Ashish Tiwari VMCAI 363-377 (2007)
to dblp by dblp on 2008-01-08 00:00:00
]]> Lifting abstract interpreters to quantified logical domains. dblp http://www.bibsonomy.org/bibtex/26bd1d03e0c38ecdc70a7d5f4da6648ab/dblp dblp 2008-01-08T00:00:00+01:00 dblp
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
]]> Logical Interpretation: Static Program Analysis Using Theorem Proving. dblp http://www.bibsonomy.org/bibtex/22e87bcc1618fecfd5938143d9c58ffbd/dblp dblp 2007-09-05T00:00:00+02:00 dblp
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
]]>