Sumit Gulwani
#155,915
Most Influential Person Now
Sumit Gulwani's AcademicInfluence.com Rankings
Sumit Gulwanicomputer-science Degrees
Computer Science
#8573
World Rank
#9012
Historical Rank
Algorithms
#337
World Rank
#342
Historical Rank
Artificial Intelligence
#3856
World Rank
#3912
Historical Rank
Database
#5572
World Rank
#5781
Historical Rank
Download Badge
Computer Science
Sumit Gulwani's Degrees
- PhD Computer Science Stanford University
Similar Degrees You Can Earn
Why Is Sumit Gulwani Influential?
(Suggest an Edit or Addition)Sumit Gulwani's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Automating string processing in spreadsheets using input-output examples (2011) (799)
- Oracle-guided component-based program synthesis (2010) (501)
- Automated feedback generation for introductory programming assignments (2012) (399)
- SPEED: precise and efficient static estimation of program computational complexity (2009) (332)
- Synthesis of loop-free programs (2011) (328)
- From program verification to program synthesis (2010) (302)
- Spreadsheet data manipulation using examples (2012) (301)
- FlashMeta: a framework for inductive program synthesis (2015) (258)
- Dimensions in program synthesis (2010) (255)
- FlashExtract: a framework for data extraction by examples (2014) (246)
- Program analysis as constraint solving (2008) (202)
- Learning Syntactic Program Transformations from Examples (2016) (186)
- Spreadsheet table transformations from examples (2011) (183)
- Program Synthesis (2017) (172)
- Lifting abstract interpreters to quantified logical domains (2008) (165)
- Constraint-Based Approach for Analysis of Hybrid Systems (2008) (159)
- A Machine Learning Framework for Programming by Example (2013) (147)
- Program verification using templates over predicate abstraction (2009) (146)
- Inductive programming meets the real world (2015) (143)
- Control-flow refinement and progress invariants for bound analysis (2009) (142)
- Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples (2018) (136)
- Inferring locks for atomic sections (2008) (135)
- Recursive Program Synthesis (2013) (135)
- Proving programs robust (2011) (134)
- Synthesizing geometry constructions (2011) (131)
- Learning Semantic String Transformations from Examples (2012) (128)
- Static analysis for probabilistic programs: inferring whole program properties from finitely many paths (2013) (123)
- FlashRelate: extracting relational data from semi-structured spreadsheets using examples (2015) (120)
- The reachability-bound problem (2010) (118)
- Teaching and learning programming and software engineering via interactive gaming (2013) (110)
- Program Synthesis Using Natural Language (2015) (108)
- NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation (2014) (107)
- Bound Analysis of Imperative Programs with the Size-Change Abstraction (2011) (105)
- Combining abstract interpreters (2006) (105)
- Proving Conditional Termination (2008) (103)
- Type-directed completion of partial expressions (2012) (102)
- Synthesizing Number Transformations from Input-Output Examples (2012) (101)
- Continuity analysis of programs (2010) (101)
- SmartSynth: synthesizing smartphone automation scripts from natural language (2013) (95)
- Automated clustering and program repair for introductory programming assignments (2016) (89)
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (2008) (89)
- SPEED: Symbolic Complexity Bound Analysis (2009) (87)
- Predicting a Correct Program in Programming by Example (2015) (84)
- Template-based program verification and program synthesis (2013) (84)
- A trace-based framework for analyzing and synthesizing educational progressions (2013) (83)
- Test-driven synthesis (2014) (83)
- Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists (2020) (80)
- User Interaction Models for Disambiguation in Programming by Example (2015) (80)
- Automatically Generating Algebra Problems (2012) (78)
- Path-based inductive synthesis for program inversion (2011) (77)
- Synthesis from Examples: Interaction Models and Algorithms (2012) (77)
- Compilation Error Repair: For the Student Programs, From the Student Programs (2018) (71)
- Automated Grading of DFA Constructions (2013) (70)
- Compositional Program Synthesis from Natural Language and Examples (2015) (67)
- A simple inductive synthesis methodology and its applications (2010) (67)
- A combination framework for tracking partition sizes (2009) (64)
- Computing Procedure Summaries for Interprocedural Analysis (2007) (64)
- Constraint-Based Invariant Inference over Predicate Abstraction (2008) (63)
- Transforming spreadsheet data types using examples (2016) (62)
- Synthesizing switching logic using constraint solving (2008) (61)
- Feedback generation for performance problems in introductory programming assignments (2014) (61)
- Discovering affine equalities using random interpretation (2003) (60)
- From relational verification to SIMD loop synthesis (2013) (57)
- Continuity and robustness of programs (2012) (57)
- QuickDraw: improving drawing experience for geometric diagrams (2012) (57)
- A polynomial-time algorithm for global value numbering (2004) (56)
- Synthesizing switching logic for safety and dwell-time requirements (2010) (54)
- Semi-supervised verified feedback generation (2016) (54)
- Programming by Examples - and its applications in Data Wrangling (2016) (53)
- Program verification as probabilistic inference (2007) (50)
- Automatically Generating Problems and Solutions for Natural Deduction (2013) (50)
- Example-based learning in computer-aided STEM education (2014) (50)
- A colorful approach to text processing by example (2013) (49)
- Personalized Mathematical Word Problem Generation (2015) (49)
- Programming by examples: applications, algorithms, and ambiguity resolution (2016) (47)
- Automatic Game Progression Design through Analysis of Solution Features (2015) (47)
- How Can Automatic Feedback Help Students Construct Automata? (2015) (46)
- Ranking Abstractions (2008) (45)
- Ringer: web automation by demonstration (2016) (44)
- Combining Model Checking and Data-Flow Analysis (2018) (43)
- Synchromesh: Reliable code generation from pre-trained language models (2022) (42)
- Programming by Examples: PL Meets ML (2017) (40)
- Synthesis of Geometry Proof Problems (2014) (39)
- Cover Algorithms and Their Combination (2008) (37)
- Global value numbering using random interpretation (2004) (36)
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software (2007) (36)
- Automated Data Extraction Using Predictive Program Synthesis (2017) (35)
- Precise interprocedural analysis using random interpretation (2005) (34)
- FIDEX: filtering spreadsheet data using examples (2016) (33)
- On the fly synthesis of edit suggestions (2019) (32)
- VS3: SMT Solvers for Program Verification (2009) (32)
- Programming by Example Using Least General Generalizations (2014) (31)
- FlashNormalize: Programming by Examples for Text Normalization (2015) (30)
- Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions (2006) (29)
- A Framework for Automatically Generating Interactive Instructional Scaffolding (2015) (29)
- Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis (2016) (28)
- Logical Interpretation: Static Program Analysis Using Theorem Proving (2007) (27)
- Browser Record and Replay as a Building Block for End-User Web Automation Tools (2015) (21)
- Building Bing Developer Assistant (2015) (21)
- FlashProfile: a framework for synthesizing data profiles (2017) (19)
- StriSynth: Synthesis for Live Programming (2015) (19)
- Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis (2021) (18)
- Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics (2018) (17)
- Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning (2013) (17)
- Assertion Checking Unified (2007) (17)
- Join Algorithms for the Theory of Uninterpreted Functions (2004) (16)
- Automating grammar comparison (2015) (16)
- Program analysis using random interpretation (2005) (16)
- Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis (2021) (16)
- Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference (2020) (15)
- Disjunctive Program Synthesis: A Robust Approach to Programming by Example (2018) (15)
- Conformance Constraint Discovery: Measuring Trust in Data-Driven Systems (2021) (15)
- Interactive Program Synthesis (2017) (14)
- Feedback-driven semi-supervised synthesis of program transformations (2020) (14)
- Component Based Synthesis Applied to Bitvector Circuits (2010) (13)
- Programming by Examples (2017) (13)
- Repair Is Nearly Generation: Multilingual Program Repair with LLMs (2022) (12)
- Semantic programming by example with pre-trained models (2021) (12)
- Synthesis from Examples (2016) (12)
- Mixed-Initiative Approaches to Global Editing in Slideware (2015) (12)
- A practical framework for constructing structured drawings (2014) (11)
- Synthesis of Solutions for Shaded Area Geometry Problems (2017) (10)
- Automated Semantic Grading of Programs (2012) (10)
- Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples (2017) (10)
- FlashProfile: Interactive Synthesis of Syntactic Profiles (2017) (10)
- LaSEWeb: automating search strategies over semi-structured web data (2014) (9)
- WebCaL - a domain specific language for web caching (2001) (8)
- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions (2004) (8)
- Learning Natural Programs from a Few Examples in Real-Time (2019) (7)
- Bound Analysis using Backward Symbolic Execution (2009) (7)
- Probabilistic inference of programs from input/output examples (2006) (7)
- Component-based Synthesis Applied to Bitvector Programs (2010) (6)
- Quantitative Programming by Examples (2019) (6)
- Repairing Bugs in Python Assignments Using Large Language Models (2022) (6)
- Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502) (2013) (6)
- ExTuNe: Explaining Tuple Non-conformance (2020) (6)
- Learning to Learn Programs from Examples: Going Beyond Program Structure (2017) (6)
- Research for practice (2017) (6)
- Structure and Term Prediction for Mathematical Text (2012) (5)
- Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System (2015) (5)
- Programming by Demonstration Framework applied to Procedural Math Problems (2014) (5)
- Synthesis of Problems for Shaded Area Geometry Reasoning (2017) (5)
- Static Analysis of Heap-Manipulating Low-Level Software (2006) (5)
- A randomized satisfiability procedure for arithmetic and uninterpreted function symbols (2005) (4)
- reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example (2021) (4)
- An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction (2020) (4)
- Neurosymbolic repair for low-code formula languages (2022) (4)
- Automated Feedback and Recognition through Data Mining in Code Hunt (2015) (4)
- Building Bing Developer Assistant MSR-TR-2015-36 (2015) (4)
- Randomized Algorithms for Program Analysis and Verification (2005) (4)
- APIfix: output-oriented program synthesis for combating breaking changes in libraries (2021) (4)
- Specification , Verification and Synthesis for Automata Problems (2013) (4)
- Applications of program synthesis to end-user programming and intelligent tutoring systems (2014) (4)
- Computer-Aided Personalized Education (2020) (3)
- Technical Perspective: Program synthesis using stochastic techniques (2016) (3)
- SPEED: Symbolic Complexity Bound Analysis (Invited Talk) (2009) (3)
- Synthesis in the Industrial World : Inductive , Incremental , Interactive (2016) (3)
- Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games (2014) (3)
- Automating Repetitive Tasks for the Masses (2015) (3)
- Data Invariants: On Trust in Data-Driven Systems (2020) (3)
- Dimensions in Program Synthesis (Invited Talk Paper) (2010) (3)
- CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning (2021) (2)
- FlashFill++: Scaling Programming by Example by Cutting to the Chase (2023) (2)
- Towards Automating Grammar Equivalence Checking (2015) (2)
- Overwatch: learning patterns in code edit sequences (2022) (2)
- Structure interpretation of text formats (2020) (2)
- Program Verification as Inference in Belief Networks (2006) (2)
- Programming by Rewards (2020) (2)
- Global Value Numbering using Random Interpretation ( Full version ) (1)
- Continuity and Robustness (2012) (1)
- Control-flow refinement and progress invariants for symbolic complexity bounds (2009) (1)
- A Randomized Satisfability Procedure for Arithmetic and Uninterpreted Function Symbols (2003) (1)
- Automatic Generation of Starting Positions in Board Games (2013) (1)
- Statically Computing Complexity Bounds for Programs with Recursive Data-structures (2008) (1)
- Keyword programming for TouchDevelop (2013) (1)
- Automatic generation of alternative starting positions for traditional board games (2013) (1)
- NL2Viz: natural language to visualization via constrained syntax-guided synthesis (2022) (1)
- Research for Practice: Programming by Examples (2017) (1)
- Synthesis from Examples Sumit Gulwani (2012) (1)
- Information-theoretic User Interaction: Significant Inputs for Program Synthesis (2020) (1)
- Programming by Examples: Applications, Ambiguity Resolutions, Approach (2017) (1)
- Set-Constraint based Program Analysis: A survey (2007) (1)
- Storytelling and science (2022) (0)
- Storytelling and Science To appear in CACM 2022 (2022) (0)
- Template-based program verification and program synthesis (2012) (0)
- Intelligent Tutoring Systems A Logical Perspective (2012) (0)
- CORNET: Learning Table Formatting Rules By Example (2022) (0)
- Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series) (2017) (0)
- Microsoft FlashMeta SDK A Framework for Creating Inductive Synthesizers (2017) (0)
- Programming by Examples applied to Data Wrangling (2017) (0)
- Replication Package for Article (2018) (0)
- Spreadsheet Programming using Examples (2017) (0)
- Session details: Session 8B: Verification (2015) (0)
- Software Synthesis (Dagstuhl Seminar 12152) (2012) (0)
- Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models (2023) (0)
- Example-based reasoning techniques developed for programming languages also help automate repetitive tasks in education. (2014) (0)
- Data Wrangling using Programming by Examples (2017) (0)
- Applications of Formal Methods to Data Wrangling and Education (2017) (0)
- Proceedings Second Workshop on Synthesis: Using Synthesis for Automated Feedback Generation for Programming Assignments (2014) (0)
- Deductive Techniques for Synthesis from Inductive Specifications (2017) (0)
- Logical Abstract Interpretation (2017) (0)
- AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote) (2022) (0)
- Control-flow Refinement for Bound Analysis (2010) (0)
- Towards Automating Grammar Equivalence Checking EPFL-REPORT-206921 (2015) (0)
- FLAME: A small language model for spreadsheet formulas (2023) (0)
- Platform Independent Che kpointing of a C-Program in Exe ution (2007) (0)
- Language Technologies for Lighting up Learning (2014) (0)
- Applications of Inductive Programming in Data Wrangling (2017) (0)
- LaSEWeb (2014) (0)
- Textual Features for Programming by Example (2012) (0)
- Proceedings of the 1 st Workshop on Quantitative Analysis of Software ( QA ' 09 ) (2009) (0)
- Problem Generation and Feedback Generation (2017) (0)
- Syntactic profiling of alphanumeric strings (2017) (0)
- A Combination Framework for Tracking Partition Sizes (Full Version) (2009) (0)
- Session details: Verification (2011) (0)
- Formal Methods for Computer-Aided STEM Education (2013) (0)
- Session details: Session 8B: Verification (2015) (0)
- Assertion Checking Unified ( Full Version ) (2006) (0)
- Cultivating research taste (illustrated via a journey in program synthesis research) (2015) (0)
- Chemistry Studio : An Intelligent Tutoring System ( Natural Language Component ) (2012) (0)
- CORNET: A neurosymbolic approach to learning conditional table formatting rules by example (2022) (0)
- From Words to Code: Harnessing Data for Program Synthesis from Natural Language (2023) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Sumit Gulwani?
Sumit Gulwani is affiliated with the following schools:
