Distributed Systems - Redmond
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.
People
Projects
(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
Recent Publications
- 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
- James Mickens and Matthew Finifter, Jigsaw: Efficient, Low-effort Mashup Isolation, in Proceedings of WebApps, USENIX, June 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
- 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
- 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
- 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
- Song Liu, Karthik Pattabiraman, Thomas Moscibroda, and Ben Zorn, Flikker: Saving DRAM Refresh-power through Critical Data Partitioning, in 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM, March 2011
- John R. Douceur, Jacob R. Lorch, Bryan Parno, James Mickens, and Jonathan M. McCune, Memoir---Formal Specs and Correctness Proofs, no. MSR-TR-2011-19, February 2011
- Reetuparna Das, Onur Mutlu, Thomas Moscibroda, and Chita Das, Aergia: Exploiting Packet Latency Slack in On-Chip Networks, in IEEE Micro. Special Issue: Micro's Top Picks from 2010 Computer Architecture Conference, IEEE, February 2011
See our full publications list.
