A trace-based framework for analyzing and synthesizing educational progressions

Conference on Human Factors in Computing Systems - Proceedings

Volumn , Issue , 2013, Pages 773-782

  Andersen, Erik ^a   Gulwani, Sumit ^b   Popović, Zoran ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Education; Execution traces; Games; Problem generation

Indexed keywords

BASELINE METHODS; ELEMENTARY AND MIDDLE SCHOOLS; EXECUTION TRACE; GAMES; PARTIAL ORDERING; PROBLEM GENERATION; TRACE-BASED FRAMEWORK; USER EVALUATIONS;

EDUCATION; HUMAN COMPUTER INTERACTION; HUMAN ENGINEERING; SOFTWARE ENGINEERING;

TRACE ANALYSIS;

EID: 84877938946     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2470654.2470764     Document Type: Conference Paper

References (35)

1. N. Aduba. JUMP Mathematics in Lambeth: Impact on KS2 National Tests 2009. http://jumpmath1.org/research-reports, Nov. 2009.
2. V. Aleven, B. M. McLaren, J. Sewall, and K. R. Koedinger. The cognitive tutor authoring tools (CTAT): preliminary evaluation of efficiency gains. In Proceedings of the 8th international conference on Intelligent Tutoring Systems, ITS'06, pages 61-70, Berlin, Heidelberg, 2006. Springer-Verlag.
3. E. Andersen, Y.-E. Liu, R. Snider, R. Szeto, S. Cooper, and Z. Popović. On the harmfulness of secondary game objectives. In FDG '11: Proceedings of the Sixth International Conference on the Foundations of Digital Games, New York, NY, USA, 2011. ACM.
4. E. Andersen, Y.-E. Liu, R. Snider, R. Szeto, and Z. Popović. Placing a value on aesthetics in online casual games. In CHI '11: Proceedings of the SIGCHI conference on Human factors in computing systems, New York, NY, USA, 2011. ACM.
5. E. Andersen, E. O'Rourke, Y.-E. Liu, R. Snider, J. Lowdermilk, D. Truong, S. Cooper, and Z. Popović. The impact of tutorials on games of varying complexity. In CHI '12: Proceedings of the SIGCHI conference on Human factors in computing systems, New York, NY, USA, 2012. ACM.
6. P. Cerny, S. Gulwani, T. Henzinger, A. Radhakrishna, and D. Zufferey. Specification, verification and synthesis for automata problems. Technical report, 2012.
7. M. Csikszentmihalyi. Flow: The Psychology of Optimal Experience. Harper & Row Publishers, Inc., New York, NY, USA, 1990.
8. L. M. de Moura and N. Bjørner. Z3: An Efficient SMT Solver. In TACAS, pages 337-340, 2008.
9. T. Dong, M. Dontcheva, D. Joseph, K. Karahalios, M. Newman, and M. Ackerman. Discovery-based games for learning software. In Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems, CHI '12, pages 2083-2086, New York, NY, USA, 2012. ACM.
10. J. Dormans. Adventures in level design: generating missions and spaces for action adventure games. In PCGames '10: Proceedings of the 2010 Workshop on Procedural Content Generation in Games, pages 1-8, New York, NY, USA, 2010. ACM.
11. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In PLDI, pages 213-223, 2005.
12. F. Grabler, M. Agrawala, W. Li, M. Dontcheva, and T. Igarashi. Generating photo manipulation tutorials by demonstration. In ACM SIGGRAPH 2009, New York, NY, USA, 2009. ACM.
13. T. Grossman, G. Fitzmaurice, and R. Attar. A survey of software learnability: Metrics, methodologies and guidelines. In CHI '09: Proceedings of the 27th international conference on Human factors in computing systems, New York, NY, USA, 2009. ACM.
14. S. Gulwani. Synthesis from examples. WAMBSE (Workshop on Advances in Model-Based Software Engineering) Special Issue, Infosys Labs Briefings, 10(2), 2012. Invited talk paper.
15. S. Gulwani. Synthesis from examples: Interaction models and algorithms. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012. Invited talk paper.
16. S. Gulwani, V. A. Korthikanti, and A. Tiwari. Synthesizing geometry constructions. In PLDI, pages 50-61, 2011.
17. N. Jurkovic. Diagnosing and correcting student's misconceptions in an educational computer algebra system. In ISSAC, pages 195-200, 2001.
18. N. Li, W. W. Cohen, and K. R. Koedinger. Problem order implications for learning transfer. In ITS, pages 185-194, 2012.
19. C. Linehan, B. Kirman, S. Lawson, and G. Chan. Practical, appropriate, empirically-validated guidelines for designing educational games. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '11, pages 1979-1988, New York, NY, USA, 2011. ACM.
20. J. Liu. Dragonbox: Algebra beats angry birds. Wired, June 2012.
21. D. McArthur, C. Stasz, J. Hotta, O. Peter, and C. Burdorf. Skill-oriented task sequencing in an intelligent tutor for basic algebra. Instructional Science, 7(4):281-307, 1988.
22. Microsoft. Math Worksheet Generator. http://www.educationlabs.com/ projects/MathWorksheetGenerator/Pages/default.aspx.
23. J. Nielsen. Usability Engineering. Morgan Kaufmann, San Francisco, CA, USA, 1993.
24. C. M. Reigeluth and F. S. Stein. The elaboration theory of instruction. In Instructional Design Theories and Models: An Overview of their Current States, Hillsdale, NJ, 1983. Lawrence Erlbaum.
25. J. Rieman. A field study of exploratory learning strategies. ACM Trans. Comput.-Hum. Interact., 3(3):189-218, Sept. 1996.
26. B. Shneiderman. Designing the User Interface: Strategies for Effective Human-Computer Interaction. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986.
27. R. Singh, S. Gulwani, and S. Rajamani. Automatically generating algebra problems. In AAAI, 2012.
28. D. H. Sleeman. A rule-based task generation system. In Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2, IJCAI'81, pages 882-887, San Francisco, CA, USA, 1981. Morgan Kaufmann Publishers Inc.
29. A. M. Smith, E. Andersen, M. Mateas, and Z. Popović. A case study of expressively constrainable level design automation tools for a puzzle game. In FDG '12: Proceedings of the Seventh International Conference on the Foundations of Digital Games, New York, NY, USA, 2012. ACM.
30. G. Smith, M. Treanor, J. Whitehead, and M. Mateas. Rhythm-based level generation for 2D platformers. In Proceedings of the 4th International Conference on Foundations of Digital Games, FDG '09, pages 175-182, New York, NY, USA, 2009. ACM.
31. N. Tillmann and J. de Halleux. Pex-white box test generation for .NET. In TAP, pages 134-153, 2008.
32. K. VanLehn. Mind Bugs: The Origins of Procedural Misconceptions. MIT Press, Cambridge, MA, USA, 1991.
33. L. S. Vygotsky. Mind in Society: The Development of Higher Psychological Processes. Harvard University Press, November 1980 / 1930.
34. Wikipedia. Code coverage. http://en.wikipedia.org/wiki/Code-coverage.
35. Wikipedia. N-gram models. http://en.wikipedia.org/wiki/N-gram.