Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs.

Jaemin Hong Sukyoung Ryu

Published in: ICSE (2023)

Keyphrases

concurrent programs
open source
concurrent programming
database
process algebra
machine learning
programming language
fine grained