James W. Anderson

Mace: language support for building distributed systems

Amin Vahdat, Ranjit Jhala, Ryan Braud, 2007, PLDI '07.

xOMB: Extensible Open MiddleBoxes with commodity servers

Amin Vahdat, George Porter, Rishi Kapoor, 2012, 2012 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS).

Life, death, and the critical transition: finding liveness bugs in systems code

Amin Vahdat, Ranjit Jhala, Charles Killian, 2007 .

Local Recovery for High Availability in Strongly Consistent Cloud Services

Hein Meling, Amin Vahdat, Keith Marzullo, 2017, IEEE Transactions on Dependable and Secure Computing.

Finding latent performance bugs in systems implementations

Ranjit Jhala, Karthik Nagaraj, Ryan Braud, 2010, FSE '10.

High-bandwidth data dissemination for large-scale distributed systems

Amin Vahdat, Adolfo Rodriguez, Jeannie R. Albrecht, 2008, TOCS.

Maintaining High-Bandwidth Under Dynamic Network Conditions

Amin Vahdat, Alex C. Snoeren, Ryan Braud, 2005, USENIX Annual Technical Conference, General Track.

Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper)

Amin Vahdat, Ranjit Jhala, James W. Anderson, 2007, NSDI.