Andrea Lattuada (andrea@lattuada.me)
I recently started as a Researcher in the VMware Research Group.
I have recently successfully defended my PhD in the Systems Group, Department of Computer Science at ETH Zürich, advised by Prof. Timothy Roscoe.
My interests span various areas of systems, programming methodology, and software verification. I am currently focusing on fault-tolerance in streaming systems, language-supported enforcement of complex programming contracts, and tools and techniques for practical verification of large-scale systems software.
Publications
-
[to appear] Conference Paper, 2023Sharding 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 Parno17th USENIX Symposium on Operating Systems Design and Implementation (OSDI'23)Conference Paper, 2022 - Distinguished Paper AwardLinear Types for Large-Scale Systems Verification, Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris HawblitzelProceedings of the ACM on Programming Languages (OOPSLA'22)Conference Paper, June 2021Verified Progress Tracking for Timely Dataflow [Technical Report], Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy TraytelInteractive Theorem Proving (ITP'21)Conference Paper, November 2020Storage Systems are Distributed Systems (So Verify Them That Way!), Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20)Conference Paper, September 2020Shared Arrangements: practical inter-query sharing for streaming dataflows [Technical report] [Talk video], Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy RoscoeProceedings of the VLDB Endowment, Volume 13, No. 10 (VLDB 2020)Conference Paper, August 2019Megaphone: Latency-conscious state migration for distributed streaming dataflows, Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy RoscoeProceedings of the VLDB Endowment, Volume 12, 2018-2019 (VLDB 2019)Workshop Paper, June 2018Latency-conscious dataflow reconfiguration, Moritz Hoffmann, Frank McSherry, Andrea LattuadaProceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'18)Conference Paper, April 2018SnailTrail: Generalizing critical paths for online analysis of distributed dataflows [Technical report], Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy RoscoeProceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI'18)Workshop Paper, June 2016Faucet: a user-level, modular technique for flow control in dataflow engines, Andrea Lattuada, Frank McSherry, Zaheer ChotiaProceedings of the 3rd ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16)
-
October 2017[Poster] No-sync: coordination-free fault-tolerance in streaming, Andrea Lattuada, Vasiliki Kalavri, Moritz Hoffmann, Frank McSherrySOSP'17 - Poster session
-
April 2017[Poster] Differential durability: fault-tolerant distributed differential computation, Andrea Lattuada, Vasiliki Kalavri, Moritz Hoffman, Frank McSherryEurosys'17 - Poster session
-
April 2017[Poster] SnailTrail: Online Bottleneck Detection for your Dataflow, R. Sager, John Liagouris, Desislava Dimitrova, Andrea Lattuada, Vasiliki Kalavri, Zaheer Chothia, Moritz Hoffmann, Timothy RoscoeEurosys'17 - Poster session
Activity as a reviewer
-
2021ASPLOS '22 − External Review Committee
-
2021OSDI '21 − Artifact Evaluation Committee
-
2018VLDB Journal − Reviewer
Selected talks
-
September, 2020VLDB 2020, Online
-
February 3rd, 2019FOSDEM - Rust Devroom, Brussels, Belgium
-
September 30th, 2017RustFest, Zürich, Switzerland
-
April 7th, 2017Typeclasses — A type system constructScalar conf, Warsaw, Poland
-
March 23rd, 2017Papers we love, Zürich chapter
Teaching assistant
-
Spring Semester 2017
-
Autumn Semester 2017, 2018
-
Spring Semester 2018
-
Autumn Semester 2019
The design and implementation of a lock-free ring-buffer with contiguous reservations
03 June 2019This is the story of how James Munns and I designed and implemented (two versions!) of an high-perf lock-free ring-buffer for cross-thread communication. If any of those words look scary to you, don't fret, we'll explain everything from the basics.Continue readingA hammer you can only hold by the handle
05 November 2018Today we're looking at the rust borrow checker from a different perspective. As you may know, the borrow checker is designed to safely handle memory allocation and ownership, preventing accessess to invalid memory and ensuring data-race freedom. This is a form of resource management: the borrow checker is tracking who's in charge of a chunk of memory, and who is currently allowed to read or write to it. In this post, we'll see how these facilities can be used to enforce higher-level API constraints in your libraries and software. Once you're familiar with these techniques, we'll cover how the same principles apply to advanced memory management and handling of other more abstract resources.Continue reading