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

• Conference Paper, 2022
  Linear Types for Large-Scale Systems Verification, Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel

  Proceedings of the ACM on Programming Languages (OOPSLA'22)
• Conference Paper, June 2021
  Verified Progress Tracking for Timely Dataflow [Technical Report], Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
  Interactive Theorem Proving (ITP'21)
• Conference Paper, November 2020
  Storage Systems are Distributed Systems (So Verify Them That Way!), Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
  14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20)
• Conference Paper, September 2020
  Shared Arrangements: practical inter-query sharing for streaming dataflows [Technical report] [Talk video], Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe
  Proceedings of the VLDB Endowment, Volume 13, No. 10 (VLDB 2020)
• Conference Paper, August 2019
  Megaphone: Latency-conscious state migration for distributed streaming dataflows, Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe
  Proceedings of the VLDB Endowment, Volume 12, 2018-2019 (VLDB 2019)
• Workshop Paper, June 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 (BeyondMR'18)
• Conference Paper, April 2018
  SnailTrail: 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 Roscoe
  Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI'18)
• Workshop Paper, June 2016
  [Workshop] Faucet: a user-level, modular technique for flow control in dataflow engines, Andrea Lattuada, Frank McSherry, Zaheer Chotia
  Proceedings 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 McSherry
  SOSP'17 - Poster session
• April 2017
  [Poster] Differential durability: fault-tolerant distributed differential computation, Andrea Lattuada, Vasiliki Kalavri, Moritz Hoffman, Frank McSherry
  Eurosys'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 Roscoe
  Eurosys'17 - Poster session

Activity as a reviewer

• 2021
  ASPLOS '22 − External Review Committee
• 2021
  OSDI '21 − Artifact Evaluation Committee
• 2018
  VLDB Journal − Reviewer

Selected talks

• September, 2020
  Shared Arrangements: practical inter-query sharing for streaming dataflows
  VLDB 2020, Online
• February 3rd, 2019
  Containing the (RDMA) plasma
  FOSDEM - Rust Devroom, Brussels, Belgium
• September 30th, 2017
  A hammer you can only hold by the handle
  RustFest, Zürich, Switzerland
• April 7th, 2017
  Typeclasses — A type system construct
  Scalar conf, Warsaw, Poland
• March 23rd, 2017
  Papers we ❤️  Zürich - Naiad: A timely dataflow system
  Papers we love, Zürich chapter

Teaching assistant

• Spring Semester 2017
  Internet architecture and policy
• Autumn Semester 2017, 2018
  Informatik I (D-BAUG)
• Spring Semester 2018
  Information Retrieval
• Autumn Semester 2019
  Information Retrieval