Naomi Spargo

According to our database, Naomi Spargo authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces.

Santiago Cuéllar, Naomi Spargo, Jonathan Daugherty, David Darais

CoRR, October, 2025

The CoCompiler: DSL Lifting via Relational Compilation.

Naomi Spargo, Santiago Cuéllar, Jonathan Daugherty, Chris Phifer, David Darais

CoRR, October, 2025

Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM.

Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2023

A Type System for Safe Intermittent Computing.

Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia

Proc. ACM Program. Lang., 2023