publications: - title: "Predicting a Correct Program in Programming by Example" author: - name: "Rishabh Singh" link: "https://researchr.org/alias/rishabh-singh" - name: "Sumit Gulwani" link: "https://researchr.org/alias/sumit-gulwani" year: "2015" doi: "http://dx.doi.org/10.1007/978-3-319-21690-4_23" links: doi: "http://dx.doi.org/10.1007/978-3-319-21690-4_23" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cav/SinghG15" 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: - name: "Daniel Kroening" link: "https://researchr.org/alias/daniel-kroening" - name: "Corina S. Pasareanu" link: "https://researchr.org/alias/corina-s.-pasareanu" volume: "9206" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-21689-8" kind: "inproceedings" key: "SinghG15-1" - title: "Automated feedback generation for introductory programming assignments" author: - name: "Rishabh Singh" link: "https://researchr.org/alias/rishabh-singh" - name: "Sumit Gulwani" link: "https://researchr.org/alias/sumit-gulwani" - name: "Armando Solar-Lezama" link: "https://researchr.org/alias/armando-solar-lezama" year: "2013" doi: "http://doi.acm.org/10.1145/2462156.2462195" links: doi: "http://doi.acm.org/10.1145/2462156.2462195" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/SinghGS13" 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: - name: "Hans-Juergen Boehm" link: "https://researchr.org/alias/hans-juergen-boehm" - name: "Cormac Flanagan" link: "https://researchr.org/alias/cormac-flanagan" publisher: "ACM" isbn: "978-1-4503-2014-6" kind: "inproceedings" key: "SinghGS13" - title: "Specifying Rewrite Strategies for Interactive Exercises" author: - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" - name: "Alex Gerdes" link: "https://researchr.org/alias/alex-gerdes" year: "2010" doi: "http://springerlink.metapress.com/content/c204312110034814/" links: doi: "http://springerlink.metapress.com/content/c204312110034814/" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/mics/HeerenJG10" 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" kind: "article" key: "HeerenJG10" - title: "The Automated Tutoring of Introductory Computer Programming" author: - name: "John R. Anderson" link: "https://researchr.org/alias/john-r.-anderson" - name: "Edward Skwarecki" link: "https://researchr.org/alias/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" kind: "article" key: "AndersonS86" - title: "Learning is Not a Spectator Sport: Doing is Better than Watching for Learning from a MOOC" author: - name: "Kenneth R. Koedinger" link: "https://researchr.org/alias/kenneth-r.-koedinger" - name: "Jihee Kim" link: "https://researchr.org/alias/jihee-kim" - name: "Julianna Zhuxin Jia" link: "https://researchr.org/alias/julianna-zhuxin-jia" - name: "Elizabeth A. McLaughlin" link: "https://researchr.org/alias/elizabeth-a.-mclaughlin" - name: "Norman L. Bier" link: "https://researchr.org/alias/norman-l.-bier" year: "2015" doi: "http://doi.acm.org/10.1145/2724660.2724681" links: doi: "http://doi.acm.org/10.1145/2724660.2724681" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lats/KoedingerKJMB15" 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: - name: "Gregor Kiczales" link: "https://researchr.org/alias/gregor-kiczales" - name: "Daniel M. Russell" link: "https://researchr.org/alias/daniel-m.-russell" - name: "Beverly Park Woolf" link: "https://researchr.org/alias/beverly-park-woolf" publisher: "ACM" isbn: "978-1-4503-3411-2" kind: "inproceedings" key: "KoedingerKJMB15" - title: "Feature engineering for clustering student solutions" author: - name: "Elena L. Glassman" link: "https://researchr.org/alias/elena-l.-glassman" - name: "Rishabh Singh" link: "https://researchr.org/alias/rishabh-singh" - name: "Robert C. Miller" link: "https://researchr.org/alias/robert-c.-miller" year: "2014" doi: "http://doi.acm.org/10.1145/2556325.2567865" links: doi: "http://doi.acm.org/10.1145/2556325.2567865" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lats/GlassmanSM14" 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: - name: "Mehran Sahami" link: "https://researchr.org/alias/mehran-sahami" - name: "Armando Fox" link: "https://researchr.org/alias/armando-fox" - name: "Marti A. Hearst" link: "https://researchr.org/alias/marti-a.-hearst" - name: "Michelene T. H. Chi" link: "https://researchr.org/alias/michelene-t.-h.-chi" publisher: "ACM" isbn: "978-1-4503-2669-8" kind: "inproceedings" key: "GlassmanSM14-0" - title: "Learning Program Embeddings to Propagate Feedback on Student Code" author: - name: "Chris Piech" link: "https://researchr.org/alias/chris-piech" - name: "Jonathan Huang" link: "https://researchr.org/alias/jonathan-huang" - name: "Andy Nguyen" link: "https://researchr.org/alias/andy-nguyen" - name: "Mike Phulsuksombati" link: "https://researchr.org/alias/mike-phulsuksombati" - name: "Mehran Sahami" link: "https://researchr.org/alias/mehran-sahami" - name: "Leonidas J. Guibas" link: "https://researchr.org/alias/leonidas-j.-guibas" year: "2015" doi: "http://jmlr.org/proceedings/papers/v37/piech15.html" links: doi: "http://jmlr.org/proceedings/papers/v37/piech15.html" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icml/PiechHNPSG15" 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: - name: "Francis R. Bach" link: "https://researchr.org/alias/francis-r.-bach" - name: "David M. Blei" link: "https://researchr.org/alias/david-m.-blei" volume: "37" series: "JMLR Proceedings" publisher: "JMLR.org" kind: "inproceedings" key: "PiechHNPSG15" - title: "Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor" author: - name: "Alex Gerdes" link: "https://researchr.org/alias/alex-gerdes" - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_31" links: doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_31" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ectel/GerdesHJ12" 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: - name: "Andrew Ravenscroft" link: "https://researchr.org/alias/andrew-ravenscroft" - name: "Stefanie N. Lindstaedt" link: "https://researchr.org/alias/stefanie-n.-lindstaedt" - name: "Carlos Delgado Kloos" link: "https://researchr.org/alias/carlos-delgado-kloos" - name: "Davinia Hernández Leo" link: "https://researchr.org/alias/davinia-hern%C3%A1ndez-leo" volume: "7563" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-33262-3" kind: "inproceedings" key: "GerdesHJ12" - title: "Methods for Evaluating Simulated Learners: Examples from SimStudent" author: - name: "Kenneth R. Koedinger" link: "https://researchr.org/alias/kenneth-r.-koedinger" - name: "Noboru Matsuda" link: "https://researchr.org/alias/noboru-matsuda" - name: "Christopher J. MacLellan" link: "https://researchr.org/alias/christopher-j.-maclellan" - name: "Elizabeth A. McLaughlin" link: "https://researchr.org/alias/elizabeth-a.-mclaughlin" year: "2015" doi: "http://ceur-ws.org/Vol-1432/sl_pap6.pdf" links: doi: "http://ceur-ws.org/Vol-1432/sl_pap6.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aied/KoedingerMMM15" 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: - name: "Jesus Boticario" link: "https://researchr.org/alias/jesus-boticario" - name: "Kasia Muldner" link: "https://researchr.org/alias/kasia-muldner" volume: "1432" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "KoedingerMMM15" - title: "Interleaving Strategies" author: - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-22673-1_14" links: doi: "http://dx.doi.org/10.1007/978-3-642-22673-1_14" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mkm/HeerenJ11" 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: - name: "James H. Davenport" link: "https://researchr.org/alias/james-h.-davenport" - name: "William M. Farmer" link: "https://researchr.org/alias/william-m.-farmer" - name: "Josef Urban" link: "https://researchr.org/alias/josef-urban" - name: "Florian Rabe" link: "https://researchr.org/alias/florian-rabe" volume: "6824" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-22672-4" kind: "inproceedings" key: "HeerenJ11" - title: "Codewebs: scalable homework search for massive open online programming courses" author: - name: "Andy Nguyen" link: "https://researchr.org/alias/andy-nguyen" - name: "Christopher Piech" link: "https://researchr.org/alias/christopher-piech" - name: "Jonathan Huang" link: "https://researchr.org/alias/jonathan-huang" - name: "Leonidas J. Guibas" link: "https://researchr.org/alias/leonidas-j.-guibas" year: "2014" doi: "http://doi.acm.org/10.1145/2566486.2568023" links: doi: "http://doi.acm.org/10.1145/2566486.2568023" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/www/NguyenPHG14" 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: - name: "Chin-Wan Chung" link: "https://researchr.org/alias/chin-wan-chung" - name: "Andrei Z. Broder" link: "https://researchr.org/alias/andrei-z.-broder" - name: "Kyuseok Shim" link: "https://researchr.org/alias/kyuseok-shim" - name: "Torsten Suel" link: "https://researchr.org/alias/torsten-suel" publisher: "ACM" isbn: "978-1-4503-2744-2" kind: "inproceedings" key: "NguyenPHG14" - title: "Autonomously Generating Hints by Inferring Problem Solving Policies" author: - name: "Chris Piech" link: "https://researchr.org/alias/chris-piech" - name: "Mehran Sahami" link: "https://researchr.org/alias/mehran-sahami" - name: "Jonathan Huang" link: "https://researchr.org/alias/jonathan-huang" - name: "Leonidas J. Guibas" link: "https://researchr.org/alias/leonidas-j.-guibas" year: "2015" doi: "http://doi.acm.org/10.1145/2724660.2724668" links: doi: "http://doi.acm.org/10.1145/2724660.2724668" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lats/PiechSHG15" 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: - name: "Gregor Kiczales" link: "https://researchr.org/alias/gregor-kiczales" - name: "Daniel M. Russell" link: "https://researchr.org/alias/daniel-m.-russell" - name: "Beverly Park Woolf" link: "https://researchr.org/alias/beverly-park-woolf" publisher: "ACM" isbn: "978-1-4503-3411-2" kind: "inproceedings" key: "PiechSHG15" - title: "OverCode: visualizing variation in student solutions to programming problems at scale" author: - name: "Elena L. Glassman" link: "https://researchr.org/alias/elena-l.-glassman" - name: "Jeremy Scott" link: "https://researchr.org/alias/jeremy-scott" - name: "Rishabh Singh" link: "https://researchr.org/alias/rishabh-singh" - name: "Philip J. Guo" link: "https://researchr.org/alias/philip-j.-guo" - name: "Robert C. Miller" link: "https://researchr.org/alias/robert-c.-miller" year: "2014" doi: "http://doi.acm.org/10.1145/2658779.2658809" links: doi: "http://doi.acm.org/10.1145/2658779.2658809" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/uist/GlassmanSSGM14" 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: - name: "Hrvoje Benko" link: "https://researchr.org/alias/hrvoje-benko" - name: "Mira Dontcheva" link: "https://researchr.org/alias/mira-dontcheva" - name: "Daniel Wigdor" link: "https://researchr.org/alias/daniel-wigdor" publisher: "ACM" isbn: "978-1-4503-3068-8" kind: "inproceedings" key: "GlassmanSSGM14" - title: "Automatic Generation of Programming Feedback; A Data-Driven Approach" author: - name: "Kelly Rivers" link: "https://researchr.org/alias/kelly-rivers" - name: "Kenneth R. Koedinger" link: "https://researchr.org/alias/kenneth-r.-koedinger" year: "2013" doi: "http://ceur-ws.org/Vol-1009/0906.pdf" links: doi: "http://ceur-ws.org/Vol-1009/0906.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aied/RiversK13" 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: - name: "Erin Walker" link: "https://researchr.org/alias/erin-walker" - name: "Chee-Kit Looi" link: "https://researchr.org/alias/chee-kit-looi" volume: "1009" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "RiversK13" - title: "Model solutions and properties for diagnosing student programs in Ask-Elle" author: - name: "Johan Jeuring" link: "https://researchr.org/alias/johan-jeuring" - name: "L. Thomas van Binsbergen" link: "https://researchr.org/alias/l.-thomas-van-binsbergen" - name: "Alex Gerdes" link: "https://researchr.org/alias/alex-gerdes" - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" year: "2014" doi: "http://doi.acm.org/10.1145/2691352.2691355" links: doi: "http://doi.acm.org/10.1145/2691352.2691355" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cserc/JeuringBGH14" 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: - name: "Erik Barendsen" link: "https://researchr.org/alias/erik-barendsen" - name: "Valentina Dagiene" link: "https://researchr.org/alias/valentina-dagiene" publisher: "ACM" isbn: "978-1-4503-3347-4" kind: "inproceedings" key: "JeuringBGH14" - title: "Game-Themed Programming Assignment Modules: A Pathway for Gradual Integration of Gaming Context Into Existing Introductory Programming Courses" author: - name: "Kelvin Sung" link: "https://researchr.org/alias/kelvin-sung" - name: "Cinnamon Hillyard" link: "https://researchr.org/alias/cinnamon-hillyard" - name: "Robin Lynn Angotti" link: "https://researchr.org/alias/robin-lynn-angotti" - name: "Michael Panitz" link: "https://researchr.org/alias/michael-panitz" - name: "David Goldstein" link: "https://researchr.org/alias/david-goldstein" - name: "John Nordlinger" link: "https://researchr.org/alias/john-nordlinger" year: "2011" doi: "http://dx.doi.org/10.1109/TE.2010.2064315" links: doi: "http://dx.doi.org/10.1109/TE.2010.2064315" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/te/SungHAPGN11" 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" kind: "article" key: "SungHAPGN11" - title: "Automatic Grading of Computer Programs: A Machine Learning Approach" author: - name: "Shashank Srikant" link: "https://researchr.org/alias/shashank-srikant" - name: "Varun Aggarwal" link: "https://researchr.org/alias/varun-aggarwal" year: "2013" doi: "http://dx.doi.org/10.1109/ICMLA.2013.22" links: doi: "http://dx.doi.org/10.1109/ICMLA.2013.22" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icmla/SrikantA13" 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" kind: "inproceedings" key: "SrikantA13" - title: "Ask-Elle: A Haskell Tutor - Demonstration" author: - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" - name: "Alex Gerdes" link: "https://researchr.org/alias/alex-gerdes" - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_42" links: doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_42" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ectel/JeuringGH12" 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: - name: "Andrew Ravenscroft" link: "https://researchr.org/alias/andrew-ravenscroft" - name: "Stefanie N. Lindstaedt" link: "https://researchr.org/alias/stefanie-n.-lindstaedt" - name: "Carlos Delgado Kloos" link: "https://researchr.org/alias/carlos-delgado-kloos" - name: "Davinia Hernández Leo" link: "https://researchr.org/alias/davinia-hern%C3%A1ndez-leo" volume: "7563" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-33262-3" kind: "inproceedings" key: "JeuringGH12" - title: "Corrupted: A Game to Teach Programming Concepts" author: - name: "Brian Chau" link: "https://researchr.org/alias/brian-chau" - name: "Adam Robinson" link: "https://researchr.org/alias/adam-robinson" - name: "Jason Pace" link: "https://researchr.org/alias/jason-pace" - name: "Rob Nash" link: "https://researchr.org/alias/rob-nash" - name: "Kelvin Sung" link: "https://researchr.org/alias/kelvin-sung" year: "2014" doi: "http://dx.doi.org/10.1109/MC.2014.349" links: doi: "http://dx.doi.org/10.1109/MC.2014.349" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/computer/ChauRPNS14" researchr: "https://researchr.org/publication/ChauRPNS14" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "47" number: "12" pages: "100-103" kind: "article" key: "ChauRPNS14" - title: "Strategy-based feedback in a programming tutor" author: - name: "Hieke Keuning" link: "https://researchr.org/alias/hieke-keuning" - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" - name: "Johan Jeuring" link: "https://researchr.org/alias/johan-jeuring" year: "2014" doi: "http://doi.acm.org/10.1145/2691352.2691356" links: doi: "http://doi.acm.org/10.1145/2691352.2691356" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cserc/KeuningHJ14" 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: - name: "Erik Barendsen" link: "https://researchr.org/alias/erik-barendsen" - name: "Valentina Dagiene" link: "https://researchr.org/alias/valentina-dagiene" publisher: "ACM" isbn: "978-1-4503-3347-4" kind: "inproceedings" key: "KeuningHJ14" - title: "Feedback generation for performance problems in introductory programming assignments" author: - name: "Sumit Gulwani" link: "https://researchr.org/alias/sumit-gulwani" - name: "Ivan Radicek" link: "https://researchr.org/alias/ivan-radicek" - name: "Florian Zuleger" link: "https://researchr.org/alias/florian-zuleger" year: "2014" doi: "http://doi.acm.org/10.1145/2635868.2635912" links: doi: "http://doi.acm.org/10.1145/2635868.2635912" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/GulwaniRZ14" 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: - name: "Shing-Chi Cheung" link: "https://researchr.org/alias/shing-chi-cheung" - name: "Alessandro Orso" link: "https://researchr.org/alias/alessandro-orso" - name: "Margaret-Anne D. Storey" link: "https://researchr.org/alias/margaret-anne-d.-storey" publisher: "ACM" isbn: "978-1-4503-3056-5" kind: "inproceedings" key: "GulwaniRZ14" - title: "A Programming Tutor for Haskell" author: - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" - name: "Alex Gerdes" link: "https://researchr.org/alias/alex-gerdes" - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-32096-5_1" links: doi: "http://dx.doi.org/10.1007/978-3-642-32096-5_1" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cefp/JeuringGH11" 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: - name: "Viktória Zsók" link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k" - name: "Zoltán Horváth" link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th" - name: "Rinus Plasmeijer" link: "https://researchr.org/alias/rinus-plasmeijer" volume: "7241" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-32095-8" kind: "inproceedings" key: "JeuringGH11" - title: "Teaching introductory programming with popular board games" author: - name: "Peter Drake" link: "https://researchr.org/alias/peter-drake" - name: "Kelvin Sung" link: "https://researchr.org/alias/kelvin-sung" year: "2011" doi: "http://doi.acm.org/10.1145/1953163.1953338" links: doi: "http://doi.acm.org/10.1145/1953163.1953338" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigcse/DrakeS11" 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: - name: "Thomas J. Cortina" link: "https://researchr.org/alias/thomas-j.-cortina" - name: "Ellen Lowenfeld Walker" link: "https://researchr.org/alias/ellen-lowenfeld-walker" - name: "Laurie A. Smith King" link: "https://researchr.org/alias/laurie-a.-smith-king" - name: "David R. Musicant" link: "https://researchr.org/alias/david-r.-musicant" publisher: "ACM" isbn: "978-1-4503-0500-6" kind: "inproceedings" key: "DrakeS11" - title: "Syntactic and Functional Variability of a Million Code Submissions in a Machine Learning MOOC" author: - name: "Jonathan Huang" link: "https://researchr.org/alias/jonathan-huang" - name: "Chris Piech" link: "https://researchr.org/alias/chris-piech" - name: "Andy Nguyen" link: "https://researchr.org/alias/andy-nguyen" - name: "Leonidas J. Guibas" link: "https://researchr.org/alias/leonidas-j.-guibas" year: "2013" doi: "http://ceur-ws.org/Vol-1009/0105.pdf" links: doi: "http://ceur-ws.org/Vol-1009/0105.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aied/HuangPNG13" 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: - name: "Erin Walker" link: "https://researchr.org/alias/erin-walker" - name: "Chee-Kit Looi" link: "https://researchr.org/alias/chee-kit-looi" volume: "1009" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "inproceedings" key: "HuangPNG13" - title: "An Evaluation of Self-explanation in a Programming Tutor" author: - name: "Amruth N. Kumar" link: "https://researchr.org/alias/amruth-n.-kumar" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-07221-0_30" links: doi: "http://dx.doi.org/10.1007/978-3-319-07221-0_30" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/its/Kumar14" 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: - name: "Stefan Trausan-Matu" link: "https://researchr.org/alias/stefan-trausan-matu" - name: "Kristy Elizabeth Boyer" link: "https://researchr.org/alias/kristy-elizabeth-boyer" - name: "Martha E. Crosby" link: "https://researchr.org/alias/martha-e.-crosby" - name: "Kitty Panourgia" link: "https://researchr.org/alias/kitty-panourgia" volume: "8474" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-07220-3" kind: "inproceedings" key: "Kumar14-5" - title: "Feedback services for stepwise exercises" author: - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" year: "2014" doi: "http://dx.doi.org/10.1016/j.scico.2014.02.021" links: doi: "http://dx.doi.org/10.1016/j.scico.2014.02.021" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/HeerenJ14" researchr: "https://researchr.org/publication/HeerenJ14" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "88" pages: "110-129" kind: "article" key: "HeerenJ14" - title: "OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale" author: - name: "Elena L. Glassman" link: "https://researchr.org/alias/elena-l.-glassman" - name: "Jeremy Scott" link: "https://researchr.org/alias/jeremy-scott" - name: "Rishabh Singh" link: "https://researchr.org/alias/rishabh-singh" - name: "Philip J. Guo" link: "https://researchr.org/alias/philip-j.-guo" - name: "Robert C. Miller" link: "https://researchr.org/alias/robert-c.-miller" year: "2015" doi: "http://doi.acm.org/10.1145/2699751" links: doi: "http://doi.acm.org/10.1145/2699751" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tochi/GlassmanSSGM15" researchr: "https://researchr.org/publication/GlassmanSSGM15" cites: 0 citedby: 0 journal: "ACM Transactions on Computer-Human Interaction" volume: "22" number: "2" kind: "article" key: "GlassmanSSGM15" - title: "Learning while Building Games for Teaching" author: - name: "Fernando Arnez" link: "https://researchr.org/alias/fernando-arnez" - name: "Jason Pace" link: "https://researchr.org/alias/jason-pace" - name: "Kelvin Sung" link: "https://researchr.org/alias/kelvin-sung" year: "2014" doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2014.91" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2014.91" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/computer/ArnezPS14" researchr: "https://researchr.org/publication/ArnezPS14" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "47" number: "4" pages: "88-91" kind: "article" key: "ArnezPS14" - title: "A system to grade computer programming skills using machine learning" author: - name: "Shashank Srikant" link: "https://researchr.org/alias/shashank-srikant" - name: "Varun Aggarwal" link: "https://researchr.org/alias/varun-aggarwal" year: "2014" doi: "http://doi.acm.org/10.1145/2623330.2623377" links: doi: "http://doi.acm.org/10.1145/2623330.2623377" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kdd/SrikantA14" 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: - name: "Sofus A. Macskassy" link: "https://researchr.org/alias/sofus-a.-macskassy" - name: "Claudia Perlich" link: "https://researchr.org/alias/claudia-perlich" - name: "Jure Leskovec" link: "https://researchr.org/alias/jure-leskovec" - name: "Wei Wang 0010" link: "https://researchr.org/alias/wei-wang-0010" - name: "Rayid Ghani" link: "https://researchr.org/alias/rayid-ghani" publisher: "ACM" isbn: "978-1-4503-2956-9" kind: "inproceedings" key: "SrikantA14" - title: "User Interaction Models for Disambiguation in Programming by Example" author: - name: "Mikaël Mayer" link: "https://researchr.org/alias/mika%C3%ABl-mayer" - name: "Gustavo Soares" link: "https://researchr.org/alias/gustavo-soares" - name: "Maxim Grechkin" link: "https://researchr.org/alias/maxim-grechkin" - name: "Vu Le" link: "https://researchr.org/alias/vu-le" - name: "Mark Marron" link: "https://researchr.org/alias/mark-marron" - name: "Oleksandr Polozov" link: "https://researchr.org/alias/oleksandr-polozov" - name: "Rishabh Singh" link: "https://researchr.org/alias/rishabh-singh" - name: "Benjamin G. Zorn" link: "https://researchr.org/alias/benjamin-g.-zorn" - name: "Sumit Gulwani" link: "https://researchr.org/alias/sumit-gulwani" year: "2015" doi: "http://doi.acm.org/10.1145/2807442.2807459" links: doi: "http://doi.acm.org/10.1145/2807442.2807459" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/uist/MayerSGLMPSZG15" 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: - name: "Celine Latulipe" link: "https://researchr.org/alias/celine-latulipe" - name: "Bjoern Hartmann" link: "https://researchr.org/alias/bjoern-hartmann" - name: "Tovi Grossman" link: "https://researchr.org/alias/tovi-grossman" publisher: "ACM" isbn: "978-1-4503-3779-3" kind: "inproceedings" key: "MayerSGLMPSZG15" - title: "Authoring Tutors with SimStudent: An Evaluation of Efficiency and Model Quality" author: - name: "Christopher J. MacLellan" link: "https://researchr.org/alias/christopher-j.-maclellan" - name: "Kenneth R. Koedinger" link: "https://researchr.org/alias/kenneth-r.-koedinger" - name: "Noboru Matsuda" link: "https://researchr.org/alias/noboru-matsuda" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-07221-0_70" links: doi: "http://dx.doi.org/10.1007/978-3-319-07221-0_70" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/its/MacLellanKM14" 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: - name: "Stefan Trausan-Matu" link: "https://researchr.org/alias/stefan-trausan-matu" - name: "Kristy Elizabeth Boyer" link: "https://researchr.org/alias/kristy-elizabeth-boyer" - name: "Martha E. Crosby" link: "https://researchr.org/alias/martha-e.-crosby" - name: "Kitty Panourgia" link: "https://researchr.org/alias/kitty-panourgia" volume: "8474" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-07220-3" kind: "inproceedings" key: "MacLellanKM14" - title: "University students' achievement goals and help-seeking strategies in an intelligent tutoring system" author: - name: "Bram E. Vaessen" link: "https://researchr.org/alias/bram-e.-vaessen" - name: "Frans J. Prins" link: "https://researchr.org/alias/frans-j.-prins" - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" year: "2014" doi: "http://dx.doi.org/10.1016/j.compedu.2013.11.001" links: doi: "http://dx.doi.org/10.1016/j.compedu.2013.11.001" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ce/VaessenPJ14" researchr: "https://researchr.org/publication/VaessenPJ14" cites: 0 citedby: 0 journal: "Computers & Education" volume: "72" pages: "196-208" kind: "article" key: "VaessenPJ14" - title: "Using strategies for assessment of programming exercises" author: - name: "Alex Gerdes" link: "https://researchr.org/alias/alex-gerdes" - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" year: "2010" doi: "http://doi.acm.org/10.1145/1734263.1734412" links: doi: "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: - name: "Gary Lewandowski" link: "https://researchr.org/alias/gary-lewandowski" - name: "Steven A. Wolfman" link: "https://researchr.org/alias/steven-a.-wolfman" - name: "Thomas J. Cortina" link: "https://researchr.org/alias/thomas-j.-cortina" - name: "Ellen Lowenfeld Walker" link: "https://researchr.org/alias/ellen-lowenfeld-walker" publisher: "ACM" isbn: "978-1-4503-0006-3" kind: "inproceedings" key: "GerdesJH10" - title: "An interactive functional programming tutor" author: - name: "Alex Gerdes" link: "https://researchr.org/alias/alex-gerdes" - name: "Johan Jeuring" link: "http://people.cs.uu.nl/johanj/" - name: "Bastiaan Heeren" link: "http://www.open.ou.nl/bhr/" year: "2012" doi: "http://doi.acm.org/10.1145/2325296.2325356" links: doi: "http://doi.acm.org/10.1145/2325296.2325356" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iticse/GerdesJH12" 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: - name: "Tami Lapidot" link: "https://researchr.org/alias/tami-lapidot" - name: "Judith Gal-Ezer" link: "https://researchr.org/alias/judith-gal-ezer" - name: "Michael E. Caspersen" link: "https://researchr.org/alias/michael-e.-caspersen" - name: "Orit Hazzan" link: "https://researchr.org/alias/orit-hazzan" publisher: "ACM" isbn: "978-1-4503-1246-2" kind: "inproceedings" key: "GerdesJH12" - title: "Towards an Interactive Programming Tutor" author: - name: "Paula Roberts" link: "https://researchr.org/alias/paula-roberts" - name: "Alan Mullally" link: "https://researchr.org/alias/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: - name: "Wendy A. Lawrence-Fowler" link: "https://researchr.org/alias/wendy-a.-lawrence-fowler" - name: "Joachim Hasebrook" link: "https://researchr.org/alias/joachim-hasebrook" publisher: "AACE" isbn: "1-880094-46-0" kind: "inproceedings" key: "RobertsM01"