Marc Brooker

11 papers B 1Misc 2Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 B conf
Great Performance for Bad Days.
ICPE
Marc Brooker
2025 J jnl
Systems Correctness Practices at Amazon Web Services.
Commun. ACM
Marc Brooker, Ankush Desai
2024 J jnl
Resource Management in Aurora Serverless.
Proc. VLDB Endow.
Bradley Barnhart, Marc Brooker, Daniil Chinenkov, Tony Hooper, Jihoun Im, Prakash Chandra Jha, Tim Kraska, Ashok Kurakula, Alexey Kuznetsov, Grant Mcalister, Arjun Muthukrishnan, Aravinthan Narayanan, Douglas Terry, Bhuvan Urgaonkar, Jiaming Yan
2024 J jnl
Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods.
ACM Queue
Marc Brooker, Ankush Desai
2023 — conf
On-demand Container Loading in AWS Lambda.
USENIX ATC
Marc Brooker, Mike Danilov, Chris Greenwood, Phil Piwonka
2023 J jnl
On-demand Container Loading in AWS Lambda.
CoRR
Marc Brooker, Mike Danilov, Chris Greenwood, Phil Piwonka
2021 J jnl
Restoring Uniqueness in MicroVM Snapshots.
CoRR
Marc Brooker, Adrian Costin Catangiu, Mike Danilov, Alexander Graf, Colm MacCárthaigh, Andrei Sandu
2020 Misc conf
Firecracker: Lightweight Virtualization for Serverless Applications.
NSDI
Alexandru Agache, Marc Brooker, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, Diana-Maria Popa
2020 Misc conf
Millions of Tiny Databases.
NSDI
Marc Brooker, Tao Chen, Fan Ping
2015 J jnl
How Amazon web services uses formal methods.
Commun. ACM
Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff
2011 J jnl
A Signal Level Simulator for Multistatic and Netted Radar Systems.
IEEE Trans. Aerosp. Electron. Syst.
Marc Brooker, Michael Inggs