Luca Multazzu

According to our database, Luca Multazzu authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

VerIso: Verifiable Isolation Guarantees for Database Transactions (Artifacts).

Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin

Dataset, March, 2025

VerIso: Verifiable Isolation Guarantees for Database Transactions.

Shabnam Ghasemirad, Si Liu, Christoph Sprenger, Luca Multazzu, David A. Basin

Proc. VLDB Endow., January, 2025

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions (Artifacts).

Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin

Dataset, January, 2025

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

Shabnam Ghasemirad, Christoph Sprenger, Si Liu, Luca Multazzu, David A. Basin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

NOC-NOC: Towards Performance-optimal Distributed Transactions.

Si Liu, Luca Multazzu, Hengfeng Wei, David A. Basin

Proc. ACM Manag. Data, February, 2024