wasp mascot


Washington Advanced Systems for Programming

SEMINAL: Searching for Error Messages in Advanced Languages

Seminal is a compiler-construction project for designing compilers that produce better error messages (particularly during type-checking) while simultaneously making compilers simpler, more reliable, and faster. The key idea is to use a simple and robust type-checker as an oracle for an error-message finder that uses search to find a good error message in the form of a "similar" code skeleton that would type-check.

For more information, see the project's main page.

Papers and Downloads:


Ben Lerner and Dan Grossman