Utah PLT Blog

Curry Festschrift Book on Internet Archive

2026-07-14

Nice To Meet You: Synthesizing Practical MLIR Abstract Transformers

2025-12-10

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

Chorex: Guaranteeing Deadlock Freedom in Elixir

2024-06-03

Forge: A Tool to Teach Formal Methods

2024-04-21