1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 1 cited
Wasm SpecTec: Engineering a Formal Language Standard
Joachim Breitner, Philippa Gardner, Jaehyun Lee +8
WebAssembly (Wasm) is a low-level bytecode language and virtual machine, intended as a compilation target for a wide range of programming languages, which is seeing increasing adop…
cs.SE2023★ 1 cited
Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Jaemin Hong, Sukyoung Ryu
Concurrent programs suffer from data races. To prevent data races, programmers use locks. However, programs can eliminate data races only when they acquire and release correct lock…