Systems Research Group – Redmond
The Systems Research Group is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient.
Careers
We’re always seeking creative, dedicated, smart individuals who are interested in joining us. If you’re an excellent candidate interested in doing cutting-edge systems research at an institution where you can see that research pay off in direct product impact, we encourage you to apply for a position. Whether you’re about to graduate, or you’re already a seasoned researcher interested in exploring alternatives, we’d like to talk to you.
Featured papers
-
Publication
A five-year study of file-system metadata
Test of Time Award, FAST '21 USENIX
-
Publication
Armada: Low-Effort Verification of High-Performance Concurrent Programs
Distinguished Paper Award, PLDI 2020
-
Publication
Vale: Verifying High-Performance Cryptographic Assembly Code
Distinguished Paper Award, USENIX Security Symposium 2017
-
Publication
Kangaroo: Caching Billions of Tiny Objects on Flash
Best Paper Award, SOSP 2021
-
Publication
The Multikernel: A new OS architecture for scalable multicore systems
SIGOPS Hall of Fame Award, SOSP’09
-
June 2019 | Dan Crankshaw joins Systems Research Group – Redmond
March 2019 | Andrew Baumann promoted to Senior Researcher
February 2019 | Felipe Vieira Frujeri and Stanko Novakovic join Systems Research Group – Redmond
October 2018 | Kapil Arya and Deli Zhang join Systems Research Group – Redmond
April 2018 | William Chan Memorial Dissertation Award at University of Washington.“Distributed Operating Systems for Mobile/Cloud Applications”Irene Zhang
December 2017 | Best Student Paper Award at Middleware’17“Swayam: Distributed Autoscaling to Meet SLAs of Machine Learning Inference Services with Resource Efficiency”Arpan Gujarati, Sameh Elnikety, Yuxiong He, Kathryn S. McKinley, Björn B. Brandenburg
October 2017 | Irene Zhang joins Systems Research Group – Redmond
September 2017 | Dan Ports joins Systems Research Group – Redmond
August 2017 | Distinguished Paper Award at USENIX Security 2017“Vale: Verifying High-Performance Cryptographic Assembly Code”Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan, M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath Setty, and Laure Thompson
August 2017 | Best Paper Award at SIGIR 2017“BitFunnel: Revisiting Signatures for Search”Bob Goodwin, Michael Hopcroft, Dan Luu, Alex Clemmer, Mihaela Curmei, Sameh Elnikety, and Yuxiong He
August 2017 | Systems Research Group – Redmond has two papers accepted to SOSP 2017
April 2017 | Ricardo Bianchini becomes manager of Systems Research Group – Redmond
December 2016 | Systems Research Group – Redmond has three papers accepted to NSDI 2017
November 2016 | Best Paper Award at OSDI 2016“Early Detection of Configuration Errors to Reduce Failure Damage”Tianyin Xu, Xinxin Jin, Peng Huang, Yuanyuan Zhou, Shan Lu, Long Jin, and Shankar Pasupath
September 2016 | Jay Lorch promoted to Principal Researcher
September 2016 | Jorgen Thelin promoted to Principal Software Development Engineer
August 2016 | Systems Research Group – Redmond has two papers accepted to OSDI 2016
August 2016 | Gena Pekhimenko joins Systems Research Group – Redmond
August 2016 | Ryan Huang joins Systems Research Group – Redmond
July 2016 | Jacob Nelson joins Systems Research Group – Redmond
March 2016 | Systems Research Group – Redmond has two papers accepted to NSDI 2016
March 2016 | Chris Hawblitzel promoted to Senior Researcher
January 2016 | IEEE Micro Top Picks Honorable Mention“Unified Address Translation for Memory-Mapped SSDs with FlashMap”Jian Huang, Anirudh Badam, Moinuddin K. Qureshi, and Karsten Schwann