Byeongjee Kang
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Ao Lionce
- Brandon Luciaonce
- Harsh Desaionce
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM | OOPSLA 2025 | 2025-10-16 |
Fray is a JVM concurrency testing platform that orchestrates thread interleavings without replacing primitives using shadow locking, enabling deterministic… | ||
| An MLIR Dialect for WebAssembly | WAW 2025 | 2025-01-20 |
Describes an implemented MLIR WebAssembly dialect and a compiler pipeline that skips the LLVM backend by lowering higher-level MLIR dialects (e.g., scf… | ||
| Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search | FTSCS 2022 | 2022-12-07 |
Proposes a narrowing-based reachability method guided by a heuristic scoring function (G for path cost plus H for error likelihood) that targets… | ||
| nothing matches | ||