8 citations · 11 across the 3 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Augur: Predicting View Serializability Violations in Relational Data Store Applications
Chujun Geng, Noah Charlton, Spyros Blanas +2
Data stores are widely used because they provide persistence, scalability, and fault tolerance with a simple interface. However, most data store applications configure the data sto…
cs.PL2026
&inator: Correct, Precise C-to-Rust Interface Translation
Victor Chen, Ayden Coughlin, Michael D. Bond
Automatically translating system software from C to Rust is an appealing but challenging problem, as it requires whole-program reasoning to satisfy Rust's ownership and borrowing d…