Andrea Lattuada

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 17

Top Topics

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

BeyondMR@SIGMOD

Publications

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Matthias Brun, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada
Beyond isolation: OS verification as a foundation for correct applications. HotOS (2023)
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
Verus: Verifying Rust Programs using Linear Ghost Types (extended version). CoRR (2023)
Dimitrina S. Dimitrova, Vladimir K. Kaishev, Andrea Lattuada, Richard J. Verrall
Geometrically designed variable knot splines in generalized (non-)linear models. Appl. Math. Comput. 436 (2023)
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. OSDI (2023)
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
Linear types for large-scale systems verification. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Andrea Lattuada, Frank McSherry
Timestamp tokens: a better coordination primitive for data-processing systems. CoRR (2022)
Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
Verified Progress Tracking for Timely Dataflow. ITP (2021)
Matthias Brun, Sára Decova, Andrea Lattuada, Dmitriy Traytel
Formalization of Timely Dataflow's Progress Tracking Protocol. Arch. Formal Proofs 2021 (2021)
Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe
Shared Arrangements: practical inter-query sharing for streaming dataflows. Proc. VLDB Endow. 13 (10) (2020)
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Storage Systems are Distributed Systems (So Verify Them That Way!). OSDI (2020)
Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe
Megaphone: Latency-conscious state migration for distributed streaming dataflows. Proc. VLDB Endow. 12 (9) (2019)
Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe
Megaphone: Live state migration for distributed streaming dataflows. CoRR (2018)
Frank McSherry, Andrea Lattuada, Malte Schwarzkopf
K-Pg: Shared State in Differential Dataflows. CoRR (2018)
Moritz Hoffmann, Frank McSherry, Andrea Lattuada
Latency-conscious dataflow reconfiguration. BeyondMR@SIGMOD (2018)
Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava C. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe
SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows. NSDI (2018)
Andrea Lattuada, Frank McSherry, Zaheer Chothia
Faucet: a user-level, modular technique for flow control in dataflow engines. BeyondMR@SIGMOD (2016)