2 papers
cs.PL2025
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
Ao Li, Byeongjee Kang, Vasudev Vikram +4
Concurrency bugs are hard to discover and reproduce. Prior work has developed sophisticated algorithms to search for concurrency bugs, such as partial order sampling (POS); however…
cs.PL2025
WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
Byeongjee Kang, Harsh Desai, Limin Jia +1
WebAssembly (Wasm) is a portable bytecode format that serves as a compilation target for high-level languages, enabling their secure and efficient execution across diverse platform…