Fetching the paper…
Reading the bibliography…
Providing feedback on programming assignments is a tedious task for the instructor, and even impossible in large Massive Open Online Courses with thousands of students.
An Algebraic Definition of Simulation Between Programs
Robin Milner. 1971 · 1971
Earlier work this paper cites.
The Tree-to-Tree Correction Problem
Kuo-Chung Tai. 1979 · 1979
Earlier work this paper cites.
LAURA, a system to debug student programs
Anne Adam and Jean-Pierre Laurent. 1980 · 1980
Earlier work this paper cites.
Simple Fast Algorithms for the Editing Distance Between Trees and Related Problems
K. Zhang and D. Shasha. 1989 · 1989
Earlier work this paper cites.
Algorithms for Enumerating All Perfect, Maximum and Maximal Matchings in Bipartite Graphs. In ISAAC
Takeaki Uno. 1997 · 1997
Earlier work this paper cites.
Program Repair As a Game. In Proceedings of the 17th International Conference on Computer Aided Verification
Barbara Jobstmann, Andreas Griesmayer, and Roderick Bloem. 2005 · 2005
Earlier work this paper cites.
Finding and Fixing Faults
Stefan Staber, Barbara Jobstmann, and Roderick Bloem. 2005 · 2005
Earlier work this paper cites.
On the Automation of Fixing Software Bugs. In Companion of the 30th International Conference on Software Engineering
Andrea Arcuri. 2008 · 2008
Earlier work this paper cites.
Software model checking via large-block encoding. In 2009 Formal Methods in Computer-Aided Design
D. Beyer, A. Cimatti, A. Griggio, M. E. Keremoglu, S. F. University, and R. Sebastiani. 2009 · 2009
Earlier work this paper cites.
A Genetic Programming Approach to Automated Software Repair. In Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation
Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, and Claire Le Goues. 2009 · 2009
Earlier work this paper cites.
Using Mutation to Automatically Suggest Fixes for Faulty Programs. In Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
V. Debroy and W.E. Wong. 2010 · 2010
Earlier work this paper cites.
Review of Recent Systems for Automatic Assessment of Programming Assignments. In Proceedings of the 10th Koli Calling International Conference on Computing Education Research
Petri Ihantola, Tuukka Ahoniemi, Ville Karavirta, and Otto Seppälä. 2010 · 2010
Earlier work this paper cites.
Angelic Debugging. In Proceedings of the 33rd International Conference on Software Engineering
Satish Chandra, Emina Torlak, Shaon Barman, and Rastislav Bodik. 2011 · 2011
Earlier work this paper cites.
Specification-based Program Repair Using SAT. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Part of the Joint European Conferences on Theory and Practice of Software
Divya Gopinath, Muhammad Zubair Malik, and Sarfraz Khurshid. 2011 · 2011
Cited alongside, same era.
Automated Error Localization and Correction for Imperative Programs. In Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Robert Könighofer and Roderick Bloem. 2011 · 2011
Cited alongside, same era.
A Brief Guide To Understanding MOOCs
Ken Masters. 2011 · 2011
Cited alongside, same era.
Using run time traces in automated programming tutoring. In ITiCSE
Michael Striewe and Michael Goedicke. 2011 · 2011
Cited alongside, same era.
On the concept of variable roles and its use in software analysis. In Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013
Code Hunt: Searching for Secret Code for Fun
Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, and Tao Xie. 2014 · 2014
Later among the works it cites.
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs
C. Le Goues, N. Holtschulte, E. K. Smith, Y. Brun, P. Devanbu, S. Forrest, and W. Weimer. 2015 · 2015
Later among the works it cites.
Repairing Programs with Semantic Code Search (T). In Proceedings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, and Yuriy Brun. 2015 · 2015
Later among the works it cites.
Qlose: Program Repair with Quantitative Objectives. In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Loris D’Antoni, Roopsha Samanta, and Rishabh Singh. 2016 · 2016
Closest in time.
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Yulia Demyanova, Helmut Veith, and Florian Zuleger. 2013 · 2013
Cited alongside, same era.
Automated Feedback Generation for Introductory Programming Assignments. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation
Rishabh Singh, Sumit Gulwani, and Armando Solar-Lezama. 2013 · 2013
Cited alongside, same era.
Trace Alignment for Automated Tutoring. In CAA
Michael Striewe and Michael Goedicke. 2013 · 2013
Cited alongside, same era.
Teaching and Learning Programming and Software Engineering via Interactive Gaming. In Proc. 35th International Conference on Software Engineering (ICSE 2013), Software Engineering Education (SEE)
Nikolai Tillmann, Jonathan De Halleux, Tao Xie, Sumit Gulwani, and Judith Bishop. 2013 · 2013
Cited alongside, same era.
Analysis: The exploding demand for computer science education, and why America needs to keep up
[n. d.] · 2014
Cited alongside, same era.
Learning to Grade Student Programs in a Massive Open Online Course. In Data Mining (ICDM), 2014 IEEE International Conference on
A. Drummond, Y. Lu, S. Chaudhuri, C. Jermaine, J. Warren, and S. Rixner. 2014 · 2014
Cited alongside, same era.
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale. In Proceedings of the Adjunct Publication of the 27th Annual ACM Symposium on User Interface Software and Technology
Elena L. Glassman, Jeremy Scott, Rishabh Singh, Philip Guo, and Robert Miller. 2014 · 2014
Cited alongside, same era.
Feedback Generation for Performance Problems in Introductory Programming Assignments. In Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
Sumit Gulwani, Ivan Radiček, and Florian Zuleger. 2014 · 2014
Cited alongside, same era.
Rajdeep Das, Umair Z. Ahmed, Amey Karkare, and Sumit Gulwani. 2016 · 2016
Closest in time.
Semi-supervised Verified Feedback Generation. In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, and Sumit Gulwani. 2016 · 2016
Closest in time.
Apex: Automatic Programming Assignment Error Explanation. In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera. 2016 · 2016
Closest in time.
Automatic Patch Generation by Learning Correct Code
Fan Long and Martin Rinard. 2016 · 2016
Closest in time.
Exploring the Design Space of Automatically Synthesized Hints for Introductory Programming Assignments. In Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems
Ryo Suzuki, Gustavo Soares, Elena Glassman, Andrew Head, Loris D’Antoni, and Björn Hartmann. 2017 · 2016
Closest in time.
Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis. In Proceedings of the Fourth (2017) ACM Conference on Learning @ Scale
Andrew Head, Elena Glassman, Gustavo Soares, Ryo Suzuki, Lucas Figueredo, Loris D’Antoni, and Björn Hartmann. 2017 · 2017
Closest in time.
Data-Driven Hint Generation in Vast Solution Spaces: a Self-Improving Python Programming Tutor
Kelly Rivers and Kenneth R. Koedinger. 2017 · 2017
Closest in time.
Learning Syntactic Program Transformations from Examples. In Proceedings of the 39th International Conference on Software Engineering
Reudismam Rolim, Gustavo Soares, Loris D’Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, and Björn Hartmann. 2017 · 2017
Closest in time.
A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, and Abhik Roychoudhury. 2017 · 2017
Closest in time.