Old Web
English
Sign In
Acemap
>
authorDetail
>
Marc John Brooker
Marc John Brooker
Amazon.com
Computer science
Formal methods
Web service
World Wide Web
Distributed computing
5
Papers
298
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Firecracker: Lightweight Virtualization for Serverless Applications
2020
NSDI | Networked Systems Design and Implementation
Alexandru Agache
Marc John Brooker
Alexandra Iordache
Anthony Nicholas Liguori
Rolf Neugebauer
Phil Piwonka
Diana-Maria Popa
Show All
Source
Cite
Save
Citations (87)
Millions of Tiny Databases
2020
NSDI | Networked Systems Design and Implementation
Marc John Brooker
Tao Chen
Fan Ping
Show All
Source
Cite
Save
Citations (7)
SYSTÈME DE STOCKAGE DE DONNÉES À NIVEAUX DE DURABILITÉ MULTIPLES
2018
Norbert Paul Kusters
Nachiappan Arumugam
Christopher Nathan Watson
Marc John Brooker
David R. Richardson
Danny Wei
John Luther Guthrie Ii
Show All
Source
Cite
Save
Citations (0)
How Amazon web services uses formal methods
2015
Communications of The ACM
Chris Newcombe
Tim Rath
Fan Zhang
Bogdan Munteanu
Marc John Brooker
Michael Benjamin Deardeuff
Show All
Source
Cite
Save
Citations (185)
Use of Formal Methods at Amazon Web Services
2014
Chris Newcombe
Tim Rath
Fan Zhang
Bogdan Munteanu
Marc John Brooker
Michael Benjamin Deardeuff
Show All
Source
Cite
Save
Citations (19)
1