Showing 1–20 of 73 results
/ Date/ Name
Apr 26, 2012Learning Semantic String Transformations from ExamplesSep 17, 2017FlashProfile: A Framework for Synthesizing Data ProfilesMar 15, 2016Semi-Supervised Verified Feedback GenerationSep 12, 2019Quantitative Programming by ExamplesApr 8, 2012Automated Feedback Generation for Introductory Programming AssignmentsSep 17, 2012Textual Features for Programming by ExampleAug 12, 2016Prutor: A System for Tutoring CS1 and Collecting Student Programs for AnalysisMar 10, 2016Automated Clustering and Program Repair for Introductory Programming AssignmentsNov 14, 2014Automatic Generation of Alternative Starting Positions for Simple Traditional Board GamesSep 1, 2015Program Synthesis using Natural LanguageOct 29, 2015Automatic Synthesis of Geometry Problems for an Intelligent Tutoring SystemMar 23, 2012Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)Mar 17, 2014Feedback Generation for Performance Problems in Introductory Programming AssignmentsApr 3, 2018Neural-Guided Deductive Search for Real-Time Program Synthesis from ExamplesAug 31, 2016Learning Syntactic Program Transformations from ExamplesMar 10, 2017Interactive Program SynthesisJan 26, 2022Synchromesh: Reliable code generation from pre-trained language modelsJan 24, 2023Generating High-Precision Feedback for Programming Syntax Errors using Large Language ModelsAug 21, 2023DataVinci: Learning Syntactic and Semantic String RepairsMay 23, 2023GrACE: Generation using Associated Code Edits