Programming Languages

2026-08-09 Program Synthesis from Partial Traces
2026-01-09 Verified CNF Encodings
2026-01-04 Correctness of Compilation
2025-10-10 Formal Foundations for Intermittent Concurrency
2025-05-14 Amortized Analysis as a Cost-Aware Abstraction Function
2025-05-02 Connecting Automatic and Interactive Theorem Proving
2024-11-26 Encoding Cardinality Constraints in Automated Reasoning
2024-08-23 miniCodeProps: a Benchmark for Proving Code Properties
2024-08-06 Mariposa: the Butterfly Effect in SMT-based Program Verification
2024-03-16 Integrating Static and Data-Driven Resource Analyses for Programs
2023-08-03 Verus: A tool for verified systems code in Rust
2023-06-06 The Quantum Physicist's Method of Resource Analysis
2023-02-17 Designing Data Structures for Collaborative Apps