| 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 | 80 | 2023 |
| 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 | 71 | 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 | 55 | 2020 |
| 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 | 31 | 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 | 31 | 2018 |
| 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 | 24 | 2022 |
| 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 | 16 | 2023 |
| Anvil: Verifying Liveness of Cluster Management Controllers X Sun, W Ma, JT Gu, Z Ma, T Chajed, J Howell, A Lattuada, O Padon, ... 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2024 | 15 | 2024 |
| 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 |
| Verus: A practical foundation for systems verification A Lattuada, T Hance, J Bosamiya, M Brun, C Cho, H LeBlanc, ... Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles …, 2024 | 8 | 2024 |
| 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 |
| 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 | 4 | 2023 |
| 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 | 4 | 2021 |
| You may not need synchronization (in streaming systems) A Lattuada ETH Zurich, 2022 | 2 | 2022 |
Jon HowellVMware Research GroupVerified email at jonh.net
