Login / Signup
Tim Rath
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 2
Top Topics
Model Checker
Web Service Composition
Highly Scalable
Provably Correct
Top Venues
USENIX Annual Technical Conference
Commun. ACM
</>
Publications
</>
Mostafa Elhemali
,
Niall Gallagher
,
Nick Gordon
,
Joseph Idziorek
,
Richard Krog
,
Colin Lazier
,
Erben Mo
,
Akhilesh Mritunjai
,
Somasundaram Perianayagam
,
Tim Rath
,
Swami Sivasubramanian
,
James Christopher Sorenson III
,
Sroaj Sosothikul
,
Doug Terry
,
Akshat Vig
Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service.
USENIX Annual Technical Conference
(2022)
Chris Newcombe
,
Tim Rath
,
Fan Zhang
,
Bogdan Munteanu
,
Marc Brooker
,
Michael Deardeuff
How Amazon web services uses formal methods.
Commun. ACM
58 (4) (2015)