Sehyeok Park
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2025–2026
on a stage with
- Kim Justinonce
- Santosh Nagarakatteonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Correctly Rounded Dot Products under Round-to-Odd | PLDI 2026 Student Research Competition | 2026-06-17 |
Presents an algorithm that produces correctly rounded dot products under round-to-odd by reducing products to a summation via error‑free transformations for… | ||
| Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode | PLDI 2025 | 2025-06-16 |
RLibm generates correctly rounded elementary functions and this work builds two ways to avoid costly rounding-mode switches: round-to-zero emulation replaces… | ||
| nothing matches | ||