% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/weblab-automated-feedback

@inproceedings{SinghG15-1,
  title = {Predicting a Correct Program in Programming by Example},
  author = {Rishabh Singh and Sumit Gulwani},
  year = {2015},
  doi = {10.1007/978-3-319-21690-4_23},
  url = {http://dx.doi.org/10.1007/978-3-319-21690-4_23},
  researchr = {https://researchr.org/publication/SinghG15-1},
  cites = {0},
  citedby = {0},
  pages = {398-414},
  booktitle = {Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I},
  editor = {Daniel Kroening and Corina S. Pasareanu},
  volume = {9206},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-21689-8},
}

@inproceedings{SinghGS13,
  title = {Automated feedback generation for introductory programming assignments},
  author = {Rishabh Singh and Sumit Gulwani and Armando Solar-Lezama},
  year = {2013},
  doi = {10.1145/2462156.2462195},
  url = {http://doi.acm.org/10.1145/2462156.2462195},
  researchr = {https://researchr.org/publication/SinghGS13},
  cites = {0},
  citedby = {0},
  pages = {15-26},
  booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013},
  editor = {Hans-Juergen Boehm and Cormac Flanagan},
  publisher = {ACM},
  isbn = {978-1-4503-2014-6},
}

@article{HeerenJG10,
  title = {Specifying Rewrite Strategies for Interactive Exercises},
  author = {Bastiaan Heeren and Johan  Jeuring and Alex Gerdes},
  year = {2010},
  url = {http://springerlink.metapress.com/content/c204312110034814/},
  tags = {graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/HeerenJG10},
  cites = {0},
  citedby = {0},
  journal = {Mathematics in Computer Science},
  volume = {3},
  number = {3},
  pages = {349-370},
}

@article{AndersonS86,
  title = {The Automated Tutoring of Introductory Computer Programming},
  author = {John R. Anderson and Edward Skwarecki},
  year = {1986},
  tags = {introductory programming, programming},
  researchr = {https://researchr.org/publication/AndersonS86},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {29},
  number = {9},
  pages = {842-849},
}

@inproceedings{KoedingerKJMB15,
  title = {Learning is Not a Spectator Sport: Doing is Better than Watching for Learning from a MOOC},
  author = {Kenneth R. Koedinger and Jihee Kim and Julianna Zhuxin Jia and Elizabeth A. McLaughlin and Norman L. Bier},
  year = {2015},
  doi = {10.1145/2724660.2724681},
  url = {http://doi.acm.org/10.1145/2724660.2724681},
  researchr = {https://researchr.org/publication/KoedingerKJMB15},
  cites = {0},
  citedby = {0},
  pages = {111-120},
  booktitle = {Proceedings of the Second ACM Conference on Learning @ Scale, L@S 2015, Vancouver, BC, Canada, March 14 - 18, 2015},
  editor = {Gregor Kiczales and Daniel M. Russell and Beverly Park Woolf},
  publisher = {ACM},
  isbn = {978-1-4503-3411-2},
}

@inproceedings{GlassmanSM14-0,
  title = {Feature engineering for clustering student solutions},
  author = {Elena L. Glassman and Rishabh Singh and Robert C. Miller},
  year = {2014},
  doi = {10.1145/2556325.2567865},
  url = {http://doi.acm.org/10.1145/2556325.2567865},
  researchr = {https://researchr.org/publication/GlassmanSM14-0},
  cites = {0},
  citedby = {0},
  pages = {171-172},
  booktitle = {First (2014) ACM Conference on Learning @ Scale, L@S 2014, Atlanta, GA, USA, March 4-5, 2014},
  editor = {Mehran Sahami and Armando Fox and Marti A. Hearst and Michelene T. H. Chi},
  publisher = {ACM},
  isbn = {978-1-4503-2669-8},
}

@inproceedings{PiechHNPSG15,
  title = {Learning Program Embeddings to Propagate Feedback on Student Code},
  author = {Chris Piech and Jonathan Huang and Andy Nguyen and Mike Phulsuksombati and Mehran Sahami and Leonidas J. Guibas},
  year = {2015},
  url = {http://jmlr.org/proceedings/papers/v37/piech15.html},
  researchr = {https://researchr.org/publication/PiechHNPSG15},
  cites = {0},
  citedby = {0},
  pages = {1093-1102},
  booktitle = {Proceedings of the 32nd International Conference on Machine Learning, ICML 2015, Lille, France, 6-11 July 2015},
  editor = {Francis R. Bach and David M. Blei},
  volume = {37},
  series = {JMLR Proceedings},
  publisher = {JMLR.org},
}

@inproceedings{GerdesHJ12,
  title = {Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor},
  author = {Alex Gerdes and Bastiaan Heeren and Johan  Jeuring},
  year = {2012},
  doi = {10.1007/978-3-642-33263-0_31},
  url = {http://dx.doi.org/10.1007/978-3-642-33263-0_31},
  researchr = {https://researchr.org/publication/GerdesHJ12},
  cites = {0},
  citedby = {0},
  pages = {383-388},
  booktitle = {21st Century Learning for 21st Century Skills - 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings},
  editor = {Andrew Ravenscroft and Stefanie N. Lindstaedt and Carlos Delgado Kloos and Davinia Hernández Leo},
  volume = {7563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33262-3},
}

@inproceedings{KoedingerMMM15,
  title = {Methods for Evaluating Simulated Learners: Examples from SimStudent},
  author = {Kenneth R. Koedinger and Noboru Matsuda and Christopher J. MacLellan and Elizabeth A. McLaughlin},
  year = {2015},
  url = {http://ceur-ws.org/Vol-1432/sl_pap6.pdf},
  researchr = {https://researchr.org/publication/KoedingerMMM15},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education, AIED 2015, Madrid, Spain, June 22 + 26, 2015},
  editor = {Jesus Boticario and Kasia Muldner},
  volume = {1432},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{HeerenJ11,
  title = {Interleaving Strategies},
  author = {Bastiaan Heeren and Johan  Jeuring},
  year = {2011},
  doi = {10.1007/978-3-642-22673-1_14},
  url = {http://dx.doi.org/10.1007/978-3-642-22673-1_14},
  researchr = {https://researchr.org/publication/HeerenJ11},
  cites = {0},
  citedby = {0},
  pages = {196-211},
  booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings},
  editor = {James H. Davenport and William M. Farmer and Josef Urban and Florian Rabe},
  volume = {6824},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22672-4},
}

@inproceedings{NguyenPHG14,
  title = {Codewebs: scalable homework search for massive open online programming courses},
  author = {Andy Nguyen and Christopher Piech and Jonathan Huang and Leonidas J. Guibas},
  year = {2014},
  doi = {10.1145/2566486.2568023},
  url = {http://doi.acm.org/10.1145/2566486.2568023},
  researchr = {https://researchr.org/publication/NguyenPHG14},
  cites = {0},
  citedby = {0},
  pages = {491-502},
  booktitle = {23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014},
  editor = {Chin-Wan Chung and Andrei Z. Broder and Kyuseok Shim and Torsten Suel},
  publisher = {ACM},
  isbn = {978-1-4503-2744-2},
}

@inproceedings{PiechSHG15,
  title = {Autonomously Generating Hints by Inferring Problem Solving Policies},
  author = {Chris Piech and Mehran Sahami and Jonathan Huang and Leonidas J. Guibas},
  year = {2015},
  doi = {10.1145/2724660.2724668},
  url = {http://doi.acm.org/10.1145/2724660.2724668},
  researchr = {https://researchr.org/publication/PiechSHG15},
  cites = {0},
  citedby = {0},
  pages = {195-204},
  booktitle = {Proceedings of the Second ACM Conference on Learning @ Scale, L@S 2015, Vancouver, BC, Canada, March 14 - 18, 2015},
  editor = {Gregor Kiczales and Daniel M. Russell and Beverly Park Woolf},
  publisher = {ACM},
  isbn = {978-1-4503-3411-2},
}

@inproceedings{GlassmanSSGM14,
  title = {OverCode: visualizing variation in student solutions to programming problems at scale},
  author = {Elena L. Glassman and Jeremy Scott and Rishabh Singh and Philip J. Guo and Robert C. Miller},
  year = {2014},
  doi = {10.1145/2658779.2658809},
  url = {http://doi.acm.org/10.1145/2658779.2658809},
  researchr = {https://researchr.org/publication/GlassmanSSGM14},
  cites = {0},
  citedby = {0},
  pages = {129-130},
  booktitle = {Proceedings of the adjunct publication of the 27th annual ACM symposium on User interface software and technology, UIST 2014 Adjunct Volume, Honolulu, Hawaii, USA, October 5-8, 2014},
  editor = {Hrvoje Benko and Mira Dontcheva and Daniel Wigdor},
  publisher = {ACM},
  isbn = {978-1-4503-3068-8},
}

@inproceedings{RiversK13,
  title = {Automatic Generation of Programming Feedback; A Data-Driven Approach},
  author = {Kelly Rivers and Kenneth R. Koedinger},
  year = {2013},
  url = {http://ceur-ws.org/Vol-1009/0906.pdf},
  researchr = {https://researchr.org/publication/RiversK13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Workshops at the 16th International Conference on Artificial Intelligence in Education AIED 2013, Memphis, USA, July 9-13, 2013},
  editor = {Erin Walker and Chee-Kit Looi},
  volume = {1009},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{JeuringBGH14,
  title = {Model solutions and properties for diagnosing student programs in Ask-Elle},
  author = {Johan Jeuring and L. Thomas van Binsbergen and Alex Gerdes and Bastiaan Heeren},
  year = {2014},
  doi = {10.1145/2691352.2691355},
  url = {http://doi.acm.org/10.1145/2691352.2691355},
  researchr = {https://researchr.org/publication/JeuringBGH14},
  cites = {0},
  citedby = {0},
  pages = {31-40},
  booktitle = {Proceedings of the Computer Science Education Research Conference, CSERC 2014, Berlin, Germany, November 5-6, 2014},
  editor = {Erik Barendsen and Valentina Dagiene},
  publisher = {ACM},
  isbn = {978-1-4503-3347-4},
}

@article{SungHAPGN11,
  title = {Game-Themed Programming Assignment Modules: A Pathway for Gradual Integration of Gaming Context Into Existing Introductory Programming Courses},
  author = {Kelvin Sung and Cinnamon Hillyard and Robin Lynn Angotti and Michael Panitz and David Goldstein and John Nordlinger},
  year = {2011},
  doi = {10.1109/TE.2010.2064315},
  url = {http://dx.doi.org/10.1109/TE.2010.2064315},
  tags = {introductory programming, programming, context-aware},
  researchr = {https://researchr.org/publication/SungHAPGN11},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Education},
  volume = {54},
  number = {3},
  pages = {416-427},
}

@inproceedings{SrikantA13,
  title = {Automatic Grading of Computer Programs: A Machine Learning Approach},
  author = {Shashank Srikant and Varun Aggarwal},
  year = {2013},
  doi = {10.1109/ICMLA.2013.22},
  url = {http://dx.doi.org/10.1109/ICMLA.2013.22},
  researchr = {https://researchr.org/publication/SrikantA13},
  cites = {0},
  citedby = {0},
  pages = {85-92},
  booktitle = {12th International Conference on Machine Learning and Applications, ICMLA 2013, Miami, FL, USA, December 4-7, 2013, Volume 1},
  publisher = {IEEE},
}

@inproceedings{JeuringGH12,
  title = {Ask-Elle: A Haskell Tutor - Demonstration},
  author = {Johan  Jeuring and Alex Gerdes and Bastiaan Heeren},
  year = {2012},
  doi = {10.1007/978-3-642-33263-0_42},
  url = {http://dx.doi.org/10.1007/978-3-642-33263-0_42},
  researchr = {https://researchr.org/publication/JeuringGH12},
  cites = {0},
  citedby = {0},
  pages = {453-458},
  booktitle = {21st Century Learning for 21st Century Skills - 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings},
  editor = {Andrew Ravenscroft and Stefanie N. Lindstaedt and Carlos Delgado Kloos and Davinia Hernández Leo},
  volume = {7563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33262-3},
}

@article{ChauRPNS14,
  title = {Corrupted: A Game to Teach Programming Concepts},
  author = {Brian Chau and Adam Robinson and Jason Pace and Rob Nash and Kelvin Sung},
  year = {2014},
  doi = {10.1109/MC.2014.349},
  url = {http://dx.doi.org/10.1109/MC.2014.349},
  researchr = {https://researchr.org/publication/ChauRPNS14},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {47},
  number = {12},
  pages = {100-103},
}

@inproceedings{KeuningHJ14,
  title = {Strategy-based feedback in a programming tutor},
  author = {Hieke Keuning and Bastiaan Heeren and Johan Jeuring},
  year = {2014},
  doi = {10.1145/2691352.2691356},
  url = {http://doi.acm.org/10.1145/2691352.2691356},
  researchr = {https://researchr.org/publication/KeuningHJ14},
  cites = {0},
  citedby = {0},
  pages = {43-54},
  booktitle = {Proceedings of the Computer Science Education Research Conference, CSERC 2014, Berlin, Germany, November 5-6, 2014},
  editor = {Erik Barendsen and Valentina Dagiene},
  publisher = {ACM},
  isbn = {978-1-4503-3347-4},
}

@inproceedings{GulwaniRZ14,
  title = {Feedback generation for performance problems in introductory programming assignments},
  author = {Sumit Gulwani and Ivan Radicek and Florian Zuleger},
  year = {2014},
  doi = {10.1145/2635868.2635912},
  url = {http://doi.acm.org/10.1145/2635868.2635912},
  researchr = {https://researchr.org/publication/GulwaniRZ14},
  cites = {0},
  citedby = {0},
  pages = {41-51},
  booktitle = {Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014},
  editor = {Shing-Chi Cheung and Alessandro Orso and Margaret-Anne D. Storey},
  publisher = {ACM},
  isbn = {978-1-4503-3056-5},
}

@inproceedings{JeuringGH11,
  title = {A Programming Tutor for Haskell},
  author = {Johan  Jeuring and Alex Gerdes and Bastiaan Heeren},
  year = {2011},
  doi = {10.1007/978-3-642-32096-5_1},
  url = {http://dx.doi.org/10.1007/978-3-642-32096-5_1},
  researchr = {https://researchr.org/publication/JeuringGH11},
  cites = {0},
  citedby = {0},
  pages = {1-45},
  booktitle = {Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers},
  editor = {Viktória Zsók and Zoltán Horváth and Rinus Plasmeijer},
  volume = {7241},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32095-8},
}

@inproceedings{DrakeS11,
  title = {Teaching introductory programming with popular board games},
  author = {Peter Drake and Kelvin Sung},
  year = {2011},
  doi = {10.1145/1953163.1953338},
  url = {http://doi.acm.org/10.1145/1953163.1953338},
  researchr = {https://researchr.org/publication/DrakeS11},
  cites = {0},
  citedby = {0},
  pages = {619-624},
  booktitle = {Proceedings of the 42nd ACM technical symposium on Computer science education, SIGCSE 2011, Dallas, TX, USA, March 9-12, 2011},
  editor = {Thomas J. Cortina and Ellen Lowenfeld Walker and Laurie A. Smith King and David R. Musicant},
  publisher = {ACM},
  isbn = {978-1-4503-0500-6},
}

@inproceedings{HuangPNG13,
  title = {Syntactic and Functional Variability of a Million Code Submissions in a Machine Learning MOOC},
  author = {Jonathan Huang and Chris Piech and Andy Nguyen and Leonidas J. Guibas},
  year = {2013},
  url = {http://ceur-ws.org/Vol-1009/0105.pdf},
  researchr = {https://researchr.org/publication/HuangPNG13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Workshops at the 16th International Conference on Artificial Intelligence in Education AIED 2013, Memphis, USA, July 9-13, 2013},
  editor = {Erin Walker and Chee-Kit Looi},
  volume = {1009},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{Kumar14-5,
  title = {An Evaluation of Self-explanation in a Programming Tutor},
  author = {Amruth N. Kumar},
  year = {2014},
  doi = {10.1007/978-3-319-07221-0_30},
  url = {http://dx.doi.org/10.1007/978-3-319-07221-0_30},
  researchr = {https://researchr.org/publication/Kumar14-5},
  cites = {0},
  citedby = {0},
  pages = {248-253},
  booktitle = {Intelligent Tutoring Systems - 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings},
  editor = {Stefan Trausan-Matu and Kristy Elizabeth Boyer and Martha E. Crosby and Kitty Panourgia},
  volume = {8474},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-07220-3},
}

@article{HeerenJ14,
  title = {Feedback services for stepwise exercises},
  author = {Bastiaan Heeren and Johan  Jeuring},
  year = {2014},
  doi = {10.1016/j.scico.2014.02.021},
  url = {http://dx.doi.org/10.1016/j.scico.2014.02.021},
  researchr = {https://researchr.org/publication/HeerenJ14},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {88},
  pages = {110-129},
}

@article{GlassmanSSGM15,
  title = {OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale},
  author = {Elena L. Glassman and Jeremy Scott and Rishabh Singh and Philip J. Guo and Robert C. Miller},
  year = {2015},
  doi = {10.1145/2699751},
  url = {http://doi.acm.org/10.1145/2699751},
  researchr = {https://researchr.org/publication/GlassmanSSGM15},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Computer-Human Interaction},
  volume = {22},
  number = {2},
}

@article{ArnezPS14,
  title = {Learning while Building Games for Teaching},
  author = {Fernando Arnez and Jason Pace and Kelvin Sung},
  year = {2014},
  doi = {10.1109/MC.2014.91},
  url = {http://doi.ieeecomputersociety.org/10.1109/MC.2014.91},
  researchr = {https://researchr.org/publication/ArnezPS14},
  cites = {0},
  citedby = {0},
  journal = {IEEE Computer},
  volume = {47},
  number = {4},
  pages = {88-91},
}

@inproceedings{SrikantA14,
  title = {A system to grade computer programming skills using machine learning},
  author = {Shashank Srikant and Varun Aggarwal},
  year = {2014},
  doi = {10.1145/2623330.2623377},
  url = {http://doi.acm.org/10.1145/2623330.2623377},
  researchr = {https://researchr.org/publication/SrikantA14},
  cites = {0},
  citedby = {0},
  pages = {1887-1896},
  booktitle = {The 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD '14, New York, NY, USA - August 24 - 27, 2014},
  editor = {Sofus A. Macskassy and Claudia Perlich and Jure Leskovec and Wei Wang 0010 and Rayid Ghani},
  publisher = {ACM},
  isbn = {978-1-4503-2956-9},
}

@inproceedings{MayerSGLMPSZG15,
  title = {User Interaction Models for Disambiguation in Programming by Example},
  author = {Mikaël Mayer and Gustavo Soares and Maxim Grechkin and Vu Le and Mark Marron and Oleksandr Polozov and Rishabh Singh and Benjamin G. Zorn and Sumit Gulwani},
  year = {2015},
  doi = {10.1145/2807442.2807459},
  url = {http://doi.acm.org/10.1145/2807442.2807459},
  researchr = {https://researchr.org/publication/MayerSGLMPSZG15},
  cites = {0},
  citedby = {0},
  pages = {291-301},
  booktitle = {Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, UIST 2015, Charlotte, NC, USA, November 8-11, 2015},
  editor = {Celine Latulipe and Bjoern Hartmann and Tovi Grossman},
  publisher = {ACM},
  isbn = {978-1-4503-3779-3},
}

@inproceedings{MacLellanKM14,
  title = {Authoring Tutors with SimStudent: An Evaluation of Efficiency and Model Quality},
  author = {Christopher J. MacLellan and Kenneth R. Koedinger and Noboru Matsuda},
  year = {2014},
  doi = {10.1007/978-3-319-07221-0_70},
  url = {http://dx.doi.org/10.1007/978-3-319-07221-0_70},
  researchr = {https://researchr.org/publication/MacLellanKM14},
  cites = {0},
  citedby = {0},
  pages = {551-560},
  booktitle = {Intelligent Tutoring Systems - 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings},
  editor = {Stefan Trausan-Matu and Kristy Elizabeth Boyer and Martha E. Crosby and Kitty Panourgia},
  volume = {8474},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-07220-3},
}

@article{VaessenPJ14,
  title = {University students' achievement goals and help-seeking strategies in an intelligent tutoring system},
  author = {Bram E. Vaessen and Frans J. Prins and Johan  Jeuring},
  year = {2014},
  doi = {10.1016/j.compedu.2013.11.001},
  url = {http://dx.doi.org/10.1016/j.compedu.2013.11.001},
  researchr = {https://researchr.org/publication/VaessenPJ14},
  cites = {0},
  citedby = {0},
  journal = {Computers & Education},
  volume = {72},
  pages = {196-208},
}

@inproceedings{GerdesJH10,
  title = {Using strategies for assessment of programming exercises},
  author = {Alex Gerdes and Johan  Jeuring and Bastiaan Heeren},
  year = {2010},
  doi = {10.1145/1734263.1734412},
  url = {http://doi.acm.org/10.1145/1734263.1734412},
  tags = {programming},
  researchr = {https://researchr.org/publication/GerdesJH10},
  cites = {0},
  citedby = {0},
  pages = {441-445},
  booktitle = {Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010},
  editor = {Gary Lewandowski and Steven A. Wolfman and Thomas J. Cortina and Ellen Lowenfeld Walker},
  publisher = {ACM},
  isbn = {978-1-4503-0006-3},
}

@inproceedings{GerdesJH12,
  title = {An interactive functional programming tutor},
  author = {Alex Gerdes and Johan  Jeuring and Bastiaan Heeren},
  year = {2012},
  doi = {10.1145/2325296.2325356},
  url = {http://doi.acm.org/10.1145/2325296.2325356},
  researchr = {https://researchr.org/publication/GerdesJH12},
  cites = {0},
  citedby = {0},
  pages = {250-255},
  booktitle = {Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  editor = {Tami Lapidot and Judith Gal-Ezer and Michael E. Caspersen and Orit Hazzan},
  publisher = {ACM},
  isbn = {978-1-4503-1246-2},
}

@inproceedings{RobertsM01,
  title = {Towards an Interactive Programming Tutor},
  author = {Paula Roberts and Alan Mullally},
  year = {2001},
  tags = {programming},
  researchr = {https://researchr.org/publication/RobertsM01},
  cites = {0},
  citedby = {0},
  pages = {1049-1050},
  booktitle = {Proceedings of WebNet 2001 - World Conference on the WWW and Internet, Orlando, Florida, October 23-27, 2001},
  editor = {Wendy A. Lawrence-Fowler and Joachim Hasebrook},
  publisher = {AACE},
  isbn = {1-880094-46-0},
}