Andrea Lattuada

According to our database, Andrea Lattuada authored at least 19 papers between 2016 and 2024.

Collaborative distances:

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

2024

Verus: A Practical Foundation for Systems Verification.

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

Anvil: Verifying Liveness of Cluster Management Controllers.

Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

2023

Verus: Verifying Rust Programs using Linear Ghost Types.

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., April, 2023

Verus: Verifying Rust Programs using Linear Ghost Types (extended version).

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

CoRR, 2023

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Beyond isolation: OS verification as a foundation for correct applications.

Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

You may not need synchronization (in streaming systems).

Andrea Lattuada

PhD thesis, 2022

Linear types for large-scale systems verification.

Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., 2022

Timestamp tokens: a better coordination primitive for data-processing systems.

Andrea Lattuada, Frank McSherry

CoRR, 2022

2021

Formalization of Timely Dataflow's Progress Tracking Protocol.

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel

Arch. Formal Proofs, 2021

Verified Progress Tracking for Timely Dataflow.

Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Shared Arrangements: practical inter-query sharing for streaming dataflows.

Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe

Proc. VLDB Endow., 2020

Storage Systems are Distributed Systems (So Verify Them That Way!).

Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Megaphone: Latency-conscious state migration for distributed streaming dataflows.

Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe

Proc. VLDB Endow., 2019

2018

K-Pg: Shared State in Differential Dataflows.

Frank McSherry, Andrea Lattuada, Malte Schwarzkopf

CoRR, 2018

Megaphone: Live state migration for distributed streaming dataflows.

Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe

CoRR, 2018

Latency-conscious dataflow reconfiguration.

Moritz Hoffmann, Frank McSherry, Andrea Lattuada

Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, 2018

SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows.

Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava C. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

2016

Faucet: a user-level, modular technique for flow control in dataflow engines.

Andrea Lattuada, Frank McSherry, Zaheer Chothia

Proceedings of the 3rd ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, 2016