Sukyoung Ryu
where else to find them
what they talk about
all 9 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski3 editions2023–2025
- OOPSLA2 editions2024–2025
all 6 in the filters
on a stage with
all 28 in the filters
who talks about the same things
- Dongjun Youn2 talks
- Shriram Krishnamurthi12 talks
- Jeehoon Kang14 talks
- Philippa Gardner17 talks
- Zhendong Su25 talks
- Michael Hicks18 talks
| title | conference | date |
|---|---|---|
| SPLASH Organisers Discussion and AMA | OOPSLA 2025 | 2025-10-16 |
Conversation reports concrete, actionable changes and tradeoffs: SIGPLAN plans a SIGPLAN track for missed presentations across conferences in 2026, review… | ||
| Bridging the Gap between Real-World and Formal Binary Lifting through(…) | OOPSLA 2025 | 2025-10-16 |
Defines correctness as filtered-simulation and formalizes three concrete transformations: control flow graph reconstruction, abstract stack reconstruction, and… | ||
| P4-SpecTec: A Language Mechanization Framework for P4 | HATRA 2025 | 2025-10-14 |
P4-SpecTec defines a computable specification model for P4 using algorithmic inference rules (a constrained Wasm-SpecTec–style meta language), mechanizes… | ||
| Panel: Mechanized Specifications for Real-World Programming Languages | RPLS 2025 | 2025-06-17 |
Panelists contrast concrete outcomes: an K framework built for engineering-first, executable semantics; a call for a usable symbolic executor for P4 that can… | ||
| SpecTec, a Single Source of Truth | RPLS 2025 | 2025-06-17 |
SpecTec defines a single source of truth DSL for WebAssembly semantics that generates LATTE-style formal rules, restructured-markdown prose, an algorithmic… | ||
| Programming Language Research for Technical and Social Good: What PL Can Do for Good? | PLDI 2025 | 2025-06-16 |
Group builds executable, mechanized language specifications and uses them to auto-generate parsers, interpreters, and test suites; JavaScript DSL ESmeta… | ||
| Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks | OOPSLA 2024 | 2024-10-20 |
Builds bytecode instrumentation that record-reduce-replays Wasm executions, uses a shadow memory optimization plus call-state filtering to shrink traces from… | ||
| Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in(…) | PLDI 2024 | 2024-06-24 |
Automatic C-to-Rust pipeline runs a syntactic front end (czrust syntactic pass), then a static analysis based on abstract interpretation that tracks abstract… | ||
| 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… | ||
| Generating Executable Specification from Formal Semantics of WebAssembly | WAW 2024 | 2024-01-15 |
Generates an executable specification pipeline from the Wasm DSL into an algorithmic representation and a meta-level interpreter, producing the prose spec and… | ||
| 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)… | ||
| Semantic Transformation Framework for Rewriting Rules | PEPM 2023 | 2023-01-16 |
Refines Cousot & Cousot by tailoring a semantic transformation framework to rewriting rules and builds a four-part pipeline: matcher/meter, syntactic… | ||
| nothing matches | ||