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 | 56 | 2019 |
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 | 35 | 2020 |
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 | 29 | 2018 |
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 | 23 | 2020 |
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 | 21 | 2023 |
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 | 17 | 2022 |
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 | 14 | 2016 |
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 | 12 | 2023 |
Latency-conscious dataflow reconfiguration M Hoffmann, F McSherry, A Lattuada Proceedings of the 5th ACM SIGMOD Workshop on Algorithms and Systems for …, 2018 | 6 | 2018 |
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 | 3 | 2021 |
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 | 2 | 2023 |
You may not need synchronization (in streaming systems) A Lattuada ETH Zurich, 2022 | | 2022 |