Dongjun Youn
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2024
on a stage with
- Sukyoung Ryu2×
- Andreas Rossbergonce
- Conrad Wattonce
all 12 in the filters
who talks about the same things
- Sukyoung Ryu12 talks
- Xiaojia Rao3 talks
- Joachim Breitner8 talks
- Jihyeok Park3 talks
- Conrad Watt12 talks
- Philippa Gardner17 talks
| title | conference | date |
|---|---|---|
| Bringing the WebAssembly Standard up to Speed with SpecTec | PLDI 2024 | 2024-06-24 |
SpecTec is a DSL and toolchain that serves as a single source of truth for Wasm semantics, generating typeset spec prose, formal definitions, and a meta-level… | ||
| 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 | ||