Program Synthesis

설립: January 1, 2010

출판물

자료 보기:

- Automating Repetitive Tasks for the Masses
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  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
  
  Vu Le, Sumit Gulwani
  
  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
  
  PDF DOI
- 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
  
  PDF DOI 동영상
- 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
  
  PDF PDF Publication 프로젝트
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  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
  
  Publication Publication
- 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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
  
  Most Influential POPL Paper Award
  
  Publication Publication Publication 동영상 동영상 동영상 프로젝트
- 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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  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
  
  Vu Le, Sumit Gulwani
  
  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
  
  PDF DOI 동영상
- 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
  
  Sumit Gulwani
  
  February 2012, 제 10 권(2)
  
  출판
- Synthesis from Examples: Interaction Models and Algorithms
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
  
  Most Influential POPL Paper Award
  
  Publication Publication Publication 동영상 동영상 동영상 프로젝트
- 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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  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
  
  PDF DOI
- 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
  
  PDF DOI 동영상
- 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
  
  PDF PDF Publication 프로젝트
- 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
  
  Publication Publication
- 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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  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
  
  Vu Le, Sumit Gulwani
  
  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
  
  PDF DOI
- 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
  
  PDF DOI 동영상
- 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
  
  PDF PDF Publication 프로젝트
- 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
  
  Publication Publication
- 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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  PoPL'11, January 26-28, 2011, Austin, Texas, USA | January 2011
  
  Most Influential POPL Paper Award
  
  Publication Publication Publication 동영상 동영상 동영상 프로젝트
- 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
  
  Sumit Gulwani
  
  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
  
  Sumit Gulwani
  
  February 2012, 제 10 권(2)
  
  출판
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  MSR-TR-2013-50 | May 2013
  
  출판 프로젝트

인원

Sumit Gulwani

Distinguished Scientist and Vice President