Juneyoung Lee
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2026
on a stage with
- Bongjun Jangonce
- George Mitenkovonce
- Hyeongyu Kimonce
all 13 in the filters
who talks about the same things
- John Regehr13 talks
- Nuno P. Lopes5 talks
- Ofek Shilon7 talks
- Chung-Kil Hur10 talks
- Sukyoung Ryu12 talks
- Jeehoon Kang14 talks
| title | conference | date |
|---|---|---|
| Towards Removing Undef Values from LLVM IR | PLDI 2026 | 2026-06-15 |
LLVM adds a new byte type and a freezing load that let uninitialized memory become poison instead of undef, fixing raw-copy and bitfield miscompilations… | ||
| Optimization-Directed Compiler Fuzzing for Continuous Translation Validation | PLDI 2025 | 2025-06-16 |
Optimuzz combines directed grey-box fuzzing with translation validation to find miscompilations; it targets optimization trigger locations, slices optimizer… | ||
| HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption | PLDI 2023 | 2023-06-17 |
A compiler that lowers ring HE programs into CPU machine code and two custom IRs Poly and ModArith IRs perform cross‑polynomial optimizations: optimized… | ||
| Reconciling High-level Optimizations and Low-level Code in LLVM | OOPSLA 2018 | 2018-11-07 |
Defines a formal LLVM-IR memory model that uses full provenance and twin allocation to reconcile aggressive high-level memory optimizations with real low-level… | ||
| nothing matches | ||