Sat 13 Jan 2018 11:30 - 12:00 at Crocker - Session 1

Every beginning student of programming—that is, every student with the ill fortune of having a language with a static type system foisted upon them by a well-intentioned yet sadistic instructor—is well-acquainted with the Dreaded Type Error Message. Why do type error messages have to be so terrifying? Can’t we do a better job explaining type errors to programmers?

We propose two interrelated theses:

  • We ought to move away from static error “messages” and towards interactive error explanations.
  • We ought to consider the problem of generating error explanations in a more systematic, disciplined, and formal way. Explaining errors to users shouldn’t just be relegated to the status of an “engineering issue”, but ought to have all the tools of programming language theory and practice applied to it.
Abstract (obt18-paper11.pdf)415KiB
Slides (explaining-errors.pdf)429KiB

Sat 13 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
10:30
30m
Talk
Synthesizing Program-Specific Static Analyses
Off the Beaten Track
Colin Gordon Drexel University
File Attached
11:00
30m
Talk
On quantifying the degree of unsoundness of static analyses
Off the Beaten Track
File Attached
11:30
30m
Talk
Explaining Type Errors
Off the Beaten Track
Brent Yorgey Hendrix College, Richard A. Eisenberg Bryn Mawr College, USA, Harley D. Eades III Augusta University
File Attached