Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring

no code implementations • 9 Mar 2021 • Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Serializability is a well-understood concurrency control mechanism that eases reasoning about highly-concurrent database programs.

Programming Languages

Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats

no code implementations • 13 Mar 2018 • Benjamin Delaware, Sorawit Suriyakarn, Clément Pit--Claudel, Qianchuan Ye, Adam Chlipala

It is a neat result from functional programming that libraries of parser combinators can support rapid construction of decoders for quite a range of formats.

Programming Languages