☰

Sumit Gulwani, Ph.D. - Publications

Affiliations: 
2005 University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis
Tree Info Similar researchers PubMed Report error

57 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Gulwani S. Technical perspective program synthesis using stochastic techniques Communications of the Acm. 59: 113. DOI: 10.1145/2863699  0.393
2016 Singh R, Gulwani S. Transforming spreadsheet data types using examples Acm Sigplan Notices. 51: 343-356. DOI: 10.1145/2837614.2837668  0.304
2015 Polozov O, Gulwani S. FlashMeta: A framework for inductive program synthesis Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 107-126. DOI: 10.1145/2814270.2814310  0.449
2015 Madhavan R, Mayer M, Gulwani S, Kuncak V. Automating grammar comparison Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 183-200. DOI: 10.1145/2814270.2814304  0.415
2015 Gulwani S, Hernández-Orallo J, Kitzelmann E, Muggleton SH, Schmid U, Zorn B. Inductive programming meets the real world Communications of the Acm. 58: 90-99. DOI: 10.1145/2736282  0.45
2015 O'Rourke E, Andersen E, Gulwani S, Popović Z. A framework for automatically generating interactive instructional scaffolding Conference On Human Factors in Computing Systems - Proceedings. 2015: 1545-1554. DOI: 10.1145/2702123.2702580  0.34
2015 Singh R, Gulwani S. Predicting a correct program in programming by example Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9206: 398-414. DOI: 10.1007/978-3-319-21690-4_23  0.346
2015 Raza M, Gulwani S, Milic-Frayling N. Compositional program synthesis from natural language and examples Ijcai International Joint Conference On Artificial Intelligence. 2015: 792-800.  0.328
2015 Kini D, Gulwani S. FlashNormalize: Programming by examples for text normalization Ijcai International Joint Conference On Artificial Intelligence. 2015: 776-783.  0.305
2014 Gulwani S. Applications of program synthesis to end-user programming and intelligent tutoring systems? Gecco 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference. 5-6. DOI: 10.1145/2598394.2598397  0.32
2014 Perelman D, Gulwani S, Grossman D, Provost P. Test-driven synthesis Acm Sigplan Notices. 49: 408-418. DOI: 10.1145/2594291.2594297  0.335
2014 Gulwani S, Marron M. NLyze: Interactive programming by natural language for spreadsheet data analysis and manipulation Proceedings of the Acm Sigmod International Conference On Management of Data. 803-814. DOI: 10.1145/2588555.2612177  0.398
2014 Raza M, Gulwani S, Milic-Frayling N. Programming by Example using least general generalizations Proceedings of the National Conference On Artificial Intelligence. 1: 283-290.  0.384
2013 Barthe G, Crespo JM, Gulwani S, Kunz C, Marron M. From relational verification to SIMD loop synthesis Acm Sigplan Notices. 48: 123-133. DOI: 10.1145/2517327.2442529  0.31
2013 Sankaranarayanan S, Chakarov A, Gulwani S. Static analysis for probabilistic programs: Inferring whole program properties from finitely many paths Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 447-458. DOI: 10.1145/2462156.2462179  0.343
2013 Srivastava S, Gulwani S, Foster JS. Template-based program verification and program synthesis International Journal On Software Tools For Technology Transfer. 15: 497-518. DOI: 10.1007/S10009-012-0223-4  0.508
2013 Albarghouthi A, Gulwani S, Kincaid Z. Recursive program synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8044: 934-950. DOI: 10.1007/978-3-642-39799-8_67  0.456
2012 Chaudhuri S, Gulwani S, Lublinerman R. Continuity and robustness of programs Communications of the Acm. 55: 107-115. DOI: 10.1145/2240236.2240262  0.454
2012 Gulwani S, Harris WR, Singh R. Spreadsheet data manipulation using examples Communications of the Acm. 55: 97-105. DOI: 10.1145/2240236.2240260  0.396
2012 Gulwani S. Synthesis from examples: Interaction models and algorithms Proceedings - 14th International Symposium On Symbolic and Numeric Algorithms For Scientific Computing, Synasc 2012. 8-14. DOI: 10.1109/SYNASC.2012.69  0.433
2012 Singh R, Gulwani S. Synthesizing number transformations from input-output examples Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7358: 634-651. DOI: 10.1007/978-3-642-31424-7_44  0.377
2011 Chaudhuri S, Gulwani S, Lublinerman R, Navidpour S. Proving programs robust Sigsoft/Fse 2011 - Proceedings of the 19th Acm Sigsoft Symposium On Foundations of Software Engineering. 102-112. DOI: 10.1145/2025113.2025131  0.347
2011 Srivastava S, Gulwani S, Chaudhuri S, Foster JS. Path-based inductive synthesis for program inversion Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 492-503. DOI: 10.1145/1993498.1993557  0.32
2011 Harris WR, Gulwani S. Spreadsheet table transformations from examples Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 317-328. DOI: 10.1145/1993498.1993536  0.343
2011 Gulwani S, Jha S, Tiwari A, Venkatesan R. Synthesis of loop-free programs Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 62-73. DOI: 10.1145/1993498.1993506  0.444
2011 Gulwani S, Korthikanti VA, Tiwari A. Synthesizing geometry constructions Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 50-61. DOI: 10.1145/1993498.1993505  0.316
2011 Gulwani S. Automating string processing in spreadsheets using input-output examples Acm Sigplan Notices. 46: 317-329. DOI: 10.1145/1925844.1926423  0.442
2011 Taly A, Gulwani S, Tiwari A. Synthesizing switching logic using constraint solving International Journal On Software Tools For Technology Transfer. 13: 519-535. DOI: 10.1007/S10009-010-0172-8  0.305
2011 Zuleger F, Gulwani S, Sinn M, Veith H. Bound analysis of imperative programs with the size-change abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6887: 280-297. DOI: 10.1007/978-3-642-23702-7_22  0.373
2010 Itzhaky S, Gulwani S, Immerman N, Sagiv M. A simple inductive synthesis methodology and its applications Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 36-46. DOI: 10.1145/1869459.1869463  0.367
2010 Gulwani S. Dimensions in Program Synthesis Ppdp'10 - Proceedings of the 2010 Symposium On Principles and Practice of Declarative Programming. 13-24. DOI: 10.1145/1836089.1836091  0.475
2010 Jha S, Gulwani S, Seshia SA, Tiwari A. Oracle-guided component-based program synthesis Proceedings - International Conference On Software Engineering. 1: 215-224. DOI: 10.1145/1806799.1806833  0.318
2010 Gulwani S, Zuleger F. The reachability-bound problem Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 292-304. DOI: 10.1145/1806596.1806630  0.342
2010 Srivastava S, Gulwani S, Foster JS. From program verification to program synthesis Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 313-326. DOI: 10.1145/1706299.1706337  0.32
2010 Chaudhuri S, Gulwani S, Lublinerman R. Continuity analysis of programs Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 57-69. DOI: 10.1145/1706299.1706308  0.479
2009 Srivastava S, Gulwani S. Program verification using templates over predicate abstraction Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 223-234. DOI: 10.1145/1542476.1542501  0.604
2009 Gulwani S, Mehra KK, Chilimbi T. SPEED: Precise and efficient static estimation of program computational complexity Acm Sigplan Notices. 44: 127-139. DOI: 10.1145/1480881.1480898  0.386
2009 Srivastava S, Gulwani S, Foster JS. VS3: SMT solvers for program verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 702-708. DOI: 10.1007/978-3-642-02658-4_58  0.327
2009 Gulwani S, Srivastava S, Venkatesan R. Constraint-based invariant inference over predicate abstraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5403: 120-135. DOI: 10.1007/978-3-540-93900-9_13  0.313
2008 Gulwani S, Srivastava S, Venkatesan R. Program analysis as constraint solving Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 281-292. DOI: 10.1145/1375581.1375616  0.37
2008 Gulwani S, Musuvathi M. Cover algorithms and their combination Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4960: 193-207. DOI: 10.1007/978-3-540-78739-6_16  0.433
2008 Chawdhary A, Cook B, Gulwani S, Sagiv M, Yang H. Ranking abstractions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4960: 148-162. DOI: 10.1007/978-3-540-78739-6_13  0.548
2007 Gulwani S, Jojic N. Program verification as probabilistic inference Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 277-289. DOI: 10.1145/1190216.1190258  0.603
2007 Gulwani S, Necula GC. A polynomial-time algorithm for global value numbering Science of Computer Programming. 64: 97-114. DOI: 10.1016/J.Scico.2006.03.005  0.716
2007 Gulwani S, Tiwari A. Assertion checking unified Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4349: 363-377.  0.362
2007 Tiwari A, Gulwani S. Logical interpretation: Static program analysis using theorem proving Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4603: 147-166.  0.306
2006 Gulwani S, Tiwari A. Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3924: 279-293. DOI: 10.1007/11693024_19  0.526
2005 Gulwani S, Necula GC. Precise interprocedural analysis using random interpretation Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 324-337. DOI: 10.1145/1047659.1040332  0.702
2005 Gulwani S, Necula GC. A randomized satisfiability procedure for arithmetic and uninterpreted function symbols Information and Computation. 199: 107-131. DOI: 10.1016/j.ic.2004.10.006  0.701
2005 Gulwani S, Necula GC. Precise interprocedural analysis using random interpretation Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 324-337.  0.564
2005 Necula GC, Gulwani S. Randomized algorithms for program analysis and verification Lecture Notes in Computer Science. 3576: 1.  0.717
2004 Gulwani S, Tiwari A, Necula GC. Join algorithms for the theory of uninterpreted functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328: 311-323.  0.632
2004 Gulwani S, Necula GC. Path-sensitive analysis for linear arithmetic and uninterpreted functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3148: 328-343.  0.67
2004 Gulwani S, Necula GC. Global value numbering using random interpretation Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 31: 342-352.  0.637
2004 Gulwani S, Necula GC. Global value numbering using random interpretation Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 31: 342-352.  0.736
2003 Gulwani S, Necula GC. Discovering affine equalities using random interpretation Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 74-84.  0.619
2003 Gulwani S, Necula GC. Discovering affine equalities using random interpretation Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 74-84.  0.728
Show low-probability matches.