Sumit Gulwani

According to our database1, Sumit Gulwani authored at least 141 papers between 2001 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Programming by Rewards.
CoRR, 2020

Computer-Aided Personalized Education.
CoRR, 2020

Information-theoretic User Interaction: Significant Inputs for Program Synthesis.
CoRR, 2020

Data Invariants: On Trust in Data-Driven Systems.
CoRR, 2020

Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference.
Proceedings of the 2020 International Conference on Management of Data, 2020

ExTuNe: Explaining Tuple Non-conformance.
Proceedings of the 2020 International Conference on Management of Data, 2020

Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019
On the fly synthesis of edit suggestions.
Proc. ACM Program. Lang., 2019

Quantitative Programming by Examples.
CoRR, 2019

Learning Natural Programs from a Few Examples in Real-Time.
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019

2018
Combining Model Checking and Data-Flow Analysis.
Proceedings of the Handbook of Model Checking., 2018

FlashProfile: a framework for synthesizing data profiles.
Proc. ACM Program. Lang., 2018

Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples.
CoRR, 2018

Automated clustering and program repair for introductory programming assignments.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Compilation error repair: for the student programs, from the student programs.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018

Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples.
Proceedings of the 6th International Conference on Learning Representations, 2018

Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics.
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

Disjunctive Program Synthesis: A Robust Approach to Programming by Example.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Program Synthesis.
Found. Trends Program. Lang., 2017

FlashProfile: Interactive Synthesis of Syntactic Profiles.
CoRR, 2017

Interactive Program Synthesis.
CoRR, 2017

Research for practice: tracing and debugging distributed systems; programming by examples.
Commun. ACM, 2017

Learning to Learn Programs from Examples: Going Beyond Program Structure.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Learning syntactic program transformations from examples.
Proceedings of the 39th International Conference on Software Engineering, 2017

Synthesis of Solutions for Shaded Area Geometry Problems.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Programming by Examples: PL Meets ML.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

Synthesis of Problems for Shaded Area Geometry Reasoning.
Proceedings of the Artificial Intelligence in Education - 18th International Conference, 2017

Automated Data Extraction Using Predictive Program Synthesis.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Programming by Examples - and its applications in Data Wrangling.
Proceedings of the Dependable Software Systems Engineering, 2016

Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis.
CoRR, 2016

Technical Perspective: Program synthesis using stochastic techniques.
Commun. ACM, 2016

Semi-supervised verified feedback generation.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Feedback generation for performance problems in introductory programming assignments.
Proceedings of the Software Engineering 2016, 2016

Transforming spreadsheet data types using examples.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

FIDEX: filtering spreadsheet data using examples.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Ringer: web automation by demonstration.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Program synthesis using natural language.
Proceedings of the 38th International Conference on Software Engineering, 2016

Programming by Examples: Applications, Algorithms, and Ambiguity Resolution.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
How Can Automatic Feedback Help Students Construct Automata?
ACM Trans. Comput. Hum. Interact., 2015

Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System.
CoRR, 2015

Inductive programming meets the real world.
Commun. ACM, 2015

Browser Record and Replay as a Building Block for End-User Web Automation Tools.
Proceedings of the 24th International Conference on World Wide Web Companion, 2015

User Interaction Models for Disambiguation in Programming by Example.
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

Cultivating research taste (illustrated via a journey in program synthesis research).
Proceedings of the Programming Languages Mentoring Workshop, 2015

Automating Repetitive Tasks for the Masses.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

FlashRelate: extracting relational data from semi-structured spreadsheets using examples.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

FlashMeta: a framework for inductive program synthesis.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Automating grammar comparison.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Compositional Program Synthesis from Natural Language and Examples.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Personalized Mathematical Word Problem Generation.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

FlashNormalize: Programming by Examples for Text Normalization.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

StriSynth: Synthesis for Live Programming.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

A Framework for Automatically Generating Interactive Instructional Scaffolding.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Mixed-Initiative Approaches to Global Editing in Slideware.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Automatic Game Progression Design through Analysis of Solution Features.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Predicting a Correct Program in Programming by Example.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Program Synthesis.
Proceedings of the Software Systems Safety, 2014

Example-based learning in computer-aided STEM education.
Commun. ACM, 2014

NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation.
Proceedings of the International Conference on Management of Data, 2014

Test-driven synthesis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

FlashExtract: a framework for data extraction by examples.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

LaSEWeb: automating search strategies over semi-structured web data.
Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2014

