[
HomePage |
Biography |
Resume |
Publications |
Projects |
Professional Activities |
Invited Talks |
Pictures]
|
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.
DBLP
- Formal Methods for Computer-Aided STEM Education, MSR Technical Report 2013, Sumit Gulwani
[abstract
|pdf
|bibtex
|ppt slides]
- A Colorful Approach to Text Processing by Example, To appear in UIST 2013, Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Rob Miller, Sumit Gulwani, Butler Lampson, Adam Kalai
[abstract]
- SmartSynth: Synthesizing Smartphone Automation Scripts from Natural Language, To appear in MobiSys 2013, Vu Le, Sumit Gulwani, Zhendong Su
[abstract]
- Automatically Generating Problems and Solutions for Natural Deduction, To appear in IJCAI 2013, Umair Ahmed, Sumit Gulwani, Amey Karkare
[abstract
|pdf]
- Automated Grading of DFA constructions, To appear in IJCAI 2013, Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan
[abstract
|pdf
|full-version(pdf)]
- Automated Feedback Generation for Introductory Programming Assignments, PLDI 2013, Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
[abstract
|pdf]
- Static Analysis for Probabilistic Programs: Inferring
Whole Program Properties from Finitely Many Paths PLDI 2013, Distinguished Paper Award, Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
[abstract
|pdf]
- Recursive Program Synthesis, To appear in CAV 2013, Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
[abstract
|pdf]
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions, CHI 2013, Erik Andersen, Sumit Gulwani, Zoran Popovic
[abstract
|pdf]
- A Machine Learning Framework for Programming by Example, ICML 2013, Aditya Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, Adam Kalai
[abstract
|pdf]
-
From Relational Verification to SIMD Loop Synthesis,
PPoPP 2013,
Best Paper Award,
Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, Cesar Kunz, Mark Marron
[abstract
|pdf
|ppt slides]
-
Teaching and Learning Programming and Software Engineering via Interactive Gaming,
ICSE 2013 SEE Track,
Nikolai Tillmann; Jonathan De Halleux; Tao Xie; Sumit Gulwani; Judith Bishop
[abstract
|pdf]
-
Synthesis from Examples: Interaction Models and Algorithms, SYNASC 2012, Keynote Paper, Sumit Gulwani
[abstract
|pdf
|ppt slides
|bibtex]
-
Synthesis from Examples, WAMBSE 2012 , Keynote Paper, Sumit Gulwani
[abstract
|pdf
|bibtex]
-
Spreadsheet Data Manipulation using Examples, CACM 2012, Research Highlights Paper, Sumit Gulwani, William Harris, Rishabh Singh
[abstract
|pdf
|Technical Perspective by Martin Rinard]
-
Continuity and Robustness of Programs, CACM 2012, Research Highlights Paper, Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
[abstract
|pdf
|Technical Perspective by Andreas Zeller]
-
Automatically Generating Algebra Problems, AAAI 2012, Rohit Singh, Sumit Gulwani, Sriram Rajamani
[abstract
|pdf
|full-version(pdf)
|ppt slides]
-
Learning Semantic String Transformations from Examples, VLDB 2012, Rishabh Singh, Sumit Gulwani
[abstract
|pdf
|full-version(pdf)
|CACM version(pdf)]
-
QuickDraw: Improving Drawing Experience for Geometric Diagrams, CHI 2012, Salman Cheema, Sumit Gulwani, Joseph LaViola
[abstract
|pdf
|ppt slides]
-
Synthesizing Number Transformations from Input-Output Examples, CAV 2012, Rishabh Singh, Sumit Gulwani
[abstract
|pdf
|full-version(pdf)
|ppt slides]
-
Type-Directed Completion of Partial Expressions, PLDI 2012, Daniel Perelman, Sumit Gulwani, Tom Ball, Dan Grossman
[abstract
|pdf
|pdf slides]
-
Template-based Program Verification and Program Synthesis, Journal on Software Tools for Technology Transfer 2012, Saurabh Srivastava, Sumit Gulwani, Jeff Foster
[abstract
|pdf] (Final version available at Springerlink)
-
Automating String Processing in Spreadsheets using Input-Output Examples,
POPL 2011, Invited to CACM Research Highlights [citation], Sumit Gulwani
[abstract
|pdf
|ppt slides
|video presentation
|CACM version(pdf)
|Shipped as Flash Fill feature in Excel 2013]
-
Proving Programs Robust,
FSE 2011, Distinguished Paper Award, Invited to CACM Research Highlights,
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman and Sara Navidpour
[abstract
|pdf
|ppt slides
|CACM version(pdf)]
-
Spreadsheet Table Transformations from Examples,
PLDI 2011,
Invited to CACM Research Highlights [citation], William Harris, Sumit Gulwani
[abstract
|pdf
|ps
|Full version pdf
|ppt slides
|CACM version(pdf)]
-
Synthesizing Geometry Constructions,
PLDI 2011,
Sumit Gulwani, Vijay Korthikanti, Ashish Tiwari
[abstract
|pdf
|ps
|ppt slides]
-
Synthesis of Loop-Free Programs,
PLDI 2011,
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
[abstract
|pdf
|ps
|ppt slides]
-
Path-based Inductive Synthesis for Program Inversion,
PLDI 2011,
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeff Foster
[abstract
|pdf
|ps
|pdf slides
]
-
Bound Analysis of Imperative Programs with the Size-change Abstraction,
SAS 2011,
Florian Zuleger, Moritz Sinn, Sumit Gulwani and Helmut Veith
[abstract
|pdf
|full version pdf
|pdf slides]
-
Dimensions in Program Synthesis,
PPDP 2010, Keynote Paper,
Sumit Gulwani
[abstract
|pdf
|ppt slides]
-
A Simple Inductive Synthesis Methodology and its Applications,
OOPSLA 2010,
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, and Mooly Sagiv
[abstract
|pdf]
-
Synthesizing Switching Logic for Safety and Dwell-Time Requirement,
ICCPS 2010,
Susmit Jha, Sumit Gulwani, Sanjit Seshia and Ashish Tiwari
[abstract|
pdf|
full-version pdf]
-
The Reachability-Bound Problem,
PLDI 2010,
Sumit Gulwani and Florian Zuleger
[abstract|
ps|
pdf]
-
Oracle-Guided Component-Based Program Synthesis,
ICSE 2010,
Susmit Jha, Sumit Gulwani, Sanjit Seshia and Ashish Tiwari
[abstract
|ps
|pdf]
-
From Program Verification to Program Synthesis,
POPL 2010,
Saurabh Srivastava and Sumit Gulwani and Jeff Foster
[abstract
|ps
|pdf
|ppt slides]
-
Continuity Analysis of Programs,
POPL 2010,
Swarat Chaudhuri, Sumit Gulwani and Roberto Lublinerman
[abstract
|ps
|pdf
|ppt slides
|CACM version(pdf)]
-
SPEED: Symbolic Complexity Bound Analysis
,
Invited Talk Paper, CAV 2009,
Sumit Gulwani
[abstract
|ps
|pdf
|ppt slides]
-
VS3: SMT Solvers for Program Verification
,
Tools Paper, CAV 2009,
Saurabh Srivastava, Sumit Gulwani, and Jeffrey Foster
[abstract
|ps
|pdf
|ppt slides]
-
Control-Flow Refinement and Progress Invariants for Bound Analysis,
PLDI 2009,
Sumit Gulwani, Sagar Jain, and Eric Koskinen
[abstract
|ps
|pdf
|pdf slides]
-
Program Verification using Templates over Predicate Abstraction,
PLDI 2009,
Saurabh Srivastava and Sumit Gulwani
[abstract
|ps
|pdf
|ppt slides]
-
SPEED: Precise and Efficient Static Estimation of Program Computational Complexity
,
POPL 2009,
Sumit Gulwani, Krishna Mehra, and Trishul Chilimbi
[abstract
|ps
|pdf
|ppt slides
|full-version(pdf)]
-
A Combination Framework for Tracking Partition Sizes ,
POPL 2009,
Sumit Gulwani, Tal Lev-Ami, and Mooly Sagiv
[abstract
|ps
|pdf
|ppt slides
|full-version(pdf)]
- Constraint-based Invariant Inference over Predicate Abstraction,
VMCAI 2009,
Sumit Gulwani, Saurabh Srivastava, and Ramarathnam Venkatesan
[abstract
|ps
|pdf
|pdf slides]
-
Synthesizing Switching Logic using Constraint Solving,
VMCAI 2009,
Ankur Taly, Sumit Gulwani, and Ashish Tiwari
[abstract
|ps
|pdf
|pdf slides
|Journal version(STTT 2011)]
-
A Numerical Abstract Domain based on "Expression Abstraction" and "Max Operator" with Application in Timing Analysis,
CAV 2008,
Bhargav Gulavani and Sumit Gulwani
[abstract
|pdf
|ppt slides]
-
Constraint-based Approach for Analysis of Hybrid Systems,
CAV 2008,
Sumit Gulwani and Ashish Tiwari
[abstract
|pdf
|pdf slides]
-
Proving Conditional Termination,
CAV 2008,
Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko and Mooly Sagiv
[abstract
|pdf]
-
Program Analysis as Constraint Solving,
PLDI 2008,
Sumit Gulwani, Saurabh Srivastava, and Ramarathnam Venkatesan
[abstract
|ps
|pdf
|ppt slides]
-
Inferring Locks for Atomic Sections,
PLDI 2008,
Sigmund Cherem, Trishul Chilimbi, and Sumit Gulwani
[abstract
|pdf
|ppt slides]
-
Cover Algorithms and their Combination,
ESOP 2008,
Sumit Gulwani and Madanlal Musuvathi
[abstract
|pdf
|ppt slides]
-
Ranking Abstractions,
ESOP 2008,
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv and Hongseok Yang
[abstract
|ps
|pdf
|pdf slides]
-
Lifting Abstract Interpreters to Quantified Logical Domains,
POPL 2008,
Sumit Gulwani and Bill McCloskey and Ashish Tiwari
[abstract
|ps
|pdf
|ppt slides
|full version(pdf)]
-
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software,
CAV 2007,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|ppt slides
|full version(pdf)]
-
Computing Procedure Summaries for Interprocedural Analysis,
ESOP 2007,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|pdf slides]
-
Assertion Checking Unified,
VMCAI 2007,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|ppt slides]
-
Program Verification as Probabilistic Inference,
POPL 2007,
Sumit Gulwani and Nebojsa Jojic
[abstract
|ps
|pdf
|ppt slides]
-
Combining Abstract Interpreters,
PLDI 2006,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|ppt slides]
-
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions
ESOP 2006,
Sumit Gulwani and Ashish Tiwari
[abstract
|ps
|pdf
|ppt]
- Program Analysis using Random Interpretation,
PhD Dissertation, UC-Berkeley, 2005, Sumit Gulwani, Winner of the ACM SIGPLAN Doctoral Dissertation Award
[abstract
|ps
|pdf
|ppt slides
|bibtex]
- Precise Interprocedural Analysis using
Random Interpretation,
POPL 2005,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt slides
|full version(ps)]
- Global Value Numbering using Random Interpretation,
POPL 2004,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt slides
|full version(ps)]
- Join Algorithms for the Theory of
Uninterpreted Functions,
FSTTCS 2004,
Sumit Gulwani, Ashish Tiwari, and George Necula
[abstract
|ps
|pdf
|ppt]
- A Polynomial-Time Algorithm for Global Value Numbering,
SAS 2004,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt
|Journal version(ps)]
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions,
SAS 2004,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt
|full version(ps)]
- A Randomized Satisfiability Procedure for
Arithmetic and Uninterpreted Function Symbols
CADE 2003,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt
|full version(ps)
|Journal version(pdf)]
- Discovering Affine Equalities using Random Interpretation,
POPL 2003,
Sumit Gulwani and George Necula
[abstract
|ps
|pdf
|ppt slides]
- WebCaL: A Domain Specific Language
for Web Caching,
WCW 2000,
Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto,
Gilles Muller and Charles Consel
[abstract
|ps
|pdf
|ppt]