A Signal Level Simulator for Multistatic and Netted Radar Systems. - Marc Brooker; Michael Inggs (IEEE Trans. Aerosp. Electron. Syst., 2011)

How Amazon web services uses formal methods. - Chris Newcombe; Tim Rath; Fan Zhang; Bogdan Munteanu; Marc Brooker; Michael Deardeuff (Commun. ACM, 2015)

Firecracker: Lightweight Virtualization for Serverless Applications. - Alexandru Agache; Marc Brooker; Alexandra Iordache; Anthony Liguori; Rolf Neugebauer; Phil Piwonka; Diana-Maria Popa (NSDI, 2020)

Millions of Tiny Databases. - Marc Brooker; Tao Chen; Fan Ping (NSDI, 2020)

Restoring Uniqueness in MicroVM Snapshots. - Marc Brooker; Adrian Costin Catangiu; Mike Danilov; Alexander Graf; Colm MacCárthaigh; Andrei Sandu (CoRR, 2021)

On-demand Container Loading in AWS Lambda. - Marc Brooker; Mike Danilov; Chris Greenwood; Phil Piwonka (USENIX ATC, 2023)

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods. - Marc Brooker; Ankush Desai (ACM Queue, 2024)

Resource Management in Aurora Serverless. - Bradley Barnhart; Marc Brooker; Daniil Chinenkov; Tony Hooper; Jihoun Im; Prakash Chandra Jha 003; Tim Kraska; Ashok Kurakula; Alexey Kuznetsov; Grant Mcalister; Arjun Muthukrishnan; Aravinthan Narayanan; et al. (Proc. VLDB Endow., 2024)

Great Performance for Bad Days. - Marc Brooker (ICPE, 2025)

Systems Correctness Practices at Amazon Web Services. - Marc Brooker; Ankush Desai (Commun. ACM, 2025)