Workshops: Saturday, October 28, 2017
Venue: Pudong Shangri-La Hotel (opens in new tab)
Website: Symposium on Operating Systems Principles (opens in new tab)
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:
- Miguel Castro
- Johannes Gehrke
- Jay Lorch
- Thomas Moscibroda
- Madanlal Musuvathi
The Ada Workshop cochairs
Xin Ma, The Ada Workshop
Workshop organizing committees
Siddhartha Sen, AI Systems Workshop
Qi Chen, The Ada Workshop
Sessions
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
Workshops
The Ada Workshop, speakers: