CSD PhD Blog
Home
Areas
Tags
RSS
CSD
CSD PhD Blog
Home
Areas
Tags
RSS
CSD
Programming Languages
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