VerIso: Verifiable Isolation Guarantees for Database Transactions

Authors: Ghasemirad, Shabnam, Liu, Si, Sprenger, Christoph, Multazzu, Luca, Basin, David

Subject Terms: Computer Science - Databases, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2503.06284

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions

Authors: Ghasemirad, Shabnam, Sprenger, Christoph, Liu, Si, Multazzu, Luca, Basin, David

Subject Terms: Computer Science - Databases, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2411.07049

Efficient and Sound Differentiable Programming in a Functional Array-Processing Language

Authors: Shaikhha, Amir, Huot, Mathieu, Ghasemirad, Shabnam, Fitzgibbon, Andrew, Jones, Simon Peyton, Vytiniotis, Dimitrios

Subject Terms: Computer Science - Programming Languages, Computer Science - Machine Learning, Computer Science - Mathematical Software

Access URL: http://arxiv.org/abs/2212.10307