Andrea Lattuada
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SOSP | Unlocking True Elasticity for the Cloud-Native Era with Dandelion. | Tom Kuchler, Pinghe Li, Yazhuo Zhang, Lazar Cvetkovic, Boris Goranov, Tobias Stocker, Leon Thomm, Simone Kalbermatter, Tim Notter, Andrea Lattuada, Ana Klimovic |
| 2024 | OSDI | 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 |
| 2024 | SOSP | 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 |
| 2023 | HotOS | Beyond isolation: OS verification as a foundation for correct applications. | Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada |
| 2023 | OSDI | 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 |
| 2021 | ITP | Verified Progress Tracking for Timely Dataflow. | Matthias Brun, Sra Decova, Andrea Lattuada, Dmitriy Traytel |
| 2020 | OSDI | Storage Systems are Distributed Systems (So Verify Them That Way!). | Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno |
| 2018 | NSDI | 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 |
| 2018 | SIGMOD | Latency-conscious dataflow reconfiguration. | Moritz Hoffmann, Frank McSherry, Andrea Lattuada |
| 2016 | SIGMOD | Faucet: a user-level, modular technique for flow control in dataflow engines. | Andrea Lattuada, Frank McSherry, Zaheer Chothia |