Utah PLT Blog

Lightweight Diagramming for Lightweight Formal Methods

2025-06-09

Toward a Corpus Study of the Dynamic Gradual Type

2024-12-02

Forge Has Got My Goat

2024-10-17

LTL Tutor

2024-08-08

Evolving Languages Faster with Type Tailoring

2024-07-26

Misconceptions In Finite-Trace and Infinite-Trace Linear Temporal Logic

2024-07-07

Forge: A Tool to Teach Formal Methods

2024-04-21

Privacy-Respecting Type Error Telemetry at Scale

2024-02-02

Conceptual Mutation Testing

2023-10-31

Generating Programs Trivially: Student Use of Large Language Models

2023-09-19