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
  
  论文与出版物项目