research
∙
10/17/2022
Holbert: Reading, Writing, Proving and Learning in the Browser
This paper presents Holbert: a work-in-progress pedagogical proof assist...
share
research
∙
05/19/2022
Primrose: Selecting Container Data Types by their Properties
Container data types are ubiquitous in computer programming, enabling de...
research
∙
03/22/2022
Quickstrom: Property Based Acceptance Testing with LTL Specifications
We present Quickstrom, a property-based testing system for acceptance te...
research
∙
12/11/2021
Overcoming Restraint: Composing Verification of Foreign Functions with Cogent
Cogent is a restricted functional language designed to reduce the cost o...
research
∙
02/19/2021