Marc Brooker

According to our database, Marc Brooker authored at least 10 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Systems Correctness Practices at Amazon Web Services.

Marc Brooker, Ankush Desai

Commun. ACM, June, 2025

Great Performance for Bad Days.

Marc Brooker

Proceedings of the 16th ACM/SPEC International Conference on Performance Engineering, 2025

2024

Resource Management in Aurora Serverless.

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

Proc. VLDB Endow., August, 2024

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods.

Marc Brooker, Ankush Desai

ACM Queue, 2024

2023

On-demand Container Loading in AWS Lambda.

Marc Brooker, Mike Danilov, Chris Greenwood, Phil Piwonka

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

2021

Restoring Uniqueness in MicroVM Snapshots.

Marc Brooker, Adrian Costin Catangiu, Mike Danilov, Alexander Graf, Colm MacCárthaigh, Andrei Sandu

CoRR, 2021

2020

Millions of Tiny Databases.

Marc Brooker, Tao Chen, Fan Ping

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Firecracker: Lightweight Virtualization for Serverless Applications.

Alexandru Agache, Marc Brooker, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, Diana-Maria Popa

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2015

How Amazon web services uses formal methods.

Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, Michael Deardeuff

Commun. ACM, 2015

2011

A Signal Level Simulator for Multistatic and Netted Radar Systems.

Marc Brooker, Michael Inggs

IEEE Trans. Aerosp. Electron. Syst., 2011