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. One of the major themes within the group is around Cloud Efficiency.
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.
Please apply using our Career Opportunities tab.
If you have questions about our group, feel free to email.
Recent paper awards
Jan 2022 | IEEE Micro Top Picks from the 2021 Computer Architecture Conferences
Overclocking in Immersion-Cooled Datacenters
Majid Jalili, Ioannis Manousakis, Íñigo Goiri, Pulkit Misra, Esha Choukse, Ashish Raniwala, Brijesh Warrier, Husam Alissa, Bharath Ramakrishnan, Phillip Tuma, Christian Belady, Marcus Fontoura, and Ricardo Bianchini.
To appear in IEEE Micro, May/June 2022.
Nov 2021 | SC ’21 Best Student Paper
Efficient Large-Scale Language Model Training on GPU Clusters Using Megatron-LM
Deepak Narayanan, Mohammad Shoeybi, Jared Casper, Patrick LeGresley, Mostofa Patwary, Vijay Anand Korthikanti, Dmitri Vainbrand, Prethvi Kashinkunti, Julie Bernauer, Bryan Catanzaro, Amar Phanishayee, Matei Zaharia.
International Conference for High Performance Computing, Networking, Storage and Analysis (SC 2021)
Oct 2021 | SOSP ’21 Best Paper Awards
Kangaroo: Caching Billions of Tiny Objects on Flash.
Sara McAllister, Benjamin Berg, Julian Tutuncu-Macias, Juncheng Yang, Sathya Gunasekar, Jimmy Lu, Daniel S. Berger, Nathan Beckmann, Gregory R. Ganger.
Feb 2021 | FAST ’21 USENIX Test of Time Award
A Five-Year Study of File-System Metadata
Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch
Published in the Proceedings of the 5th USENIX Conference on File and Storage Technologies, February, 2007
Nov 2020 | SIGOPS Hall of Fame Award for SOSP’09 paper titled
“The Multikernel: A New OS Architecture for Scalable Multicore Systems (opens in new tab)“
Andrew Baumann (opens in new tab), Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh Singhania.
The paper introduced the highly influential Barrelfish (opens in new tab) system.
July 2020 | Community Award
“Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider” at USENIX Annual Technical Conference (ATC)
Mohammad Shahrad, Rodrigo Fonseca, Íñigo Goiri, Gohar Irfan Chaudhry, Paul Batum, Jason Cooke, Eduardo Laureano, Colby Tresness, Mark Russinovich, Ricardo Bianchini
June 2020 | Distinguished Paper Award
“Armada: Low-Effort Verification of High-Performance Concurrent Programs” at the ACM International Conference on Programming Language Design and Implementation (PLDI)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao.
October 2019 | Best Paper Award, Distinguished Artifact Award
“Scaling symbolic evaluation for automated verification of systems code with Serval” at 27th ACM Symposium on Operating Systems Principles (SOSP) Organized by ACM
Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
June 2019 | Best Paper Award
“Storm: a fast transactional dataplane for remote data structures” at 12th ACM International Systems and Storage Conference (SYSTOR) Organized by ACM, USENIX
Stanko Novakovic, Yizhou Shan, Aasheesh Kolli, Michael Cui, Yiying Zhang, Haggai Eran, Boris Pismenny, Liran Liss, Michael Wei, Dan Tsafrir, Marcos Aguilera
June 2019 | Best Paper Honorable Mention
“Fast General Distributed Transactions with Opacity” at International Conference on Management of Data (SIGMOD ’19) Organized by ACM
Alex Shamis, Matthew Renzelmann, Stanko Novakovic, Georgios Chatzopoulos, Aleksandar Dragojevic, Dushyanth Narayanan, Miguel Castro
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
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
June 2019 | Dan Crankshaw joins Systems Research Group – Redmond
March 2019 | Andrew Baumann promoted to Senior Researcher
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 | 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