Automating Repetitive Tasks for the Masses
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Publications
Publications by Year
-
-
LaSEWeb: Automating Search Strategies Over Semi-structured Web Data
Oleksandr Polozov, Sumit Gulwani
KDD'14, August 24-27, 2014, New York, NY, USA | August 2014
Synthesis of Geometry Proof Problems
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
Programming by Example using Least General Generalizations
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Test-Driven Synthesis
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
FlashExtract: a framework for data extraction by examples
2014 Programming Language Design and Implementation | June 2014
DOI PDF PDF Publication Publication Publication Publication Video Video Project Project Project Project
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
-
A Colorful Approach to Text Processing by Example
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Automated Grading of DFA constructions
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Automatically Generating Problems and Solutions for Natural Deduction
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Recursive Program Synthesis
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Automated Feedback Generation for Introductory Programming Assignments
Sumit Gulwani, Rishabh Singh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
SmartSynth: synthesizing smartphone automation scripts from natural language
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
A Machine Learning Framework for Programming by Example
Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
Example-Based Learning in Computer-Aided STEM Education
MSR-TR-2013-50 | May 2013
A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
From Relational Verification to SIMD Loop Synthesis
Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
Best Paper Award & CACM Highlight Nomination
-
Learning Semantic String Transformations from Examples
Rishabh Singh, Sumit Gulwani
PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
Synthesizing Number Transformations from Input-Output Examples
Rishabh Singh, Sumit Gulwani
24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
Type-Directed Completion of Partial Expressions
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
PLDI'12, June 11-16, 2012, Beijing, China | June 2012
QuickDraw: Improving Drawing Experience for Geometric Diagrams
Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
Automatically Generating Algebra Problems
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Synthesis from Examples
February 2012, Vol 10(2)
Template-Based Program Verification and Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
Spreadsheet Data Manipulation using Examples
Sumit Gulwani, William R. Harris, Rishabh Singh
January 2012
Invited to CACM Research Highlights
Synthesis from Examples: Interaction Models and Algorithms
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
-
Path-based Inductive Synthesis for Program Inversion
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Synthesis of Loop-Free Programs
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Synthesizing Geometry Constructions
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Automating String Processing in Spreadsheets using Input-Output Examples
PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
Most Influential POPL Paper Award
Publication Publication Publication Video Video Video Project
-
A Simple Inductive Synthesis Methodology and its Applications
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
Oracle-Guided Component-Based Program Synthesis
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
Synthesizing Switching Logic for Safety and Dwell-Time Requirement
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
From Program Verification to Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
Dimensions in Program Synthesis
PPDP '10 Hagenberg, Austria | January 2010
-
Synthesizing Switching Logic Using Constraint Solving
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
Publications by Research Area
-
Automating Repetitive Tasks for the Masses
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Synthesis of Geometry Proof Problems
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
FlashExtract: a framework for data extraction by examples
2014 Programming Language Design and Implementation | June 2014
DOI PDF PDF Publication Publication Publication Publication Video Video Project Project Project Project
Recursive Program Synthesis
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
SmartSynth: synthesizing smartphone automation scripts from natural language
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
Synthesis from Examples
February 2012, Vol 10(2)
Synthesis from Examples: Interaction Models and Algorithms
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
Path-based Inductive Synthesis for Program Inversion
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Synthesis of Loop-Free Programs
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Synthesizing Geometry Constructions
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Automating String Processing in Spreadsheets using Input-Output Examples
PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
Most Influential POPL Paper Award
Publication Publication Publication Video Video Video Project
From Program Verification to Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
Dimensions in Program Synthesis
PPDP '10 Hagenberg, Austria | January 2010
Synthesizing Switching Logic Using Constraint Solving
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Programming by Example using Least General Generalizations
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Automated Grading of DFA constructions
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Automatically Generating Problems and Solutions for Natural Deduction
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Recursive Program Synthesis
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
A Simple Inductive Synthesis Methodology and its Applications
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
Oracle-Guided Component-Based Program Synthesis
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
Synthesizing Switching Logic for Safety and Dwell-Time Requirement
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
-
Automating Repetitive Tasks for the Masses
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Test-Driven Synthesis
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
A Colorful Approach to Text Processing by Example
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Automatically Generating Problems and Solutions for Natural Deduction
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Recursive Program Synthesis
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Automated Feedback Generation for Introductory Programming Assignments
Sumit Gulwani, Rishabh Singh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
SmartSynth: synthesizing smartphone automation scripts from natural language
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
A Machine Learning Framework for Programming by Example
Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
From Relational Verification to SIMD Loop Synthesis
Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
Best Paper Award & CACM Highlight Nomination
Learning Semantic String Transformations from Examples
Rishabh Singh, Sumit Gulwani
PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
Synthesizing Number Transformations from Input-Output Examples
Rishabh Singh, Sumit Gulwani
24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
Type-Directed Completion of Partial Expressions
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
PLDI'12, June 11-16, 2012, Beijing, China | June 2012
Template-Based Program Verification and Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
Spreadsheet Data Manipulation using Examples
Sumit Gulwani, William R. Harris, Rishabh Singh
January 2012
Invited to CACM Research Highlights
-
Example-Based Learning in Computer-Aided STEM Education
MSR-TR-2013-50 | May 2013
QuickDraw: Improving Drawing Experience for Geometric Diagrams
Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
Automatically Generating Algebra Problems
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Synthesizing Geometry Constructions
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
-
LaSEWeb: Automating Search Strategies Over Semi-structured Web Data
Oleksandr Polozov, Sumit Gulwani
KDD'14, August 24-27, 2014, New York, NY, USA | August 2014
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
-
LaSEWeb: Automating Search Strategies Over Semi-structured Web Data
Oleksandr Polozov, Sumit Gulwani
KDD'14, August 24-27, 2014, New York, NY, USA | August 2014
-
Programming by Example using Least General Generalizations
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
Publications by Type
-
Automating Repetitive Tasks for the Masses
POPL '15 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2015
LaSEWeb: Automating Search Strategies Over Semi-structured Web Data
Oleksandr Polozov, Sumit Gulwani
KDD'14, August 24-27, 2014, New York, NY, USA | August 2014
Synthesis of Geometry Proof Problems
Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
AAAI'14 Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence | July 2014
Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
GECCO'14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
Programming by Example using Least General Generalizations
Mohammad Raza, Natasa Milic-Frayling, Sumit Gulwani
July 2014
NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation
Sumit Gulwani, Mark Marron
SIGMOD'14, June 22-27, 2014, Snowbird, UT, USA | June 2014
Test-Driven Synthesis
Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
PLDI '14, June 09-11, 2014, Edinburgh, United Kingdom | June 2014
FlashExtract: a framework for data extraction by examples
2014 Programming Language Design and Implementation | June 2014
DOI PDF PDF Publication Publication Publication Publication Video Video Project Project Project Project
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Daniel W. Barowy, Sumit Gulwani, Ted Hart, Ben Zorn
PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation | April 2014
Distinguished Artifact Award
A Colorful Approach to Text Processing by Example
Kuat Yessenov, Shubham Tulsiani, Aditya Menon, Robert C. Miller, Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
UIST '13 Proceedings of the 26th annual ACM symposium on User interface software and technology | October 2013
Automated Grading of DFA constructions
Rajeev Alur, Loris D’Antoni, Sumit Gulwani, Dileep Kini
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Automatically Generating Problems and Solutions for Natural Deduction
Umair Z. Ahmed, Sumit Gulwani, Amey Karkare
IJCAI '13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence | August 2013
ISBN: 978-1-57735-633-2
Recursive Program Synthesis
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification | July 2013
Automated Feedback Generation for Introductory Programming Assignments
Sumit Gulwani, Rishabh Singh
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
SmartSynth: synthesizing smartphone automation scripts from natural language
Vu Le, Sumit Gulwani, Zhendong Su
MobiSys'13 | June 2013
A Machine Learning Framework for Programming by Example
Aditya Krishna Menon, Omer Tamuz , Sumit Gulwani, Butler Lampson, Adam Tauman Kalai
Proceedings of the 30th International Conference on Machine Learning (ICML), 2013 | June 2013
A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
Sumit Gulwani, Erik Andersen, Zoran Popović
CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
From Relational Verification to SIMD Loop Synthesis
Gilles Barthe , Juan Manuel Crespo , Sumit Gulwani, Cesar Kunz , Mark Marron
PPoPP '13 Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming | February 2013
Best Paper Award & CACM Highlight Nomination
Learning Semantic String Transformations from Examples
Rishabh Singh, Sumit Gulwani
PVLDB, 38th International Conference on Very Large Data Bases (VLDB 2012) | August 2012
Synthesizing Number Transformations from Input-Output Examples
Rishabh Singh, Sumit Gulwani
24th International Conference on Computer Aided Verification (CAV 2012) | July 2012
Type-Directed Completion of Partial Expressions
Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman
PLDI'12, June 11-16, 2012, Beijing, China | June 2012
QuickDraw: Improving Drawing Experience for Geometric Diagrams
Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.
CHI'12, May 5-10, 2012, Austin, Texas, USA | May 2012
Automatically Generating Algebra Problems
Sriram Rajamani, Sumit Gulwani, Sriram Rajamani
AAAI | April 2012
AAAI
Spreadsheet Data Manipulation using Examples
Sumit Gulwani, William R. Harris, Rishabh Singh
January 2012
Invited to CACM Research Highlights
Synthesis from Examples: Interaction Models and Algorithms
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012
Path-based Inductive Synthesis for Program Inversion
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Synthesis of Loop-Free Programs
Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Synthesizing Geometry Constructions
Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari
PLDI'11, June 4-8, 2011, San Jose, California, USA | June 2011
Automating String Processing in Spreadsheets using Input-Output Examples
PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
Most Influential POPL Paper Award
Publication Publication Publication Video Video Video Project
A Simple Inductive Synthesis Methodology and its Applications
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv
OOPSLA/SPLASH'10, October 17-21, 2010, Reno/Tahoe, Nevada, USA | October 2010
Oracle-Guided Component-Based Program Synthesis
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICSE '10, May 2-8 2010, Cape Town, South Africa | May 2010
Synthesizing Switching Logic for Safety and Dwell-Time Requirement
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
ICCPS '10, April 13-15, 2010, Stockholm, Germany | April 2010
From Program Verification to Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
POPL'10, January 17-23, 2010, Madrid, Spain | January 2010
Dimensions in Program Synthesis
PPDP '10 Hagenberg, Austria | January 2010
Synthesizing Switching Logic Using Constraint Solving
Ankur Taly, Sumit Gulwani, Ashish Tiwari
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation | December 2008
-
Template-Based Program Verification and Program Synthesis
Saurabh Srivastava, Sumit Gulwani, Jerey S. Foster
International Journal on Software Tools for Technology Transfer | January 2012, Vol 15(5): pp. 497-518
-
Synthesis from Examples
February 2012, Vol 10(2)
-
Example-Based Learning in Computer-Aided STEM Education
MSR-TR-2013-50 | May 2013
People
Sumit Gulwani
Distinguished Scientist and Vice President