Sumit Gulwani, Ph.D. - Publications

Affiliations: 
2005 University of California, Berkeley, Berkeley, CA 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis

98 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  1
2016 Singh R, Gulwani S. Transforming spreadsheet data types using examples Acm Sigplan Notices. 51: 343-356. DOI: 10.1145/2837614.2837668  1
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  1
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  1
2015 Mayer M, Soares G, Grechkin M, Le V, Marron M, Polozov O, Singh R, Zorn B, Gulwani S. User interaction models for disambiguation in programming by example Uist 2015 - Proceedings of the 28th Annual Acm Symposium On User Interface Software and Technology. 291-301. DOI: 10.1145/2807442.2807459  1
2015 Barowy DW, Gulwani S, Hart T, Zorn B. FLASHRELATE: Extracting relational data from semi-structured spreadsheets using examples Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2015: 218-228. DOI: 10.1145/2737924.2737952  1
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  1
2015 D'Antoni L, Kini D, Alur R, Gulwani S, Viswanathan M, Hartmann B. How can automatic feedback help students construct automata? Acm Transactions On Computer-Human Interaction. 22. DOI: 10.1145/2723163  1
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  1
2015 Edge D, Gulwani S, Milic-Frayling N, Raza M, Saputra RA, Wang C, Yatani K. Mixed-Initiative approaches to global editing in slideware Conference On Human Factors in Computing Systems - Proceedings. 2015: 3503-3512. DOI: 10.1145/2702123.2702551  1
2015 Butler E, Andersen E, Smith AM, Gulwani S, Popovíc Z. Automatic game progression design through analysis of solution features Conference On Human Factors in Computing Systems - Proceedings. 2015: 2407-2416. DOI: 10.1145/2702123.2702330  1
2015 Gulwani S. Automating repetitive tasks for the masses Acm Sigplan Notices. 50: 1-2. DOI: 10.1145/2676726.2682621  1
2015 Gulwani S, Mayer M, Niksic F, Piskac R. StriSynth: Synthesis for Live Programming Proceedings - International Conference On Software Engineering. 2: 701-704. DOI: 10.1109/ICSE.2015.227  1
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  1
2015 Ahmed UZ, Chatterjee K, Gulwani S. Automatic generation of alternative starting positions for simple traditional board games Proceedings of the National Conference On Artificial Intelligence. 2: 745-752.  1
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.  1
2015 Polozov O, O'Rourke E, Smith AM, Zettlemoyer L, Gulwani S, Popović Z. Personalized mathematical word problem generation Ijcai International Joint Conference On Artificial Intelligence. 2015: 381-388.  1
2015 Kini D, Gulwani S. FlashNormalize: Programming by examples for text normalization Ijcai International Joint Conference On Artificial Intelligence. 2015: 776-783.  1
2014 Gulwani S. Example-based learning in computer-aided STEM education Communications of the Acm. 57: 70-80. DOI: 10.1145/2634273  1
2014 Polozov O, Gulwani S. LaSEWeb: Automating search strategies over semi-structured web data Proceedings of the Acm Sigkdd International Conference On Knowledge Discovery and Data Mining. 741-750. DOI: 10.1145/2623330.2623761  1
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  1
2014 Le V, Gulwani S. FlashExtract: A framework for data extraction by examples Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 542-553. DOI: 10.1145/2594291.2594333  1
2014 Perelman D, Gulwani S, Grossman D, Provost P. Test-driven synthesis Acm Sigplan Notices. 49: 408-418. DOI: 10.1145/2594291.2594297  1
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  1
2014 Cheema S, Buchanan S, Gulwani S, LaViola JJ. A practical framework for constructing structured drawings International Conference On Intelligent User Interfaces, Proceedings Iui. 311-316. DOI: 10.1145/2557500.2557522  1
2014 Alvin C, Gulwani S, Majumdar R, Mukhopadhyay S. Synthesis of geometry proof problems Proceedings of the National Conference On Artificial Intelligence. 1: 245-252.  1
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.  1
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  1
2013 Yessenov K, Tulsiani S, Menon A, Miller RC, Gulwani S, Lampson B, Kalai A. A colorful approach to text processing by example Uist 2013 - Proceedings of the 26th Annual Acm Symposium On User Interface Software and Technology. 495-504. DOI: 10.1145/2501988.2502040  1
2013 Andersen E, Gulwani S, Popović Z. A trace-based framework for analyzing and synthesizing educational progressions Conference On Human Factors in Computing Systems - Proceedings. 773-782. DOI: 10.1145/2470654.2470764  1
2013 Le V, Gulwani S, Su Z. SmartSynth: Synthesizing smartphone automation scripts from natural language Mobisys 2013 - Proceedings of the 11th Annual International Conference On Mobile Systems, Applications, and Services. 193-205. DOI: 10.1145/2462456.2464443  1
2013 Singh R, Gulwani S, Solar-Lezama A. Automated feedback generation for introductory programming assignments Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 15-26. DOI: 10.1145/2462156.2462195  1
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  1
2013 Tillmann N, De Halleux J, Xie T, Gulwani S, Bishop J. Teaching and learning programming and software engineering via interactive gaming Proceedings - International Conference On Software Engineering. 1117-1126. DOI: 10.1109/ICSE.2013.6606662  1
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  1
2013 Itzhaky S, Gulwani S, Immerman N, Sagiv M. Solving geometry problems using a combination of symbolic and numerical reasoning Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8312: 457-472. DOI: 10.1007/978-3-642-45221-5_31  1
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  1
2013 Alur R, D'Antoni L, Gulwani S, Kini D, Viswanathan M. Automated grading of DFA constructions Ijcai International Joint Conference On Artificial Intelligence. 1976-1982.  1
2013 Ahmed UZ, Gulwani S, Karkare A. Automatically generating problems and solutions for natural deduction Ijcai International Joint Conference On Artificial Intelligence. 1968-1975.  1
2013 Menon AK, Tamuz O, Gulwani S, Lampson B, Kalai AT. A machine learning framework for programming by example 30th International Conference On Machine Learning, Icml 2013. 187-195.  1
2012 Chaudhuri S, Gulwani S. Authors' response Communications of the Acm. 55: 9. DOI: 10.1145/2366316.2366318  1
2012 Perelman D, Gulwani S, Ball T, Grossman D. Type-directed completion of partial expressions Acm Sigplan Notices. 47: 275-285. DOI: 10.1145/2345156.2254098  1
2012 Chaudhuri S, Gulwani S, Lublinerman R. Continuity and robustness of programs Communications of the Acm. 55: 107-115. DOI: 10.1145/2240236.2240262  1
2012 Gulwani S, Harris WR, Singh R. Spreadsheet data manipulation using examples Communications of the Acm. 55: 97-105. DOI: 10.1145/2240236.2240260  1
2012 Cheema S, Gulwani S, LaViola JJ. QuickDraw: Improving drawing experience for geometric diagrams Conference On Human Factors in Computing Systems - Proceedings. 1037-1046. DOI: 10.1145/2207676.2208550  1
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  1
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  1
2012 Singh R, Gulwani S, Rajamani S. Automatically generating algebra problems Proceedings of the National Conference On Artificial Intelligence. 2: 1620-1627.  1
2012 Singh R, Gulwani S. Learning semantic string transformations from examples Proceedings of the Vldb Endowment. 5: 740-751.  1
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  1
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  1
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  1
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  1
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  1
2011 Gulwani S. Automating string processing in spreadsheets using input-output examples Acm Sigplan Notices. 46: 317-329. DOI: 10.1145/1925844.1926423  1
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  1
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  1
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  1
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  1
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  1
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  1
2010 Jha S, Gulwani S, Seshia SA, Tiwari A. Synthesizing switching logic for safety and dwell-time requirements Proceedings of the 1st Acm/Ieee International Conference On Cyber-Physical Systems, Iccps '10. 22-31. DOI: 10.1145/1795194.1795198  1
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  1
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  1
2009 Gulwani S, Jain S, Koskinen E. Control-flow refinement and progress invariants for bound analysis Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 375-385. DOI: 10.1145/1542476.1542518  1
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  1
2009 Gulwani S, Lev-Ami T, Sagiv M. A combination framework for tracking partition sizes Acm Sigplan Notices. 44: 239-251. DOI: 10.1145/1480881.1480912  1
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  1
2009 Gulwani S. SPEED: Symbolic complexity bound analysis (Invited Talk) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 51-62. DOI: 10.1007/978-3-642-02658-4_7  1
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  1
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  1
2008 Cherem S, Chilimbi T, Gulwani S. Inferring locks for atomic sections Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 304-315. DOI: 10.1145/1375581.1375619  1
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  1
2008 Gulwani S, McCloskey B, Tiwari A. Lifting abstract interpreters to quantified logical domains Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 235-246. DOI: 10.1145/1328438.1328468  1
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  1
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  1
2008 Gulavani BS, Gulwani S. A numerical abstract domain based on expression abstraction and max operator with application in timing analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5123: 370-384. DOI: 10.1007/978-3-540-70545-1_35  1
2008 Cook B, Gulwani S, Lev-Ami T, Rybalchenko A, Sagiv M. Proving conditional termination Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5123: 328-340. DOI: 10.1007/978-3-540-70545-1_32  1
2008 Gulwani S, Tiwari A. Constraint-based approach for analysis of hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5123: 190-203. DOI: 10.1007/978-3-540-70545-1_18  1
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  1
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  1
2007 Gulwani S, Tiwari A. Computing procedure summaries for interprocedural analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4421: 253-267.  1
2007 Gulwani S, Tiwari A. An abstract domain for analyzing heap-manipulating low-level software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4590: 379-392.  1
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.  1
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.  1
2006 Gulwani S, Tiwari A. Combining abstract interpreters Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 2006: 376-386. DOI: 10.1145/1133255.1134026  1
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  1
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  1
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  1
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.  1
2005 Necula GC, Gulwani S. Randomized algorithms for program analysis and verification Lecture Notes in Computer Science. 3576: 1.  1
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.  1
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.  1
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.  1
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.  1
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.  1
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.  1
2001 Gulwani S, Tarachandani A, Gupta D, Sanghi D, Barreto LP, Muller G, Consel C, Compose Group. WebCaL - a domain specific language for web caching Computer Communications. 24: 191-201. DOI: 10.1016/S0140-3664(00)00314-5  1
Show low-probability matches.