Efficient and Sound Differentiable Programming in a Functional Array-Processing Language. - Amir Shaikhha; Mathieu Huot; Shabnam Ghasemirad; Andrew W. Fitzgibbon; Simon Peyton Jones; Dimitrios Vytiniotis (CoRR, 2022)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions. - Shabnam Ghasemirad; Christoph Sprenger 001; Si Liu 003; Luca Multazzu; David A. Basin (TACAS (3), 2025)

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions (Artifacts). - Shabnam Ghasemirad; Christoph Sprenger 001; Si Liu 003; Luca Multazzu; David A. Basin (Zenodo, 2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions. - Shabnam Ghasemirad; Si Liu 003; Christoph Sprenger 001; Luca Multazzu; David A. Basin (Proc. VLDB Endow., 2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions (Artifacts). - Shabnam Ghasemirad; Si Liu 003; Christoph Sprenger 001; Luca Multazzu; David A. Basin (Zenodo, 2025)