A practical framework for constructing structured drawings.
Proceedings of the 19th International Conference on Intelligent User Interfaces, 2014

Applications of program synthesis to end-user programming and intelligent tutoring systems.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Programming by Example Using Least General Generalizations.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Synthesis of Geometry Proof Problems.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Template-based program verification and program synthesis.
Int. J. Softw. Tools Technol. Transf., 2013

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502).
Dagstuhl Reports, 2013

A colorful approach to text processing by example.
Proceedings of the 26th Annual ACM Symposium on User Interface Software and Technology, 2013

From relational verification to SIMD loop synthesis.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Automated feedback generation for introductory programming assignments.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Keyword programming for TouchDevelop.
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

SmartSynth: synthesizing smartphone automation scripts from natural language.
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Automated Grading of DFA Constructions.
Proceedings of the IJCAI 2013, 2013

Automatically Generating Problems and Solutions for Natural Deduction.
Proceedings of the IJCAI 2013, 2013

Teaching and learning programming and software engineering via interactive gaming.
Proceedings of the 35th International Conference on Software Engineering, 2013

A Machine Learning Framework for Programming by Example.
Proceedings of the 30th International Conference on Machine Learning, 2013

A trace-based framework for analyzing and synthesizing educational progressions.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Recursive Program Synthesis.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Learning Semantic String Transformations from Examples.
Proc. VLDB Endow., 2012

Software Synthesis (Dagstuhl Seminar 12152).
Dagstuhl Reports, 2012

Textual Features for Programming by Example
CoRR, 2012

Automated Semantic Grading of Programs
CoRR, 2012

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)
CoRR, 2012

Spreadsheet data manipulation using examples.
Commun. ACM, 2012

Continuity and robustness of programs.
Commun. ACM, 2012

Synthesis from Examples: Interaction Models and Algorithms.
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Type-directed completion of partial expressions.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

QuickDraw: improving drawing experience for geometric diagrams.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

Synthesizing Number Transformations from Input-Output Examples.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Automatically Generating Algebra Problems.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Synthesizing switching logic using constraint solving.
Int. J. Softw. Tools Technol. Transf., 2011

Proving programs robust.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Bound Analysis of Imperative Programs with the Size-Change Abstraction.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Automating string processing in spreadsheets using input-output examples.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Path-based inductive synthesis for program inversion.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Spreadsheet table transformations from examples.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesizing geometry constructions.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesis of loop-free programs.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010
Dimensions in program synthesis.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

From program verification to program synthesis.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Continuity analysis of programs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

The reachability-bound problem.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

A simple inductive synthesis methodology and its applications.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Oracle-guided component-based program synthesis.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Synthesizing switching logic for safety and dwell-time requirements.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009
Constraint-Based Invariant Inference over Predicate Abstraction.
Proceedings of the Verification, 2009

SPEED: precise and efficient static estimation of program computational complexity.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

A combination framework for tracking partition sizes.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Program verification using templates over predicate abstraction.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Control-flow refinement and progress invariants for bound analysis.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

VS3: SMT Solvers for Program Verification.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

SPEED: Symbolic Complexity Bound Analysis.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Lifting abstract interpreters to quantified logical domains.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Program analysis as constraint solving.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Inferring locks for atomic sections.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Cover Algorithms and Their Combination.
Proceedings of the Programming Languages and Systems, 2008

Ranking Abstractions.
Proceedings of the Programming Languages and Systems, 2008

Constraint-Based Approach for Analysis of Hybrid Systems.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Proving Conditional Termination.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
A polynomial-time algorithm for global value numbering.
Sci. Comput. Program., 2007

Assertion Checking Unified.
Proceedings of the Verification, 2007

Program verification as probabilistic inference.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Computing Procedure Summaries for Interprocedural Analysis.
Proceedings of the Programming Languages and Systems, 2007

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Logical Interpretation: Static Program Analysis Using Theorem Proving.
Proceedings of the Automated Deduction, 2007

2006
Combining abstract interpreters.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.
Proceedings of the Programming Languages and Systems, 2006

2005
A randomized satisfiability procedure for arithmetic and uninterpreted function symbols.
Inf. Comput., 2005

Precise interprocedural analysis using random interpretation.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Randomized Algorithms for Program Analysis and Verification.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Global value numbering using random interpretation.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Join Algorithms for the Theory of Uninterpreted Functions.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2003
Discovering affine equalities using random interpretation.
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols.
Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2001
WebCaL - a domain specific language for web caching.
Comput. Commun., 2001


  Loading...