Jihyeok Park
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
on a stage with
- Dongjun Younonce
- Hakjoo Ohonce
- Kanguk Leeonce
all 5 in the filters
who talks about the same things
- Sukyoung Ryu12 talks
- Dongjun Youn2 talks
- Hakjoo Oh11 talks
- Minseok Jeon6 talks
- Kihong Heo2 talks
- Dongjae Lee5 talks
| title | conference | date |
|---|---|---|
| Trusted JavaScript Language Environments with ESMeta | RPLS 2025 | 2025-06-17 |
ESMeta extracts a mechanized ECMAScript specification and uses it as an interpreter to automate testing, fuzzing, analysis and partial implementation… | ||
| PL4XGL: A Programming Language Approach to Explainable Graph Learning | PLDI 2024 | 2024-06-24 |
Proposes PL4XGL, a GDL-based classifier that learns models by program synthesis (top-down and bottom-up) and returns the synthesised GDL program as a provably… | ||
| Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations | PLDI 2023 | 2023-06-17 |
Presents a new coverage refinement that distinguishes identical CFG nodes by their innermost language features and by feature-call paths (with k-limiting)… | ||
| nothing matches | ||