asai: a Library for Compiler Diagnostics (WITS 2024)

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Kuen-Bang Hou (Favonia), Reed Mullanix

Track

WITS 2024

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 20 Jan 2024 16:00 - 16:30 at Haslett Room - Session 4 Chair(s): Edwin Brady

Abstract

We have been developing reusable components for constructing proof assistants. Our latest tool is asai, an OCaml library that aims to help proof assistant implementers provide good error messages to end users.

Kuen-Bang Hou (Favonia)

University of Minnesota

United States

Reed Mullanix

McMaster University