Programming Languages

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
2021-08-16 Hello World