The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sumit Gulwani" ( http://dblp.L3S.de/Authors/Sumit_Gulwani )

URL (Homepage):  http://research.microsoft.com/users/sumitg/  Author page on DBLP  Author page in RDF  Community of Sumit Gulwani in ASPL-2

Publication years (Num. hits)
2001-2007 (18) 2008-2009 (16) 2010-2011 (16) 2012-2013 (28) 2014-2015 (33) 2016-2017 (25) 2018-2019 (11)
Publication types (Num. hits)
article(35) incollection(3) inproceedings(109)
Venues (Conferences, Journals, ...)
PLDI(17) CoRR(16) POPL(12) CAV(9) AAAI(6) CHI(6) Commun. ACM(6) IJCAI(6) OOPSLA(5) ESOP(4) ICSE(3) SAS(3) SIGSOFT FSE(3) VMCAI(3) CADE(2) Dagstuhl Reports(2) More (+10 of total 55)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 55 occurrences of 45 keywords

Results
Found 148 publication records. Showing 147 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari 0001, Abhishek Udupa On the fly synthesis of edit suggestions. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari 0001, Abhishek Udupa Quantitative Programming by Examples. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Nagarajan Natarajan, Danny Simmons, Naren Datha, Prateek Jain 0002, Sumit Gulwani Learning Natural Programs from a Few Examples in Real-Time. Search on Bibsonomy AISTATS The full citation details ... 2019 DBLP  BibTeX  RDF
1Dirk Beyer 0001, Sumit Gulwani, David A. Schmidt Combining Model Checking and Data-Flow Analysis. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein FlashProfile: a framework for synthesizing data profiles. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ashwin J. Vijayakumar, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohammad Raza, Sumit Gulwani Disjunctive Program Synthesis: A Robust Approach to Programming by Example. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Molly Q. Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics. Search on Bibsonomy CHI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Ivan Radicek, Florian Zuleger Automated clustering and program repair for introductory programming assignments. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani Compilation error repair: for the student programs, from the student programs. Search on Bibsonomy ICSE (SEET) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. Search on Bibsonomy ICLR (Poster) The full citation details ... 2018 DBLP  BibTeX  RDF
1Sumit Gulwani, Oleksandr Polozov, Rishabh Singh Program Synthesis. Search on Bibsonomy Foundations and Trends in Programming Languages The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani Interactive Program Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein FlashProfile: Interactive Synthesis of Syntactic Profiles. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Peter Bailis, Peter Alvaro, Sumit Gulwani Research for practice: tracing and debugging distributed systems; programming by examples. Search on Bibsonomy Commun. ACM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peter Alvaro, Sumit Gulwani, Peter Bailis Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples. Search on Bibsonomy ACM Queue The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay Synthesis of Problems for Shaded Area Geometry Reasoning. Search on Bibsonomy AIED The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Prateek Jain Programming by Examples: PL Meets ML. Search on Bibsonomy APLAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohammad Raza, Sumit Gulwani Automated Data Extraction Using Predictive Program Synthesis. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Sumit Gulwani Programming by examples: applications, algorithms, and ambiguity resolution. Search on Bibsonomy PPDP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann Learning syntactic program transformations from examples. Search on Bibsonomy ICSE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kevin Ellis, Sumit Gulwani Learning to Learn Programs from Examples: Going Beyond Program Structure. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay Synthesis of Solutions for Shaded Area Geometry Problems. Search on Bibsonomy FLAIRS Conference The full citation details ... 2017 DBLP  BibTeX  RDF
1Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sumit Gulwani, Ivan Radicek, Florian Zuleger Automated Clustering and Program Repair for Introductory Programming Assignments. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani Semi-Supervised Verified Feedback Generation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann Learning Syntactic Program Transformations from Examples. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sumit Gulwani Technical Perspective: Program synthesis using stochastic techniques. Search on Bibsonomy Commun. ACM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Programming by Examples - and its applications in Data Wrangling. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaon Barman, Sarah Chasins, Rastislav Bodík, Sumit Gulwani Ringer: web automation by demonstration. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xinyu Wang, Sumit Gulwani, Rishabh Singh FIDEX: filtering spreadsheet data using examples. Search on Bibsonomy OOPSLA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Florian Zuleger, Ivan Radicek, Sumit Gulwani Feedback generation for performance problems in introductory programming assignments. Search on Bibsonomy Software Engineering The full citation details ... 2016 DBLP  BibTeX  RDF
1Rishabh Singh, Sumit Gulwani Transforming spreadsheet data types using examples. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani Semi-supervised verified feedback generation. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Programming by Examples: Applications, Algorithms, and Ambiguity Resolution. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy Program synthesis using natural language. Search on Bibsonomy ICSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan 0001, Björn Hartmann How Can Automatic Feedback Help Students Construct Automata? Search on Bibsonomy ACM Trans. Comput.-Hum. Interact. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy Program Synthesis using Natural Language. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn Inductive programming meets the real world. Search on Bibsonomy Commun. ACM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rishabh Singh, Sumit Gulwani Predicting a Correct Program in Programming by Example. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak Automating grammar comparison. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Oleksandr Polozov, Sumit Gulwani FlashMeta: a framework for inductive program synthesis. Search on Bibsonomy OOPSLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sarah Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani Browser Record and Replay as a Building Block for End-User Web Automation Tools. Search on Bibsonomy WWW (Companion Volume) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Cultivating research taste (illustrated via a journey in program synthesis research). Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Automating Repetitive Tasks for the Masses. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popovic Automatic Game Progression Design through Analysis of Solution Features. Search on Bibsonomy CHI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eleanor O'Rourke, Erik Andersen, Sumit Gulwani, Zoran Popovic A Framework for Automatically Generating Interactive Instructional Scaffolding. Search on Bibsonomy CHI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani Mixed-Initiative Approaches to Global Editing in Slideware. Search on Bibsonomy CHI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn FlashRelate: extracting relational data from semi-structured spreadsheets using examples. Search on Bibsonomy PLDI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani User Interaction Models for Disambiguation in Programming by Example. Search on Bibsonomy UIST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac StriSynth: Synthesis for Live Programming. Search on Bibsonomy ICSE (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Sumit Gulwani FlashNormalize: Programming by Examples for Text Normalization. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling Compositional Program Synthesis from Natural Language and Examples. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic Personalized Mathematical Word Problem Generation. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Sumit Gulwani, Ivan Radicek, Florian Zuleger Feedback Generation for Performance Problems in Introductory Programming Assignments. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sumit Gulwani Example-based learning in computer-aided STEM education. Search on Bibsonomy Commun. ACM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Program Synthesis. Search on Bibsonomy Software Systems Safety The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr. A practical framework for constructing structured drawings. Search on Bibsonomy IUI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oleksandr Polozov, Sumit Gulwani LaSEWeb: automating search strategies over semi-structured web data. Search on Bibsonomy KDD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Mark Marron NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. Search on Bibsonomy SIGMOD Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Ivan Radicek, Florian Zuleger Feedback generation for performance problems in introductory programming assignments. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling Programming by Example Using Least General Generalizations. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay Synthesis of Geometry Proof Problems. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Vu Le, Sumit Gulwani FlashExtract: a framework for data extraction by examples. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost Test-driven synthesis. Search on Bibsonomy PLDI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Applications of program synthesis to end-user programming and intelligent tutoring systems. Search on Bibsonomy GECCO (Companion) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster Template-based program verification and program synthesis. Search on Bibsonomy STTT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid Recursive Program Synthesis. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Erik Andersen, Sumit Gulwani, Zoran Popovic A trace-based framework for analyzing and synthesizing educational progressions. Search on Bibsonomy CHI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama Automated feedback generation for introductory programming assignments. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sriram Sankaranarayanan 0001, Aleksandar Chakarov, Sumit Gulwani Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vu Le, Sumit Gulwani, Zhendong Su SmartSynth: synthesizing smartphone automation scripts from natural language. Search on Bibsonomy MobiSys The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su Keyword programming for TouchDevelop. Search on Bibsonomy MobiSys The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai A colorful approach to text processing by example. Search on Bibsonomy UIST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001, Sumit Gulwani, Judith Bishop Teaching and learning programming and software engineering via interactive gaming. Search on Bibsonomy ICSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron From relational verification to SIMD loop synthesis. Search on Bibsonomy PPOPP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai A Machine Learning Framework for Programming by Example. Search on Bibsonomy ICML (1) The full citation details ... 2013 DBLP  BibTeX  RDF
1Umair Z. Ahmed, Sumit Gulwani, Amey Karkare Automatically Generating Problems and Solutions for Natural Deduction. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan 0001 Automated Grading of DFA Constructions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Rastislav Bodík, Sumit Gulwani, Eran Yahav Software Synthesis (Dagstuhl Seminar 12152). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai Textual Features for Programming by Example Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama Automated Semantic Grading of Programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Rishabh Singh, Sumit Gulwani Learning Semantic String Transformations from Examples Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Rishabh Singh, Sumit Gulwani Learning Semantic String Transformations from Examples. (PDF / PS) Search on Bibsonomy PVLDB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, William R. Harris, Rishabh Singh Spreadsheet data manipulation using examples. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman Continuity and robustness of programs. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rishabh Singh, Sumit Gulwani Synthesizing Number Transformations from Input-Output Examples. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rohit Singh 0002, Sumit Gulwani, Sriram K. Rajamani Automatically Generating Algebra Problems. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr. QuickDraw: improving drawing experience for geometric diagrams. Search on Bibsonomy CHI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman Type-directed completion of partial expressions. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Synthesis from Examples: Interaction Models and Algorithms. Search on Bibsonomy SYNASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ankur Taly, Sumit Gulwani, Ashish Tiwari 0001 Synthesizing switching logic using constraint solving. Search on Bibsonomy STTT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Automating string processing in spreadsheets using input-output examples. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour Proving programs robust. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 147 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license