Programming Languages

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