NOTE: This page is now subsumed by the Systems Research Group - Redmond page.
The Redmond Distributed Systems Research Group investigates the scalabilty, security, fault tolerance, manageability, and performance of distributed systems. Our current main research topics are networked multiplayer games and administration-free distributed computing.
(sorted by recency)
- CHADS- chip-area distributed systems
- Xax - browser plug-in architecture for web applications
- ASIRRA - human interactive proof system
- Composable Virtual Earth - distributed authoring system for online maps
- Donnybrook - systems issues in networked multiplayer games
- Farsite - scalable serverless distributed file system
- Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, and Brian Zill, IronFleet: Proving Practical Distributed Systems Correct, in Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), ACM – Association for Computing Machinery, 5 October 2015.
- Chris Hawblitzel, Erez Petrank, Shaz Qadeer, and Serdar Tasiran, Automated and modular refinement reasoning for concurrent programs, July 2015.
- Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Morris, and Nickolai Zeldovich, Amber: Decoupling User Data from Web Applications, USENIX – Advanced Computing Systems Association, May 2015.
- Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, and Brian Zill, Ironclad Apps: End-to-End Security via Automated Full-System Verification, in USENIX Symposium on Operating Systems Design and Implementation (OSDI), USENIX – Advanced Computing Systems Association, 6 October 2014.
- Christopher Smowton, Jacob R. Lorch, David Molnar, Stefan Saroiu, and Alec Wolman, Zero-Effort Payments: Design, Deployment, and Lessons, in Proceedings of the ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp), September 2014.
- Trinabh Gupta, Rayman Preet Singh, Amar Phanishayee, Jaeyeon Jung, and Ratul Mahajan, Bolt: Data management for connected homes, in Proceedings of NSDI, USENIX, April 2014.
- James Mickens, Ed Nightingale, Jeremy Elson, Bin Fan, Asim Kadav, Vijay Chidambaram, Osama Khan, Krishna Nareddy, and Darren Gehring, Blizzard: Fast, Cloud-scale Block Storage for Cloud-oblivious Applications, in Proceedings of NSDI, USENIX, April 2014.
- Jing Li, Anirudh Badam, Ranveer Chandra, Steven Swanson, Bruce Worthington, and Qi Zhang, On the Energy Overhead of Mobile Storage Systems, in Conference on File and Storage Technologies (FAST'14), USENIX – Advanced Computing Systems Association, 16 February 2014.
- Trinabh Gupta, Amar Phanishayee, Jaeyeon Jung, and Ratul Mahajan, Towards a storage system for connected homes, Workshop on Large-Scale Distributed Systems and Middleware, November 2013.
- Jon Howell, Bryan Parno, and John R. Douceur, How to Run POSIX Apps in a Minimal Picoprocess, in Proceedings of the USENIX Annual Technical Conference, USENIX, June 2013.
- Jon Howell, Bryan Parno, and John R. Douceur, Embassies: Radically Refactoring the Web, in Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI), USENIX, 5 April 2013.
- Jacob R. Lorch, Bryan Parno, James Mickens, Mariana Raykova, and Joshua Schiffman, Shroud: Enabling Private Access to Large-Scale Data in the Data Center, in Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST), USENIX, 14 February 2013.
- Edmund B. Nightingale, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, and Yutaka Suzue, Flat Datacenter Storage, in 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2012), USENIX, October 2012.
- James Mickens and Matthew Finifter, Jigsaw: Efficient, Low-effort Mashup Isolation, in Proceedings of WebApps, USENIX, June 2012.
- Kaisen Lin, David Chu, James Mickens, Li Zhuang, Feng Zhao, and Jian Qiu, Gibraltar: Exposing Hardware Devices to Web Pages Using AJAX, in Proceedings of WebApps, USENIX, June 2012.
- James Mickens, Rivet: Browser-agnostic Remote Debugging for Web Applications, in Proceedings of USENIX ATC, USENIX, June 2012.
- Johnson Apacible, Rich Draves, Jeremy Elson, Jinliang Fan, Owen Hofmann, Jon Howell, Ed Nightingale, Reuben Olinsky, and Yutaka Suzue, MinuteSort with Flat Datacenter Storage, no. MSR-TR-2012-126, 15 May 2012.
- Siddhartha Sen, Jacob R. Lorch, Richard Hughes, Carlos Garcia Jurado Suarez, Brian Zill, Weverton Cordeiro, and Jitendra Padhye, Don’t Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service, in Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI), USENIX, April 2012.
- John R. Douceur, Jon Howell, Bryan Parno, and Michael Walfish, Refactoring the Web Interface, in SOSP 2011 Poster Session, 24 October 2011.
- James Mickens and Mohan Dhawan, Atlantis: Robust, Extensible Execution Environments for Web Applications, in Proceedings of SOSP, ACM, October 2011.
- Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, and Li Zhuang, Enabling Security in Cloud Storage SLAs with CloudProof, in USENIX Annual Technical Conference, USENIX, June 2011.
- Alexander Jaffe, Thomas Moscibroda, Laura Effinger-Dean, Luis Ceze, and Karin Strauss, The Impact of Memory Models on Software Reliability in Multiprocessors, in PODC 2010 (Symposium on Principles of Distributed Computing), ACM, June 2011.
- Thomas Moscibroda and Rotem Oshman, Resilience of Mutual Exclusion Algorithms to Transient Memory Faults, in 30th Annual Symposium on Principles of Distributed Computing (PODC), ACM, June 2011.
- Bryan Parno, Jacob R. Lorch, John R. Douceur, James Mickens, and Jonathan M. McCune, Memoir: Practical State Continuity for Protected Modules, in Proceedings of the IEEE Symposium on Security and Privacy, IEEE, May 2011.
- Edmund B. Nightingale, John R Douceur, and Vince Orgovan, Cycles, Cells and Platters: An Empirical Analysis of Hardware Failures on a Million Consumer PCs, in Proceedings of EuroSys 2011, Awarded "Best Paper", ACM, April 2011.