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 動画 動画 プロジェクト プロジェクト プロジェクト プロジェクト
-
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, 巻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, 巻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
-
-
-
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
-
-
-
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 動画 動画 プロジェクト プロジェクト プロジェクト プロジェクト
-
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, 巻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
-
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, 巻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
-
-
-
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 動画 動画 プロジェクト プロジェクト プロジェクト プロジェクト
-
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
-
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, 巻15(5): pp. 497-518
-
-
-
Synthesis from Examples
February 2012, 巻10(2)
-
-
-
Example-Based Learning in Computer-Aided STEM Education
MSR-TR-2013-50 | May 2013
-
人数
Sumit Gulwani
Distinguished Scientist and Vice President