Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Fri 27 Oct 2017 14:15 - 14:37 at Regency A - Usability and Deadlock Chair(s): Jonathan Aldrich

Providing better supports for debugging type errors has been an active research area in the last three decades. Numerous approaches from different perspectives have been developed. Most approaches work well under certain conditions only, for example, when type errors are caused by single leaves and when type annotations are correct. However, the research community is still unaware which conditions hold in practice and what the real debugging situations look like. We address this problem with a study of 4 program datasets, which were written in different years, using different languages, by students with different backgrounds, and were of diverse sizes. They include more than 60,000 programs, among which more than 3,900 are ill typed. We investigated all the ill-typed programs, and our results indicate that current error debugging support is far from sufficient in practice since only about 30% of all type errors were caused by single leaves. Our study also provides many insights about the debugging behaviors of students in functional programming, which could be exploited for developing more effective error debuggers.

Fri 27 Oct

splash-2017-OOPSLA
13:30 - 15:00: OOPSLA - Usability and Deadlock at Regency A
Chair(s): Jonathan AldrichCarnegie Mellon University
splash-2017-OOPSLA150910380000013:30 - 13:52
Talk
Tiago CogumbreiroRice University, Rishi SurendranRice University, USA, Francisco MartinsLaSIGE, University of Lisbon, Vivek SarkarRice University, USA, Vasco T. VasconcelosUniversity of Lisbon, Portugal, Max GrossmanRice University, USA
DOI
splash-2017-OOPSLA150910515000013:52 - 14:15
Talk
Andrew RiceUniversity of Cambridge, UK, Edward AftandilianGoogle, Ciera JaspanGoogle, Emily JohnstonGoogle, Michael PradelTU Darmstadt, Yulissa Arroyo-ParedesColumbia University, USA
DOI
splash-2017-OOPSLA150910650000014:15 - 14:37
Talk
Baijun WuUniversity of Louisiana at Lafayette, USA, Sheng ChenULL Lafayette
DOI
splash-2017-OOPSLA150910785000014:37 - 15:00
Talk
Baijun WuUniversity of Louisiana at Lafayette, USA, John Peter CamporaULL Lafayette, Sheng ChenULL Lafayette
DOI