Sumit Gulwani

Erik Andersen, Sumit Gulwani, Zoran Popovic: A trace-based framework for analyzing and synthesizing educational progressions. CHI 2013: 773-782

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop: Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron: From relational verification to SIMD loop synthesis. PPOPP 2013: 123-134

Sumit Gulwani, William R. Harris, Rishabh Singh: Spreadsheet data manipulation using examples. Commun. ACM 55(8): 97-105 (2012)

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman: Continuity and robustness of programs. Commun. ACM 55(8): 107-115 (2012)

Rishabh Singh, Sumit Gulwani: Learning Semantic String Transformations from Examples. PVLDB 5(8): 740-751 (2012)

Rohit Singh, Sumit Gulwani, Sriram K. Rajamani: Automatically Generating Algebra Problems. AAAI 2012

Rishabh Singh, Sumit Gulwani: Synthesizing Number Transformations from Input-Output Examples. CAV 2012: 634-651

Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.: QuickDraw: improving drawing experience for geometric diagrams. CHI 2012: 1037-1064

Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman: Type-directed completion of partial expressions. PLDI 2012: 275-286

Sumit Gulwani: Synthesis from Examples: Interaction Models and Algorithms. SYNASC 2012: 8-14

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith: Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version). CoRR abs/1203.5303 (2012)

Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama: Automated Semantic Grading of Programs. CoRR abs/1204.1751 (2012)

Rishabh Singh, Sumit Gulwani: Learning Semantic String Transformations from Examples. CoRR abs/1204.6079 (2012)

Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai: Textual Features for Programming by Example. CoRR abs/1209.3811 (2012)

Ratislav Bodík, Sumit Gulwani, Eran Yahav: Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports 2(4): 21-38 (2012)

Ankur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing switching logic using constraint solving. STTT 13(6): 519-535 (2011)

Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari: Synthesizing geometry constructions. PLDI 2011: 50-61

Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan: Synthesis of loop-free programs. PLDI 2011: 62-73

William R. Harris, Sumit Gulwani: Spreadsheet table transformations from examples. PLDI 2011: 317-328

Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster: Path-based inductive synthesis for program inversion. PLDI 2011: 492-503

Sumit Gulwani: Automating string processing in spreadsheets using input-output examples. POPL 2011: 317-330

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith: Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS 2011: 280-297

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour: Proving programs robust. SIGSOFT FSE 2011: 102-112

Sumit Gulwani: Dimensions in program synthesis. FMCAD 2010: 1

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224

Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv: A simple inductive synthesis methodology and its applications. OOPSLA 2010: 36-46

Sumit Gulwani, Florian Zuleger: The reachability-bound problem. PLDI 2010: 292-304

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman: Continuity analysis of programs. POPL 2010: 57-70

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: From program verification to program synthesis. POPL 2010: 313-326

Sumit Gulwani: Dimensions in program synthesis. PPDP 2010: 13-24

Sumit Gulwani: SPEED: Symbolic Complexity Bound Analysis. CAV 2009: 51-62

Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: VS3: SMT Solvers for Program Verification. CAV 2009: 702-708

Saurabh Srivastava, Sumit Gulwani: Program verification using templates over predicate abstraction. PLDI 2009: 223-234

Sumit Gulwani, Sagar Jain, Eric Koskinen: Control-flow refinement and progress invariants for bound analysis. PLDI 2009: 375-385

Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi: SPEED: precise and efficient static estimation of program computational complexity. POPL 2009: 127-139

Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv: A combination framework for tracking partition sizes. POPL 2009: 239-251

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI 2009: 120-135

Ankur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319

Sumit Gulwani, Ashish Tiwari: Constraint-Based Approach for Analysis of Hybrid Systems. CAV 2008: 190-203

Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv: Proving Conditional Termination. CAV 2008: 328-340

Bhargav S. Gulavani, Sumit Gulwani: A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. CAV 2008: 370-384

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162

Sumit Gulwani, Madan Musuvathi: Cover Algorithms and Their Combination. ESOP 2008: 193-207

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Program analysis as constraint solving. PLDI 2008: 281-292

Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani: Inferring locks for atomic sections. PLDI 2008: 304-315

Sumit Gulwani, Bill McCloskey, Ashish Tiwari: Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246

Sumit Gulwani, George C. Necula: A polynomial-time algorithm for global value numbering. Sci. Comput. Program. 64(1): 97-114 (2007)

Ashish Tiwari, Sumit Gulwani: Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE 2007: 147-166

Sumit Gulwani, Ashish Tiwari: An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV 2007: 379-392

Sumit Gulwani, Ashish Tiwari: Computing Procedure Summaries for Interprocedural Analysis. ESOP 2007: 253-267

Sumit Gulwani, Nebojsa Jojic: Program verification as probabilistic inference. POPL 2007: 277-289

Sumit Gulwani, Ashish Tiwari: Assertion Checking Unified. VMCAI 2007: 363-377

Sumit Gulwani, Ashish Tiwari: Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP 2006: 279-293

Sumit Gulwani, Ashish Tiwari: Combining abstract interpreters. PLDI 2006: 376-386

Sumit Gulwani, George C. Necula: A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. Inf. Comput. 199(1-2): 107-131 (2005)

George C. Necula, Sumit Gulwani: Randomized Algorithms for Program Analysis and Verification. CAV 2005: 1

Sumit Gulwani, George C. Necula: Precise interprocedural analysis using random interpretation. POPL 2005: 324-337

Sumit Gulwani, Ashish Tiwari, George C. Necula: Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS 2004: 311-323

Sumit Gulwani, George C. Necula: Global value numbering using random interpretation. POPL 2004: 342-352

Sumit Gulwani, George C. Necula: A Polynomial-Time Algorithm for Global Value Numbering. SAS 2004: 212-227

Sumit Gulwani, George C. Necula: Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. SAS 2004: 328-343

Sumit Gulwani, George C. Necula: A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. CADE 2003: 167-181

Sumit Gulwani, George C. Necula: Discovering affine equalities using random interpretation. POPL 2003: 74-84

Sumit Gulwani, A. Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto, Gilles Muller, Charles Consel: WebCaL - a domain specific language for web caching. Computer Communications 24(2): 191-201 (2001)