Sumit Gulwani

	2012
54		Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.: QuickDraw: improving drawing experience for geometric diagrams. CHI 2012: 1037-1064
53		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)
52		Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama: Automated Semantic Grading of Programs CoRR abs/1204.1751: (2012)
51		Rishabh Singh, Sumit Gulwani: Learning Semantic String Transformations from Examples CoRR abs/1204.6079: (2012)
50		Rishabh Singh, Sumit Gulwani: Learning Semantic String Transformations from Examples. PVLDB 5(8): 740-751 (2012)
	2011
49		William R. Harris, Sumit Gulwani: Spreadsheet table transformations from examples. PLDI 2011: 317-328
48		Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster: Path-based inductive synthesis for program inversion. PLDI 2011: 492-503
47		Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari: Synthesizing geometry constructions. PLDI 2011: 50-61
46		Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan: Synthesis of loop-free programs. PLDI 2011: 62-73
45		Sumit Gulwani: Automating string processing in spreadsheets using input-output examples. POPL 2011: 317-330
44		Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith: Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS 2011: 280-297
43		Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour: Proving programs robust. SIGSOFT FSE 2011: 102-112
42		Ankur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing switching logic using constraint solving. STTT 13(6): 519-535 (2011)
	2010
41		Sumit Gulwani: Dimensions in program synthesis. FMCAD 2010: 1
40		Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224
39		Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv: A simple inductive synthesis methodology and its applications. OOPSLA 2010: 36-46
38		Sumit Gulwani, Florian Zuleger: The reachability-bound problem. PLDI 2010: 292-304
37		Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: From program verification to program synthesis. POPL 2010: 313-326
36		Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman: Continuity analysis of programs. POPL 2010: 57-70
35		Sumit Gulwani: Dimensions in program synthesis. PPDP 2010: 13-24
	2009
34		Sumit Gulwani: SPEED: Symbolic Complexity Bound Analysis. CAV 2009: 51-62
33		Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: VS3: SMT Solvers for Program Verification. CAV 2009: 702-708
32		Saurabh Srivastava, Sumit Gulwani: Program verification using templates over predicate abstraction. PLDI 2009: 223-234
31		Sumit Gulwani, Sagar Jain, Eric Koskinen: Control-flow refinement and progress invariants for bound analysis. PLDI 2009: 375-385
30		Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi: SPEED: precise and efficient static estimation of program computational complexity. POPL 2009: 127-139
29		Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv: A combination framework for tracking partition sizes. POPL 2009: 239-251
28		Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI 2009: 120-135
27		Ankur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319
	2008
26		Sumit Gulwani, Ashish Tiwari: Constraint-Based Approach for Analysis of Hybrid Systems. CAV 2008: 190-203
25		Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv: Proving Conditional Termination. CAV 2008: 328-340
24		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
23		Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang: Ranking Abstractions. ESOP 2008: 148-162
22		Sumit Gulwani, Madan Musuvathi: Cover Algorithms and Their Combination. ESOP 2008: 193-207
21		Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan: Program analysis as constraint solving. PLDI 2008: 281-292
20		Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani: Inferring locks for atomic sections. PLDI 2008: 304-315
19		Sumit Gulwani, Bill McCloskey, Ashish Tiwari: Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246
	2007
18		Ashish Tiwari, Sumit Gulwani: Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE 2007: 147-166
17		Sumit Gulwani, Ashish Tiwari: An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV 2007: 379-392
16		Sumit Gulwani, Ashish Tiwari: Computing Procedure Summaries for Interprocedural Analysis. ESOP 2007: 253-267
15		Sumit Gulwani, Nebojsa Jojic: Program verification as probabilistic inference. POPL 2007: 277-289
14		Sumit Gulwani, Ashish Tiwari: Assertion Checking Unified. VMCAI 2007: 363-377
13		Sumit Gulwani, George C. Necula: A polynomial-time algorithm for global value numbering. Sci. Comput. Program. 64(1): 97-114 (2007)
	2006
12		Sumit Gulwani, Ashish Tiwari: Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP 2006: 279-293
11		Sumit Gulwani, Ashish Tiwari: Combining abstract interpreters. PLDI 2006: 376-386
	2005
10		George C. Necula, Sumit Gulwani: Randomized Algorithms for Program Analysis and Verification. CAV 2005: 1
9		Sumit Gulwani, George C. Necula: Precise interprocedural analysis using random interpretation. POPL 2005: 324-337
8		Sumit Gulwani, George C. Necula: A randomized satisfiability procedure for arithmetic and uninterpreted function symbols. Inf. Comput. 199(1-2): 107-131 (2005)
	2004
7		Sumit Gulwani, Ashish Tiwari, George C. Necula: Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS 2004: 311-323
6		Sumit Gulwani, George C. Necula: Global value numbering using random interpretation. POPL 2004: 342-352
5		Sumit Gulwani, George C. Necula: A Polynomial-Time Algorithm for Global Value Numbering. SAS 2004: 212-227
4		Sumit Gulwani, George C. Necula: Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. SAS 2004: 328-343
	2003
3		Sumit Gulwani, George C. Necula: A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols. CADE 2003: 167-181
2		Sumit Gulwani, George C. Necula: Discovering affine equalities using random interpretation. POPL 2003: 74-84
	2001
1		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)

Coauthor Index

1	Luciano Porto Barreto	[1]
2	Swarat Chaudhuri	[36] [43] [48]
3	Aziem Chawdhary	[23]
4	Salman Cheema	[54]
5	Sigmund Cherem	[20]
6	Trishul M. Chilimbi	[20] [30]
7	Charles Consel	[1]
8	Byron Cook	[23] [25]
9	Jeffrey S. Foster	[33] [37] [48]
10	Bhargav S. Gulavani	[24]
11	Deepak Gupta	[1]
12	William R. Harris	[49]
13	Neil Immerman	[39]
14	Shachar Itzhaky	[39]
15	Sagar Jain	[31]
16	Susmit Jha	[40] [46]
17	Nebojsa Jojic	[15]
18	Vijay Anand Korthikanti (Vijay Anand Reddy)	[47]
19	Eric Koskinen	[31]
20	Joseph J. LaViola Jr. (Joe LaViola)	[54]
21	Tal Lev-Ami	[25] [29]
22	Roberto Lublinerman	[36] [43]
23	Bill McCloskey	[19]
24	Krishna K. Mehra	[30]
25	Gilles Muller	[1]
26	Madan Musuvathi	[22]
27	Sara NavidPour	[43]
28	George C. Necula	[2] [3] [4] [5] [6] [7] [8] [9] [10] [13]
29	Andrey Rybalchenko	[25]
30	Shmuel Sagiv (Mooly Sagiv)	[23] [25] [29] [39]
31	Dheeraj Sanghi	[1]
32	Sanjit A. Seshia	[40]
33	Rishabh Singh	[50] [51] [52]
34	Moritz Sinn	[44] [53]
35	Armando Solar-Lezama	[52]
36	Saurabh Srivastava	[21] [28] [32] [33] [37] [48]
37	Ankur Taly	[27] [42]
38	A. Tarachandani	[1]
39	Ashish Tiwari	[7] [11] [12] [14] [16] [17] [18] [19] [26] [27] [40] [42] [46] [47]
40	Helmut Veith	[44] [53]
41	Ramarathnam Venkatesan	[21] [28] [46]
42	Hongseok Yang	[23]
43	Florian Zuleger	[38] [44] [53]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page