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.

---