My research interests are primarily in the area of program analysis
and verification. My work has drawn on techniques from
randomized algorithms, theorem proving, model checking, and machine learning.
I obtained my Phd in Computer Science from UC-Berkeley in 2005, and my
BTech degree in Computer Science and Engineering from IIT Kanpur in 2000.
Logical Abstract Interpretation
[ppt],
Lectures in a class on Program Analysis and Verification at IISc, Bangalore, November 2007
Program Verification using Probabilistic Techniques
[ppt],
In Workshop on Verified Software: Tools, Techniques, and Experiments, Floc 2006
Random Interpretation,
[ppt],
Job-interview talk, also given at UW/MSR Summer Institute on Trends in Testing: Theory, Techniques and Tools, 2004
Recent/Selected Publications
A Numerical Abstract Domain based on "Expression Abstraction" and "Max Operator" with Application in Timing Analysis,
To appear in CAV 2008,
Bhargav Gulavani and Sumit Gulwani
[abstract]
|pdf]
Constraint-based Approach for Analysis of Hybrid Systems,
To appear in CAV 2008,
Sumit Gulwani and Ashish Tiwari
[abstract
|pdf]
Proving Conditional Termination,
To appear in CAV 2008,
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko and Mooly Sagiv
[abstract
|pdf]
Program Analysis as Constraint Solving,
To appear in PLDI 2008,
Sumit Gulwani, Saurabh Srivastava, and Ramarathnam Venkatesan
[abstract
|ps
|pdf]
Inferring Locks for Atomic Sections,
To appear in PLDI 2008,
Sigmund Cherem, Trishul Chilimbi, and Sumit Gulwani
[abstract
|pdf]
Cover Algorithms and their Combination,
To appear in ESOP 2008,
Sumit Gulwani and Madanlal Musuvathi
[abstract
|pdf]
Ranking Abstractions,
To appear in ESOP 2008,
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv and Hongseok Yang
[abstract
|ps
|pdf]
Lifting Abstract Interpreters to Quantified Logical Domains,
POPL 2008,
Sumit Gulwani and Bill McCloskey and Ashish Tiwari
[abstract
|ps
|pdf
|ppt
|bibtex]
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software,
CAV 2007,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|ppt
|ppt]
Computing Procedure Summaries for Interprocedural Analysis,
ESOP 2007,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|bibtex]
Precise Interprocedural Analysis using
Random Interpretation,
POPL 2005,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt
|bibtex]
Global Value Numbering using Random Interpretation,
POPL 2004,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt
|bibtex]
Discovering Affine Equalities using Random Interpretation,
POPL 2003,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt
|bibtex]
Program Analysis using Random Interpretation,
PhD Dissertation, UC-Berkeley, 2005, Sumit Gulwani, Winner of the ACM SIGPLAN Doctoral Dissertation Award
[abstract
|ps
|pdf
|dvi
|ppt
|bibtex]
