Systems Research Group – Redmond

Systems Research Group – Redmond

Publications

Microsoft Research Blog

Microsoft Research Blog

Microsoft Research Blog

Overview

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.

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.
Please apply using our Career Opportunities tab.

If you have questions about our group, feel free to e-mail.

Recent Paper Awards

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 GoiriGohar Irfan Chaudhry, Paul Batum, Jason Cooke, Eduardo Laureano, Colby Tresness, Mark RussinovichRicardo 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 ShamisMatthew RenzelmannStanko Novakovic, Georgios Chatzopoulos, Aleksandar DragojevicDushyanth NarayananMiguel Castro

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

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

Team News

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

People