Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sumit Gulwani
Map detail
Sumit Gulwani13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSumit GulwaniASumit GulwaniResearcherFeedback Generation for Performance Problems in Introductory Programming AssignmentsWFeedback Generation for...preprint / 2014Learning Semantic String Transformations from ExamplesWLearning Semantic Strin...preprint / 2012Automated Feedback Generation for Introductory Programming AssignmentsWAutomated Feedback Gene...preprint / 2012Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)WBound Analysis of Imper...preprint / 2012Program Synthesis using Natural LanguageWProgram Synthesis using...preprint / 2015Automatic Synthesis of Geometry Problems for an Intelligent Tutoring SystemWAutomatic Synthesis of ...preprint / 2015Information-theoretic User Interaction: Significant Inputs for Program SynthesisWInformation-theoretic U...preprint / 2020Textual Features for Programming by ExampleWTextual Features for Pr...preprint / 2012Automatic Generation of Alternative Starting Positions for Simple Traditional Board GamesWAutomatic Generation of...preprint / 2014Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical AnalysisWCan Program Synthesis b...preprint / 2021Conformance Constraint Discovery: Measuring Trust in Data-Driven SystemsWConformance Constraint ...preprint / 2021Semi-Supervised Verified Feedback GenerationWSemi-Supervised Verifie...preprint / 2016
Person12 links

Sumit Gulwani

Researcher