Andrea Lattuada

23 papers A* 5A 1B 1Misc 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Destabilizing Iris.
Proc. ACM Program. Lang.
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
2025 J jnl
Tunable Automation in Automated Program Verification.
CoRR
Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada
2025 A* conf
Unlocking True Elasticity for the Cloud-Native Era with Dandelion.
SOSP
Tom Kuchler, Pinghe Li, Yazhuo Zhang, Lazar Cvetkovic, Boris Goranov, Tobias Stocker, Leon Thomm, Simone Kalbermatter, Tim Notter, Andrea Lattuada, Ana Klimovic
2025 J jnl
Unlocking True Elasticity for the Cloud-Native Era with Dandelion.
CoRR
Tom Kuchler, Pinghe Li, Yazhuo Zhang, Lazar Cvetkovic, Boris Goranov, Tobias Stocker, Leon Thomm, Simone Kalbermatter, Tim Notter, Andrea Lattuada, Ana Klimovic
2024 A* conf
Anvil: Verifying Liveness of Cluster Management Controllers.
OSDI
Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, Tej Chajed, Jon Howell, Andrea Lattuada, Oded Padon, Lalith Suresh, Adriana Szekeres, Tianyin Xu
2024 A* conf
Verus: A Practical Foundation for Systems Verification.
SOSP
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
2023 A conf
Beyond isolation: OS verification as a foundation for correct applications.
HotOS
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada
2023 A* conf
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
OSDI
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
2023 J jnl
Verus: Verifying Rust Programs using Linear Ghost Types (extended version).
CoRR
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
2023 J jnl
Verus: Verifying Rust Programs using Linear Ghost Types.
Proc. ACM Program. Lang.
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
2022 J jnl
Linear types for large-scale systems verification.
Proc. ACM Program. Lang.
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
2022 J jnl
Timestamp tokens: a better coordination primitive for data-processing systems.
CoRR
Andrea Lattuada, Frank McSherry
2022 — —
You may not need synchronization (in streaming systems).
Andrea Lattuada
2021 J jnl
Formalization of Timely Dataflow's Progress Tracking Protocol.
Arch. Formal Proofs
Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
2021 B conf
Verified Progress Tracking for Timely Dataflow.
ITP
Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
2020 J jnl
Shared Arrangements: practical inter-query sharing for streaming dataflows.
Proc. VLDB Endow.
Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe
2020 A* conf
Storage Systems are Distributed Systems (So Verify Them That Way!).
OSDI
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
2019 J jnl
Megaphone: Latency-conscious state migration for distributed streaming dataflows.
Proc. VLDB Endow.
Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe
2018 J jnl
K-Pg: Shared State in Differential Dataflows.
CoRR
Frank McSherry, Andrea Lattuada, Malte Schwarzkopf
2018 — conf
Latency-conscious dataflow reconfiguration.
BeyondMR@SIGMOD
Moritz Hoffmann, Frank McSherry, Andrea Lattuada
2018 J jnl
Megaphone: Live state migration for distributed streaming dataflows.
CoRR
Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe
2018 Misc conf
SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows.
NSDI
Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava C. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe
2016 — conf
Faucet: a user-level, modular technique for flow control in dataflow engines.
BeyondMR@SIGMOD
Andrea Lattuada, Frank McSherry, Zaheer Chothia