Follow
Andrea Lattuada
Andrea Lattuada
VMware Research
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Megaphone: latency-conscious state migration for distributed streaming dataflows
M Hoffmann, A Lattuada, F McSherry
Proceedings of the VLDB Endowment 12 (9), 1002-1015, 2019
512019
Storage Systems are Distributed Systems (So Verify Them That Way!)
T Hance, A Lattuada, C Hawblitzel, J Howell, R Johnson, B Parno
14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020
352020
SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows
M Hoffmann, A Lattuada, J Liagouris, V Kalavri, D Dimitrova, S Wicki, ...
15th {USENIX} Symposium on Networked Systems Design and Implementation …, 2018
292018
Shared Arrangements: practical inter-query sharing for streaming dataflows
F McSherry, A Lattuada, M Schwarzkopf, T Roscoe
Proceedings of the VLDB Endowment 13 (10), 1793-1806, 2020
212020
Linear types for large-scale systems verification
J Li, A Lattuada, Y Zhou, J Cameron, J Howell, B Parno, C Hawblitzel
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-28, 2022
172022
Faucet: a user-level, modular technique for flow control in dataflow engines
A Lattuada, F McSherry, Z Chothia
Proceedings of the 3rd ACM SIGMOD Workshop on Algorithms and Systems for …, 2016
142016
Verus: Verifying rust programs using linear ghost types
A Lattuada, T Hance, C Cho, M Brun, I Subasinghe, Y Zhou, J Howell, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 286-315, 2023
132023
Sharding the state machine: Automated modular reasoning for complex concurrent systems
T Hance, Y Zhou, A Lattuada, R Achermann, A Conway, R Stutsman, ...
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023
112023
Latency-conscious dataflow reconfiguration
M Hoffmann, F McSherry, A Lattuada
Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for …, 2018
62018
Verified progress tracking for timely dataflow
M Brun, S Decova, A Lattuada, D Traytel
12th International Conference on Interactive Theorem Proving (ITP 2021) 193, 10, 2021
32021
Beyond isolation: OS verification as a foundation for correct applications
M Brun, R Achermann, T Chajed, J Howell, G Zellweger, A Lattuada
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 158-165, 2023
22023
You may not need synchronization (in streaming systems)
A Lattuada
ETH Zurich, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–12