Cited By
View all- Szekely ABelay AMorris RKaashoek MWitchel EArpaci-Dusseau ARossbach CKeeton K(2024)Unifying serverless and microservice workloads with SigmaOSProceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles10.1145/3694715.3695947(385-402)Online publication date: 4-Nov-2024
- Sharma UJung RTassarotti JKaashoek FZeldovich NDruschel PKaufmann AMace JFlinn JSeltzer M(2023)Grove: a Separation-Logic Library for Verifying Distributed SystemsProceedings of the 29th Symposium on Operating Systems Principles10.1145/3600006.3613172(113-129)Online publication date: 23-Oct-2023
- Giantsidi DGiortamis ETornow NDinu FBhatotia PButt AMi NChard K(2023)FlexLog: A Shared Log for Stateful Serverless ComputingProceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing10.1145/3588195.3592993(195-209)Online publication date: 7-Aug-2023
- Show More Cited By