AI for Programming Education

출판물

자료 보기:

- Evaluating Feedback Tools in Introductory Programming Classes
  
  Ruan Reis, Gustavo Soares, Melina Mongiovi, Wilkerson L. Andrade
  
  Frontiers in Education Conference (FIE) | August 2019
  
  Publication
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  출판 출판 프로젝트
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  출판 프로젝트
- TraceDiff: Debugging unexpected code behavior using trace divergences
  
  Ryo Suzuki, Gustavo Soares, Andrew Head, Elena Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Björn Hartmann
  
  VL/HCC | August 2017
  
  Publication
- Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis
  
  Andrew Head, Elena Glassman, Gustavo Soares, Ryo Suzuki, Lucas Figueredo, Loris D'Antoni, Bjoern Hartmann
  
  Learning at Scale (L@S) | August 2017
  
  Publication
- Learning Syntactic Program Transformations from Examples
  
  Reudismam Rolim, Gustavo Soares, Loris D’Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
  
  ICSE 2017 | April 2017
  
  출판 프로젝트
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) – Special Issue on Online Learning at Scale | April 2015, 제 22 권(2)
  
  출판 출판
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  출판 출판
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE’14, November 16 – 22 2014, Hong Kong, China | November 2014
  
  출판 출판
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  GECCO’14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
  
  출판 출판 출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트
- Teaching and Learning Programming and Software Engineering via Interactive Gaming
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
  
  ICSE ’13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  ISBN: 978-1-4673-3076-3
  
  출판
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  MSR-TR-2013-50 | May 2013
  
  출판 프로젝트
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  출판 출판 프로젝트 프로젝트

- Evaluating Feedback Tools in Introductory Programming Classes
  
  Ruan Reis, Gustavo Soares, Melina Mongiovi, Wilkerson L. Andrade
  
  Frontiers in Education Conference (FIE) | August 2019
  
  Publication
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  출판 출판 프로젝트
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  출판 프로젝트
- TraceDiff: Debugging unexpected code behavior using trace divergences
  
  Ryo Suzuki, Gustavo Soares, Andrew Head, Elena Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Björn Hartmann
  
  VL/HCC | August 2017
  
  Publication
- Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis
  
  Andrew Head, Elena Glassman, Gustavo Soares, Ryo Suzuki, Lucas Figueredo, Loris D'Antoni, Bjoern Hartmann
  
  Learning at Scale (L@S) | August 2017
  
  Publication
- Learning Syntactic Program Transformations from Examples
  
  Reudismam Rolim, Gustavo Soares, Loris D’Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
  
  ICSE 2017 | April 2017
  
  출판 프로젝트
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) – Special Issue on Online Learning at Scale | April 2015, 제 22 권(2)
  
  출판 출판
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  출판 출판
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  GECCO’14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
  
  출판 출판 출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트
- Teaching and Learning Programming and Software Engineering via Interactive Gaming
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
  
  ICSE ’13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  ISBN: 978-1-4673-3076-3
  
  출판
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  출판 출판 프로젝트
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  출판 프로젝트
- Learning Syntactic Program Transformations from Examples
  
  Reudismam Rolim, Gustavo Soares, Loris D’Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
  
  ICSE 2017 | April 2017
  
  출판 프로젝트
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE’14, November 16 – 22 2014, Hong Kong, China | November 2014
  
  출판 출판
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  출판 프로젝트
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE’14, November 16 – 22 2014, Hong Kong, China | November 2014
  
  출판 출판
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  출판 출판 프로젝트 프로젝트
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) – Special Issue on Online Learning at Scale | April 2015, 제 22 권(2)
  
  출판 출판
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  출판 출판 프로젝트 프로젝트
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  MSR-TR-2013-50 | May 2013
  
  출판 프로젝트

- Evaluating Feedback Tools in Introductory Programming Classes
  
  Ruan Reis, Gustavo Soares, Melina Mongiovi, Wilkerson L. Andrade
  
  Frontiers in Education Conference (FIE) | August 2019
  
  Publication
- Automated Clustering and Program Repair for Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radicek, Florian Zuleger
  
  PLDI | May 2018
  
  출판 프로젝트
- Compilation Error Repair: For the Student Programs, From the Student Programs
  
  Umair Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar, Sumit Gulwani
  
  40th International Conference on Software Engineering (ICSE), Software Engineering Education and Training Track | February 2018
  
  출판 출판 프로젝트
- Automatic Diagnosis of Students’ Misconceptions in K-8 Mathematics
  
  Molly Q Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen
  
  2018 ACM Conference on Human Factors in Computing Systems (CHI) | January 2018
  
  출판 프로젝트
- TraceDiff: Debugging unexpected code behavior using trace divergences
  
  Ryo Suzuki, Gustavo Soares, Andrew Head, Elena Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Björn Hartmann
  
  VL/HCC | August 2017
  
  Publication
- Writing Reusable Code Feedback at Scale with Mixed-Initiative Program Synthesis
  
  Andrew Head, Elena Glassman, Gustavo Soares, Ryo Suzuki, Lucas Figueredo, Loris D'Antoni, Bjoern Hartmann
  
  Learning at Scale (L@S) | August 2017
  
  Publication
- Learning Syntactic Program Transformations from Examples
  
  Reudismam Rolim, Gustavo Soares, Loris D’Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
  
  ICSE 2017 | April 2017
  
  출판 프로젝트
- Applications of Formal Methods to Data Wrangling and Education
  
  Sumit Gulwani
  
  Keynote at CBSoft 2015 | January 2015
  
  출판 출판
- Feedback Generation for Performance Problems in Introductory Programming Assignments
  
  Sumit Gulwani, Ivan Radiček, Florian Zuleger
  
  SIGSOFT/FSE’14, November 16 – 22 2014, Hong Kong, China | November 2014
  
  출판 출판
- Applications of Program Synthesis to End-User Programming and Intelligent Tutoring Systems
  
  Sumit Gulwani
  
  GECCO’14, July 12-16, 2014, Vancouver, BC, Canada | July 2014
  
  출판 출판 출판 프로젝트
- Automated Feedback Generation for Introductory Programming Assignments
  
  Sumit Gulwani, Rishabh Singh
  
  ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2013) | July 2013
  
  출판 출판 출판 출판 프로젝트
- Teaching and Learning Programming and Software Engineering via Interactive Gaming
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
  
  ICSE ’13 Proceedings of the 2013 International Conference on Software Engineering | May 2013
  
  ISBN: 978-1-4673-3076-3
  
  출판
- A Trace-based Framework for Analyzing and Synthesizing Educational Progressions
  
  Sumit Gulwani, Erik Andersen, Zoran Popović
  
  CHI 2013, April 27-May 2, 2013, Paris, France | April 2013
  
  출판 출판 프로젝트 프로젝트
- How Can Automatic Feedback Help Students Construct Automata?
  
  Loris D’Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann
  
  ACM Transactions on Computer-Human Interaction (TOCHI) – Special Issue on Online Learning at Scale | April 2015, 제 22 권(2)
  
  출판 출판
- Example-Based Learning in Computer-Aided STEM Education
  
  Sumit Gulwani
  
  MSR-TR-2013-50 | May 2013
  
  출판 프로젝트