Kihong Heo
where else to find them
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
- Bongjun Jangonce
- Dongjae Leeonce
- Jaeseong Kwononce
all 4 in the filters
who talks about the same things
- Dongjae Lee5 talks
- Minki Cho6 talks
- Chung-Kil Hur10 talks
- Sukyoung Ryu12 talks
- Juneyoung Lee5 talks
- Dongjun Youn2 talks
| title | conference | date |
|---|---|---|
| Expecto: Extracting Formal Specifications from Natural Language Description for(…) | PLDI 2026 | 2026-06-15 |
Expecto converts natural language intents into a concise DSL and uses a neuro-symbolic pipeline with GPT-4.1 Mini for synthesis and Z3 for validation, building… | ||
| 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… | ||
| nothing matches | ||