PLDI 2026 Student Research Competition
2026-06-17..2026-06-19
Boulder, United States
[PLDI 2020, PLDI 2022, PLDI 2023, PLDI 2024, PLDI 2024 Workshop Honoring Andreas Podelski, PLDI 2025, PLDI 2026, PLDI 2026 Student Research Competition]
who it's for
programming languages researchers, compiler engineers, probabilistic programming researchers, Python developers, embedded systems engineers, numerical computing researchers, program analysis researchers, systems researchers
topics
resource decomposition for AARA; ghost recursion-depth parameters; probabilistic programming via MLIR; sample-invariant code motion; function-level incremental execution for Python; event-log instrumentation and persistent cache; typestate plus AARA energy analysis; symbolic worst-case energy bounds; correctly rounded dot products under round-to-odd; error-free transformations for multiplication; SPIRAL-style semantics lifting for FFTs
| title | author | length |
|---|---|---|
| Implementing Hybrid Resource Analysis in Resource Aware ML | Arnav Sabharwal | 12m |
Implements automated resource decomposition inside RaML 2 to combine sound static AARA bounds with data‑driven estimates of recursion depth, adding ghost… | ||
| Impulse: Momentously Fast, General, and Portable Probabilistic Programming via(…) | Siyuan Brant Qian | 11m |
A compiler-augmented probabilistic programming system called Impulse preserves probabilistic semantics in MLIR and applies a new pass Sample-Invariant Code… | ||
| Pync: Function-Level Incremental Execution for Python Scripts | Bolun Thompson | 11m |
Pync incrementally executes Python scripts at the function-level incremental execution granularity by source-to-source instrumenting code to emit an event-log… | ||
| Automatic Energy Analysis Using Types | Sai Divvela | 12m |
Claims a new type system called Heliot that encodes peripheral state machines as types and combines that with typestate + AARA to produce symbolic energy… | ||
| Correctly Rounded Dot Products under Round-to-Odd | Sehyeok Park | 10m |
Presents an algorithm that produces correctly rounded dot products under round-to-odd by reducing products to a summation via error‑free transformations for… | ||
| Semantics Lifting for Scientific Kernels | Naifeng Zhang | 11m |
Claims an automated pipeline that recovers mathematical specification from C kernels by reversing SPIRAL’s codegen passes, using clang to AST, reparsing to… | ||
| nothing matches | ||