Publications

• Bradly 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, and Jiaming Yan, Resource Management in Aurora Serverless, VLDB'2024 Best paper winner!
• Marc Brooker, Mike Danilov, Chris Greenwood, Phil Piwonka, On-demand Container Loading in AWS Lambda, Usenix ATC'23 (on Arxiv) Best paper winner!
• Marc Brooker, Adrian Costin Catangiu, Mike Danilov, Alexander Graf, Colm MacCarthaigh, Andrei Sandu, Restoring Uniqueness in MicroVM Snapshots, Arxiv Preprint, 2021
• Alexandru Agache, Marc Brooker, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka and Diana-Maria Popa, Firecracker: Lightweight Virtualization for Serverless Applications, NSDI 2020
• Marc Brooker, Tao Chen, and Fan Ping, Millions of Tiny Databases, NSDI 2020
• Chris Newcombe, Tim Rath, Fan Zhang, Bogdan Munteanu, Marc Brooker, and Michael Deardeuff, How Amazon Web Services Uses Formal Methods, Communications of the ACM, 2015
• Marc Brooker and Michael Inggs, A Signal Level Simulator for Multistatic and Netted Radar Systems, IEEE Transactions on Aerospace and Electronic Systems, 2011
• Marc Brooker and Michael Inggs, Efficient Generation of fα Noise Sequences for Pulsed Radar Simulation, IEEE Transactions on Aerospace and Electronic Systems, 2010
• Yoann Paichard, Marc Brooker and Michael Inggs, Signal level Simulator for netted text radar waveforms evaluation, IEEE Aerospace and Electronic Systems Magazine, 2010
• Michael Inggs and Marc Brooker, Extensible simulator for waveform diversity testing, International Waveform Diversity and Design Conference, 2009
• Yoann Paichard, Marc Brooker and Michael Inggs, A signal level simulator for netted radar waveforms evaluation, International Waveform Diversity and Design Conference, 2009
• Marc Brooker, The design and implementation of a simulator for multistatic radar systems, PhD Thesis, University of Cape Town, 2008
• Marc Brooker and Neco Ventura, A High Performance IPsec Gateway Based on the Intel IXP2400 Network Processor, Proceedings of the 13th International Conference on Telecommunications, 2006

Talks

• AWS Lambda: A Decade of Transformation, AWS Developers Podcast, 2024
• Fifteen years of TLA+ at AWS (video) (slides), TLA+ Conf, 2024
• Parameterizing Locality and Coordination (slides only), Northest Database Society Meeting, 2024
• The Hardest Problem (and the Silliest) (slides only), ACM SoCC'23 keynote
• On-demand Container Loading in AWS Lambda, ATC'23
• Database Innovation at AWS (slides only), SIGMOD'23 sponsor talk
• Formal Methods Solve Only Half My Problems (and I have a lot of problems) (slides only), HPTS'22
• Gigabytes in milliseconds: Bringing container support to AWS Lambda without adding latency, OSDI'21 sponsor talk
• AWS Lambda's Performance Journey (slides), HotCloudPerf'21.
• Foobar Serverless: The Magic Behind Lamda, Marcia Villalba's Foobar podcast, 2020.
• Building technology standards at Amazon scale, ReInvent 2020. Talks about Rust, and how I think about teams and organizations making risky technical decisions in general
• Deep dive into AWS Lambda security: Function isolation, Re:Invent 2020. About Lambda function isolation, Firecracker, and some of the security model behind Lambda's container support, including our convergent encryption scheme.
• Greenwater, Washington: An Availability Story (slides), QCon, November 2020
• Firecracker: Lightweight Virtualization - Opportunities and Challenges, a talk I did about lightweight virtualization, and some of the challenges of using snapshots as a primitive in serverless systems, October 2020
• Serverless Security Strategies: Under the Hood - AWS Fireside Chat (with Becky Weiss and Sam Dengler). Informal Q&A on serverless security. 2020.
• High Availability for Bad Days, a talk I did on Physalia as a guest talk for Vijay Chidambaram's CS380D, May 2020
• Firecracker: Lightweight Virtualization for Serverless Applications, NSDI '20 (and a slightly extended repeat)
• Millions of Tiny Databases, NSDI '20
• The Perils of Not Always Coordinating, HPTS '19
• Amazon's Approach to Building Resilient Services, reInvent 2019
• A serverless journey: AWS Lambda under the hood (with Holly Mesrobian), reInvent 2019
• Introducing the Amazon Builder's Library (with David Yanacek, Becky Weiss, Andrew Certain and Colm MacCárthaigh), Reinvent 2019
• A Serverless Journey: AWS Lambda Under the Hood (with Holly Mesrobian), reInvent 2018

Other, Less Academic, Writing

• Amazon EBS addresses the challenge of the CAP Theorem at scale on the Amazon Science blog, 2020
  Written with Larry Hardesty from the Amazon Science team, an attempt to bring the content to a non-expert audience
• How AWS’s Firecracker virtual machines work. on the Amazon Science blog, 2020
  Written with the Amazon Science team and Firecracker team members.
• Leader Election in Distributed Systems in the AWS Builder's Library, 2019
• Timeouts, retries and backoff with jitter in the AWS Builder's Library, 2019
• Exponential Backoff and Jitter on the AWS Architecture Blog, 2016

Writing About My Writing

• Henry Robinson, Availability in AWS' Physalia, on The Paper Trail, April 2020
• Adrian Colyer, Millions of tiny databases, on The Morning Paper, March 2020
• Adrian Colyer, Firecracker: lightweight virtualization for serverless applications, on The Morning Paper, March 2020
• Timothy Prickett Morgan, The Jellyfish-inspired database under AWS block storage, on TheNextPlatform, February 2020
• UCT Monday Paper, Marc Brooker is not one to waste time, 15 December 2008

Translations

• Japanese translation of my Rust blog post, on itnews.org
• Japanese translation of my blog post on comments, on itnews.org