BEGIN:VCALENDAR
METHOD:PUBLISH
VERSION:2.0
PRODID:-//Cornell U. Department of Computer Science//Brown Bag Seminar//EN
BEGIN:VEVENT
SUMMARY:Brown bag: Andrew Myers
DESCRIPTION:Title: A general way to diagnose type errors in expressive
	 type systems\nSpeaker: Andrew Myers\nAbstract: Rich type systems promise
	 to improve software reliability and security.  But type checkers often
	 give terrible error messages\, and the more sophisticated the type
	 system\, the worse the problem.  We show that in a variety of
	 languages\, including the highly expressive type system implemented by
	 the Glasgow Haskell Compiler (GHC)--with 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 type inference trips
	 over.  To determine the likely error sources\, we apply a simple
	 Bayesian model to a graph representation of the typing constraints; the
	 satisfiability or unsatisfiability of paths within the graph provides
	 evidence for or against possible explanations.  Using a large corpus of
	 Jif\, OCaml\, and Haskell programs\, we show that this error
	 localization technique is general and practical and significantly
	 improves accuracy over the state of the art.
LOCATION:Gates 122
UID:2016-05-03
STATUS:CONFIRMED
DTSTART:20160503T160000Z
DTEND:20160503T170000Z
LAST-MODIFIED:20160430T042949Z
ORGANIZER;CN=Jonathan Shi:http://www.cs.cornell.edu/~jshi/brownbag/
DTSTAMP:20260408T131755Z
END:VEVENT
END:VCALENDAR