Microsoft Research @ Symposium on Operating Systems Principles (SOSP) 2017


Microsoft Research is actively participating at this year’s SOSP conference, the world’s premier forum for researchers, developers, programmers, and teachers of computer systems technology, representing activities in both academia and industry. We’re excited to present at sessions, meet attendees at our booth, and support SOSP through a gold-level sponsorship.

If you’re attending, come meet researchers and recruiters at the Microsoft booth. While you’re there, pick up some free swag and then submit your resume for a chance to win at our raffle!

SOSP organizing committee

General Chair: Lidong Zhou

Publication Chair: Ming Wu

Treasurer: Srinath Setty

Program Committee:

The Ada Workshop cochairs

Xin Ma, The Ada Workshop

Workshop organizing committees

Siddhartha Sen, AI Systems Workshop

Qi Chen, The Ada Workshop


CrystalNet: Faithfully Emulating Large Production Networks Hongqiang “Harry” Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko, Guohan Lu, Lihua Yuan

KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong, Andrew Putnam, Enhong Chen, USTC; Lintao Zhang

Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms Eli Cortez, Anand Bonde, Alexandre Muzio, ITA, Brazil; Mark Russinovich, Marcus Fontoura, Ricardo Bianchini

Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software Andrew Ferraiuolo, Cornell University; Andrew Baumann, Chris Hawblitzel, Bryan Parno, Carnegie Mellon University

Automatically Repairing Network Control Planes Using an Abstract Representation Aaron Gember-Jacobson, Colgate University; Aditya Akella, University of Wisconsin-Madison; Ratul Mahajan, IntentionNet; Hongqiang “Harry” Liu

WatchIT: Who Watches Your IT Guy? Noam Shalev, Idit Keidar, Technion; Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda, IBM Research

Lazy Diagnosis of In-Production Concurrency Bugs Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu

Optimizing Big-Data Queries Using Program Synthesis Matthias Schlaipfer, TU Wien; Kaushik Rajan, Akash Lal, Malavika Samak, MIT


The Ada Workshop, speakers:

Lidong Zhou

Qi Chen

Microsoft Research blog