ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs.
Felix SuchertLisza ZeidlerJerónimo CastrillónSebastian ErtelPublished in: ECOOP (2023)
Keyphrases
- object oriented languages
- concurrent programming
- concurrency control
- sufficient conditions
- turing machine
- case study
- database systems
- automatic programming
- high level programming languages
- data sets
- database languages
- java programs
- nested transactions
- memory efficient
- web scale
- programming environment
- fine grained
- lightweight
- programming language
- software engineering