Program Analysis¶
Papers on Program Analysis from POPL, PLDI, OOPSLA, ECOOP, and ICFP.
2026¶
- Miri: Practical Undefined Behavior Detection for Rust — POPL 2026
MIR-level interpreter that detects undefined behavior using a formal Rust memory model.
2025¶
-
Gradual Verification with Abstract Interpretation — PLDI 2025
Abstract interpretation framework with gradual checking support. -
Type-Based Heap Abstractions for Object Programs — OOPSLA 2025
Type-based heap partitioning for scalable shape analysis.