Mon 15 Jun 2015 09:40 - 10:05 at PLDI Main BLUE (Portland 254-255) - Distinguished Papers Chair(s): Steve Blackburn

Type inference engines often give terrible error messages, and the more sophisticated the type system the worse the problem. We show that even with highly expressive type system implemented by the Glasgow Haskell Compiler (GHC)—including type classes, GADTs, and type families— it is possible to identify the most likely source of the type error, rather than the first source that the inference engine trips over. To determine which are the likely error sources, we apply a simple Bayesian model to a graph representa- tion of the typing constraints; the satisfiability or unsatis- fiability of paths within the graph provides evidence for or against possible explanations. While we build on prior work on error diagnosis for simpler type systems, inference in the richer type system of Haskell requires extending the graph with new nodes. The augmentation of the graph cre- ates challenges both for Bayesian reasoning and for ensuring termination. Using a large corpus of Haskell programs, we show that this error localization technique is practical and significantly improves accuracy over the state of the art.

Mon 15 Jun

pldi2015-papers
09:00 - 11:00: Research Papers - Distinguished Papers at PLDI Main BLUE (Portland 254-255)
Chair(s): Steve BlackburnAustralian National University
pldi2015-papers143435160000009:00 - 09:15
Day opening
Steve BlackburnAustralian National University , David GroveIBM Research
pldi2015-papers143435250000009:15 - 09:40
Talk
Pavel PanchekhaUniversity of Washington, Alex Sanchez-SternUniversity of Washington, James R. WilcoxUniversity of Washington, Zachary Tatlock
Media Attached
pldi2015-papers143435400000009:40 - 10:05
Talk
Danfeng ZhangCornell University, Andrew Myers, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge
Media Attached
pldi2015-papers143435550000010:05 - 10:30
Talk
Nuno P. LopesMicrosoft Research, David MenendezRutgers University, Santosh NagarakatteRutgers University, John RegehrUniversity of Utah
Media Attached
pldi2015-papers143435700000010:30 - 10:50
Talk