Sumit Gulwani - Publications
The documents referenced below are included by the contributing
authors as a means to ensure timely dissemination of scholarly and technical
work on a non-commercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they
have offered their works here electronically. It is understood that all persons
copying this information will adhere to the terms and constraints invoked
by each author's copyright.
Referred Journal Publications
- A Polynomial-Time Algorithm for Global
Value Numbering
[abstract
|ps],
Sumit Gulwani and George Necula,
To appear in SAS 2004 special
issue of Science of Computer Programming , Elsevier.
- A Randomized Satisfiability Procedure for
Arithmetic and Uninterpreted Function Symbols
[abstract
|ps
|pdf],
Sumit Gulwani and George Necula,
Appears in CADE (Conference on Automated Deduction) 2003 special
issue of Information and Computation , Elsevier.
Referred Conference Publications
-
Lifting Abstract Interpreters to Quantified Logical Domains,
To appear in POPL 2008,
Sumit Gulwani and Bill McCloskey and Ashish Tiwari
[abstract
|ps
|pdf]
-
Full version appears as Microsoft Technical Report, TR-2007-87
[abstract
|ps
|pdf]
-
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software,
CAV 2007,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|ppt]
- Full version appears as MSR Technical Report
Static Analysis of Heap-Manipulating Low-Level Software, MSR-TR-2006-160, Nov 2006
[abstract
|ps
|pdf]
-
Computing Procedure Summaries for Interprocedural Analysis,
[abstract
|ps
|bibtex]
Sumit Gulwani and Ashish Tiwari,
In ESOP 2007
-
Assertion Checking Unified,
[abstract
|ps
|pdf
|ppt
|bibtex]
Sumit Gulwani and Ashish Tiwari,
In the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007)
-
Program Verification as Probabilistic Inference
[abstract
|ps
|pdf
|ppt
|bibtex], Sumit Gulwani and Nebojsa Jojic,
In the 34th Annual ACM Symposium on Principles of Programming Languages (POPL 2007)
-
Combining Abstract Interpreters
[abstract
|ps
|pdf
|ppt]
Sumit Gulwani and Ashish Tiwari, In ACM Conference on Programming Language Design and Implementation (PLDI 2006).
-
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
[abstract
|ps
|pdf
|ppt]
|bibtex],
Sumit Gulwani and Ashish Tiwari,
In 15th European Symposium on Programming (ESOP 2006).
- Precise Interprocedural Analysis using
Random Interpretation
[abstract
|ps
|pdf
|ppt
|bibtex], Sumit Gulwani and
George Necula,
In the 32nd Annual ACM Symposium on Principles of Programming Languages (POPL 2005)
- Full version appears as UCB technical report CSD-04-1353 [ps]
- Join Algorithms for the Theory of
Uninterpreted Functions
[abstract
|ps
|pdf
|ppt
|bibtex],
Sumit Gulwani, Ashish Tiwari and George Necula,
In the 24th Conference on Foundations of
Software Technology and Theoretical Computer Science (FSTTCS 2004)
- A Polynomial-Time Algorithm for Global
Value Numbering
[abstract
|ps
|pdf
|ppt
|bibtex],
Sumit Gulwani and George Necula, In the 11th Static Analysis Symposium (SAS 2004)
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
[abstract
|ps
|pdf
|ppt
|bibtex],
Sumit Gulwani and George Necula, In the 11th Static Analysis Symposium (SAS 2004)
- Full version appears as UCB technical report CSD-04-1325 [ps]
- Global Value Numbering using Random Interpretation,
[abstract
|ps
|pdf
|ppt
|bibtex],
Sumit Gulwani, George Necula,
In the 31st Annual ACM Symposium on Principles of Programming
Languages (POPL 2004)
- Full version appears as UCB technical report CSD-03-1296 [ps]
- A Randomized Satisfiability Procedure for
Arithmetic and Uninterpreted Function Symbols
[abstract
|ps
|pdf
|ppt
|bibtex],
Sumit Gulwani and George Necula,
In the 19th Conference on Automated Deduction (CADE 2003)
- Full version appears as UCB technical report CSD-03-1241 [ps]
- Discovering Affine Equalities using
Random Interpretation
[abstract
|ps
|pdf
|ppt
|bibtex],
Sumit Gulwani and George Necula,
In the 30th Annual ACM Symposium on Principles of Programming Languages (POPL 2003)
- WebCaL: A Domain Specific Language
for Web Caching,
[abstract
|ps
|pdf
|ppt
|bibtex],
Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto,
Gilles Muller and Charles Consel,
In the 5th International Web caching and Content Delivery Workshop (WCW
2000)
Unreferred Publications
-
Generating random spanning trees
[ps
|ppt],
Sourav Chatterji and Sumit Gulwani. Graduate course project report for Markov Chains Monte
Carlo (cs294-4), UC-Berkeley, Dec 2002. [Category: Survey+Suggestions]
-
Platform independent checkpointing of the
execution of a C-program
[abstract
|ps],
Sumit Gulwani and Asha Tarachandani.
Graduate course project report for Advanced Topics in Operating Systems
(cs262A), UC-Berkeley, Dec 2000. [Category: Research]
-
Set-constraint based program analysis
[abstract
|ps
|ps slides],
Sumit Gulwani. Graduate course project report for Design and
Analysis of Programming Languages
(cs263), UC-Berkeley, Dec 2000. [Category: Survey]
-
WebCaL: a domain specific language for web
caching
[abstract
|ps]
|pdf],
Sumit Gulwani and Asha Tarachandani. Undergraduate thesis, IIT Kanpur,
April 2000. [Category: Research]
-
Security issues in multimedia
[ps],
Sumit Gulwani, Graduate course project report for
Topics in Multimedia (cs726), IIT Kanpur, April 2000. [Category:
Survey]
-
Issues in designing the next generation transport protocol
[ps],
Sumit Gulwani, Graduate course project report for Topics in
Networking (cs725), IIT Kanpur, April 1999. [Category:
Survey+Suggestions]
-
Programming languages for high performance computing
[ps],
Sumit Gulwani and Asha Tarachandani,
Graduate course project report for Advanced Compiler
Optimizations (cs738), IIT Kanpur, Dec 1999. [Category: Survey]
Co-authors
George Necula
Ashish Tiwari
Asha Tarachandani
Charles Consel
Gilles Muller
Luciano Porto Barreto
Dheeraj Sanghi
Deepak Gupta