Get started
Author

Andrea Lattuada

Observed name: Lattuada, Andrea
ORCID: 0000-0002-9303-452X
Observed ORCID: 0000-0002-9303-452X
OpenAlex ID: A5013888261
Verus: Verifying Rust Programs using Linear Ghost Types
2023 · Andrea Lattuada, Travis Hance, et al. · Proceedings of the ACM on Programming Languages · 179
PDF
Verus: A Practical Foundation for Systems Verification
2024 · Andrea Lattuada, Travis Hance, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · 73
Megaphone: latency-conscious state migration for distributed streaming dataflows
2019 · Moritz Hoffmann, Andrea Lattuada, et al. · Proceedings of the VLDB Endowment · 62
PDF
Linear types for large-scale systems verification
2022 · Jialin Li, Andrea Lattuada, et al. · Proceedings of the ACM on Programming Languages · 20
PDF
Shared arrangements: practical inter-query sharing for streaming dataflows
2020 · Frank McSherry, Andrea Lattuada, et al. · Proceedings of the VLDB Endowment · 20
PDF
SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows
2018 · Hoffmann, Moritz, Lattuada, Andrea, et al. · Repository for Publications and Research Data (ETH Zurich) · 17
PDF
Destabilizing Iris
2025 · Simon Spies, Niklas Mück, et al. · Proceedings of the ACM on Programming Languages · 11
PDF
Unlocking True Elasticity for the Cloud-Native Era with Dandelion
2025 · Tom Kuchler, Pinghe Li, et al. · ACM SIGOPS Symposium on Operating Systems Principles (SOSP) · 9
Faucet: a user-level, modular technique for flow control in dataflow engines
2016 · Andrea Lattuada, Frank McSherry, et al. · ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR) · 8
Beyond isolation: OS verification as a foundation for correct applications
2023 · Matthias Brun, Reto Achermann, et al. · Workshop on Hot Topics in Operating Systems · 7
PDF
K-Pg: Shared State in Differential Dataflows.
2018 · Frank McSherry, Andrea Lattuada, et al. · arXiv (Cornell University) · 2
Latency-conscious dataflow reconfiguration
2018 · Moritz Hoffmann, Frank McSherry, et al. · ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR) · 2
Verified Progress Tracking for Timely Dataflow
2021 · Brun, Matthias, Decova, Sára, et al. · Research at the University of Copenhagen (University of Copenhagen) · 1
anvil-verifier/anvil: SOSP'26 Artifact Evaluation
2026 · Xudong Sun, Catoverflow, et al. · Zenodo (CERN European Organization for Nuclear Research)
Artifact for Paper: Tunable Automation in Automated Program Verification
2026 · Bai, Alexander, Hawblitzel, Chris, et al. · Zenodo (CERN European Organization for Nuclear Research)
Tunable Automation in Automated Program Verification
2025 · Bai, Alexander, Hawblitzel, Chris, et al. · arXiv (Cornell University)
PDF
Timestamp tokens: a better coordination primitive for data-processing systems
2022 · Lattuada, Andrea, McSherry, Frank · arXiv (Cornell University)
PDF
Formalization of Timely Dataflow's Progress Tracking Protocol.
2021 · Matthias Brun, Sára Decova, et al. · Arch. Formal Proofs
Programmable scheduling in a stream processing system
2016 · Lattuada, Andrea · Repository for Publications and Research Data (ETH Zurich)
PDF
Works count: 29
Citation count: 414
H-index: 8
I10-index: 7
Year
Topic
Type