most citedConcrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…