{"id":507671,"date":"2018-09-26T11:02:40","date_gmt":"2018-09-26T18:02:40","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=507671"},"modified":"2025-08-06T11:56:50","modified_gmt":"2025-08-06T18:56:50","slug":"osdi-2018","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/osdi-2018\/","title":{"rendered":"Microsoft @ OSDI 2018"},"content":{"rendered":"\n\n

Venue: <\/strong>Omni La Costa Resort & Spa (opens in new tab)<\/span><\/a>
\n2100 Costa Del Mar Road
\nCarlsbad, California\u00a0 92009
\nUSA<\/p>\n

Website:<\/strong> OSDI 2018 (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is proud to be a silver sponsor of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) (opens in new tab)<\/span><\/a> in Carlsbad, California, October 8-10, 2018. Come by our booth to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.<\/p>\n

Session Chairs<\/h2>\n

Ranjita Bhagwan<\/a>
\nJay Lorch<\/a>
\nIrene Zhang<\/a><\/p>\n

Program Committee Members<\/h2>\n

Ranjita Bhagwan<\/a>
\nMiguel Castro<\/a>
\nLandon Cox<\/a>
\nJay Lorch<\/a>
\nMing Wu
\nIrene Zhang<\/a><\/p>\n

Opens in a new tab<\/span><\/p>\n

Monday, October 8, 2018 | 9:00 AM\u201310:20 AM
\nUnderstanding Failures<\/h3>\n

Capturing and Enhancing In Situ<\/em> System Observability for Failure Detection (opens in new tab)<\/span><\/a><\/h4>\n

Peng Huang, Chuanxiong Guo, Jacob R. Lorch<\/strong> (opens in new tab)<\/span><\/a>,<\/em> Lidong Zhou<\/strong> (opens in new tab)<\/span><\/a>, Yingnong Dang<\/strong><\/p>\n

REPT: Reverse Debugging of Failures in Deployed Software (opens in new tab)<\/span><\/a><\/h4>\n

Weidong Cui<\/strong> (opens in new tab)<\/span><\/a>, Xinyang Ge<\/strong> (opens in new tab)<\/span><\/a>, Baris Kasikci, Ben Niu<\/strong> (opens in new tab)<\/span><\/a>, Upamanyu Sharma, Ruoyu Wang, Insu Yun<\/p>\n

Monday, October 8, 2018 | 2:00 PM\u20133:20 PM
\nScheduling<\/h3>\n

RobinHood: Tail Latency Aware Caching\u2014Dynamic Reallocation from Cache-Rich to Cache-Poor (opens in new tab)<\/span><\/a><\/h4>\n

Daniel S. Berger and Benjamin Berg, Timothy Zhu, Siddhartha Sen<\/strong> (opens in new tab)<\/span><\/a>, Mor Harchol-Balter<\/p>\n

Monday, October 8, 2018 | 3:50 PM\u20135:10 PM
\nData<\/h3>\n

Focus: Querying Large Video Datasets with Low Latency and Low Cost (opens in new tab)<\/span><\/a><\/h4>\n

Kevin Hsieh, Ganesh Ananthanarayanan<\/strong> (opens in new tab)<\/span><\/a>, Peter Bodik<\/strong> (opens in new tab)<\/span><\/a>, Shivaram Venkataraman<\/strong>, Paramvir Bahl<\/strong> (opens in new tab)<\/span><\/a>, Matthai Philipose<\/strong> (opens in new tab)<\/span><\/a>, Phillip B. Gibbons, Onur Mutlu<\/p>\n

Tuesday, October 9, 2018 | 9:00 AM-10:20 AM
\nVerification<\/h3>\n

Verifying a concurrent mail server with CSPEC (opens in new tab)<\/span><\/a><\/h4>\n

Tej Chajed, Frans Kaashoek, Butler Lampson<\/strong> (opens in new tab)<\/span><\/a>, Nickolai Zeldovich<\/p>\n

Proving the correct execution of concurrent services in zero-knowledge (opens in new tab)<\/span><\/a><\/h4>\n

Srinath Setty<\/strong> (opens in new tab)<\/span><\/a>, Sebastian Angel, Trinabh Gupta<\/strong>, Jonathan Lee<\/strong> (opens in new tab)<\/span><\/a><\/p>\n

Tuesday, October 9, 2018 | 10:50 AM\u201312:10 PM
\nReliability<\/h3>\n

The FuzzyLog: A Partially Ordered Shared Log (opens in new tab)<\/span><\/a><\/h4>\n

Joshua Lockerman, Jose Faleiro, Juno Kim, and Soham Sankaran, Daniel J Abadi, James Aspnes, Siddhartha Sen<\/strong> (opens in new tab)<\/span><\/a>, Mahesh Balakrishnan<\/p>\n

Tuesday, October 9, 2018 | 3:50 PM\u20135:10 PM
\nDebugging<\/h3>\n

Orca: Differential Bug Localization in Large-Scale Services (opens in new tab)<\/span><\/a><\/h4>\n

Ranjita Bhagwan<\/strong> (opens in new tab)<\/span><\/a>, Rahul Kumar<\/strong> (opens in new tab)<\/span><\/a>, Chandra Sekhar Maddila<\/strong> (opens in new tab)<\/span><\/a>, Adithya Abraham Philip<\/strong><\/p>\n

Wednesday, October 10, 2018 | 9:00 AM\u201310:20 AM
\nMachine Learning<\/h3>\n

Gandiva: Introspective Cluster Scheduling for Deep Learning (opens in new tab)<\/span><\/a><\/h4>\n

Wencong Xiao<\/strong>, Romil Bhardwaj<\/strong>, Ramachandran Ramjee<\/strong> (opens in new tab)<\/span><\/a>, Muthian Sivathanu<\/strong>, Nipun Kwatra<\/strong> (opens in new tab)<\/span><\/a>, Zhenhua Han<\/strong>, Pratyush Patel<\/strong>, Xuan Peng<\/strong>, Hanyu Zhao<\/strong>, Quanlu Zhang<\/strong> (opens in new tab)<\/span><\/a>, Fan Yang<\/strong> (opens in new tab)<\/span><\/a>, Lidong Zhou<\/strong> (opens in new tab)<\/span><\/a><\/p>\n

PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems (opens in new tab)<\/span><\/a><\/h4>\n

Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer<\/strong> (opens in new tab)<\/span><\/a>,Matteo Interlandi<\/strong><\/p>\n

Wednesday, October 10, 2018 | 2:00 PM-3:20 PM
\nSecurity<\/h3>\n

Graviton: Trusted Execution Environments on GPUs (opens in new tab)<\/span><\/a><\/h4>\n

Stavros Volos<\/strong> (opens in new tab)<\/span><\/a>, Kapil Vaswani<\/strong> (opens in new tab)<\/span><\/a>, Rodrigo Bruno<\/p>\n

Wednesday, October 10, 2018 | 3:50 PM\u20135:10 PM
\nGraphs and Data<\/h3>\n

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine (opens in new tab)<\/span><\/a><\/h4>\n

Kai Wang, Zhiqiang Zuo, John Thorpe, Tim Nguyen, Guoqing Harry Xu<\/strong><\/p>\n

Opens in a new tab<\/span><\/p>\n

Monday, October 8, 2018 | 6:00 PM\u20137:30 PM
\nCosta Del Sol Foyer<\/h3>\n

Focus: Querying Large Video Datasets with Low Latency and Low Cost<\/a><\/h4>\n

Kevin Hsieh, Ganesh Ananthanarayanan<\/strong><\/a>, Peter Bodik<\/strong><\/a>, Shivaram Venkataraman<\/strong>, Paramvir Bahl<\/strong><\/a>, Matthai Philipose<\/strong><\/a>, Phillip B. Gibbons, Onur Mutlu<\/p>\n

REPT: Reverse Debugging of Failures in Deployed Software<\/a><\/h4>\n

Weidong Cui<\/strong><\/a>, Xinyang Ge<\/strong><\/a>, Baris Kasikci, Ben Niu<\/strong><\/a>, Upamanyu Sharma, Ruoyu Wang, Insu Yun<\/p>\n

RobinHood: Tail Latency Aware Caching\u2014Dynamic Reallocation from Cache-Rich to Cache-Poor (opens in new tab)<\/span><\/a><\/h4>\n

Daniel S. Berger, Benjamin Berg, Timothy Zhu, Siddhartha Sen<\/strong><\/a>, Mor Harchol-Balter<\/p>\n

Demikernel: An Operating System Architecture for Hardware-Accelerated Datacenter Servers<\/h4>\n

Jing Liu, Amanda Austin, Anirudh Badam<\/strong><\/a>, Irene Zhang<\/strong><\/a><\/p>\n

Capturing and Enhancing In Situ System Observability for Failure Detection (opens in new tab)<\/span><\/a><\/h4>\n

Peng Huang, Chuanxiong Guo, Jacob R. Lorch<\/strong><\/a>, Lidong Zhou<\/strong><\/a><\/p>\n

Tuesday, October 9, 2018 | 6:00 PM\u20137:30 PM
\nCosta Del Sol Foyer<\/h3>\n

Gandiva: Introspective Cluster Scheduling for Deep Learning (opens in new tab)<\/span><\/a><\/h4>\n

Wencong Xiao<\/strong>, Romil Bhardwaj<\/strong>, Ramachandran Ramjee<\/strong><\/a>, Muthian Sivathanu<\/strong>, Nipun Kwatra<\/a>, Zhenhua Han<\/strong>, Pratyush Patel<\/strong>, Xuan Peng<\/strong>, Hanyu Zhao<\/strong>, Quanlu Zhang<\/strong><\/a>, Fan Yang<\/strong><\/a>, Lidong Zhou<\/strong><\/a><\/p>\n

PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems (opens in new tab)<\/span><\/a><\/h4>\n

Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer<\/strong><\/a>, Matteo Interlandi<\/strong><\/p>\n

Verifying a concurrent mail server with CSPEC (opens in new tab)<\/span><\/a><\/h4>\n

Tej Chajed, Frans Kaashoek, Butler Lampson<\/strong><\/a>, Nickolai Zeldovich<\/p>\n

Graviton: Trusted Execution Environments on GPUs<\/a><\/h4>\n

Stavros Volos<\/strong><\/a>, Kapil Vaswani<\/strong><\/a>, Rodrigo Bruno<\/p>\n

Cracking Open the DNN Black Box: Split-Brain DNNs Across the Edge-Cloud Boundary<\/h4>\n

John Emmons, Jestin Ma, Sadjad Fouladi, Ganesh Ananthanarayanan<\/strong><\/a>, Shivaram Venkataraman, Silvio Savarese, Keith Winstein<\/p>\n

Proving the correct execution of concurrent services in zero-knowledge<\/a><\/h4>\n

Srinath Setty<\/strong><\/a>, Sebastian Angel, Trinabh Gupta<\/strong>, Jonathan Lee<\/strong><\/a><\/p>\n

A Vision for Private Video Analytics as a Cloud Service<\/h4>\n

Rishabh Poddar, Ganesh Ananthanarayanan<\/a>, Srinath Setty<\/strong><\/a>, Stavros Volos<\/strong><\/a>, Raluca Ada Popa<\/p>\n

Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"

Microsoft is proud to be a silver sponsor of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) in Carlsbad, CA, October 8-10, 2018. Come by our booth to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2018-10-08","msr_enddate":"2018-10-10","msr_location":"Carlsbad, California, USA","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"https:\/\/www.usenix.org\/user","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":false,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13547],"msr-region":[197900],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-507671","msr-event","type-msr-event","status-publish","hentry","msr-research-area-systems-and-networking","msr-region-north-america","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"\n\n

Venue: <\/strong>Omni La Costa Resort & Spa (opens in new tab)<\/span><\/a>
\n2100 Costa Del Mar Road
\nCarlsbad, California\u00a0 92009
\nUSA<\/p>\n

Website:<\/strong> OSDI 2018 (opens in new tab)<\/span><\/a>Opens in a new tab<\/span><\/p>\n

Microsoft is proud to be a silver sponsor of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI)<\/a> in Carlsbad, California, October 8-10, 2018. Come by our booth to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.<\/p>\n

Session Chairs<\/h2>\n

Ranjita Bhagwan<\/a>
\nJay Lorch<\/a>
\nIrene Zhang<\/a><\/p>\n

Program Committee Members<\/h2>\n

Ranjita Bhagwan<\/a>
\nMiguel Castro<\/a>
\nLandon Cox<\/a>
\nJay Lorch<\/a>
\nMing Wu
\nIrene Zhang<\/a><\/p>\n

Opens in a new tab<\/span><\/p>\n

Monday, October 8, 2018 | 9:00 AM\u201310:20 AM
\nUnderstanding Failures<\/h3>\n

Capturing and Enhancing In Situ<\/em> System Observability for Failure Detection (opens in new tab)<\/span><\/a><\/h4>\n

Peng Huang, Chuanxiong Guo, Jacob R. Lorch<\/strong> (opens in new tab)<\/span><\/a>,<\/em> Lidong Zhou<\/strong> (opens in new tab)<\/span><\/a>, Yingnong Dang<\/strong><\/p>\n

REPT: Reverse Debugging of Failures in Deployed Software (opens in new tab)<\/span><\/a><\/h4>\n

Weidong Cui<\/strong> (opens in new tab)<\/span><\/a>, Xinyang Ge<\/strong> (opens in new tab)<\/span><\/a>, Baris Kasikci, Ben Niu<\/strong> (opens in new tab)<\/span><\/a>, Upamanyu Sharma, Ruoyu Wang, Insu Yun<\/p>\n

Monday, October 8, 2018 | 2:00 PM\u20133:20 PM
\nScheduling<\/h3>\n

RobinHood: Tail Latency Aware Caching\u2014Dynamic Reallocation from Cache-Rich to Cache-Poor (opens in new tab)<\/span><\/a><\/h4>\n

Daniel S. Berger and Benjamin Berg, Timothy Zhu, Siddhartha Sen<\/strong> (opens in new tab)<\/span><\/a>, Mor Harchol-Balter<\/p>\n

Monday, October 8, 2018 | 3:50 PM\u20135:10 PM
\nData<\/h3>\n

Focus: Querying Large Video Datasets with Low Latency and Low Cost (opens in new tab)<\/span><\/a><\/h4>\n

Kevin Hsieh, Ganesh Ananthanarayanan<\/strong> (opens in new tab)<\/span><\/a>, Peter Bodik<\/strong> (opens in new tab)<\/span><\/a>, Shivaram Venkataraman<\/strong>, Paramvir Bahl<\/strong> (opens in new tab)<\/span><\/a>, Matthai Philipose<\/strong> (opens in new tab)<\/span><\/a>, Phillip B. Gibbons, Onur Mutlu<\/p>\n

Tuesday, October 9, 2018 | 9:00 AM-10:20 AM
\nVerification<\/h3>\n

Verifying a concurrent mail server with CSPEC (opens in new tab)<\/span><\/a><\/h4>\n

Tej Chajed, Frans Kaashoek, Butler Lampson<\/strong> (opens in new tab)<\/span><\/a>, Nickolai Zeldovich<\/p>\n

Proving the correct execution of concurrent services in zero-knowledge (opens in new tab)<\/span><\/a><\/h4>\n

Srinath Setty<\/strong> (opens in new tab)<\/span><\/a>, Sebastian Angel, Trinabh Gupta<\/strong>, Jonathan Lee<\/strong> (opens in new tab)<\/span><\/a><\/p>\n

Tuesday, October 9, 2018 | 10:50 AM\u201312:10 PM
\nReliability<\/h3>\n

The FuzzyLog: A Partially Ordered Shared Log (opens in new tab)<\/span><\/a><\/h4>\n

Joshua Lockerman, Jose Faleiro, Juno Kim, and Soham Sankaran, Daniel J Abadi, James Aspnes, Siddhartha Sen<\/strong> (opens in new tab)<\/span><\/a>, Mahesh Balakrishnan<\/p>\n

Tuesday, October 9, 2018 | 3:50 PM\u20135:10 PM
\nDebugging<\/h3>\n

Orca: Differential Bug Localization in Large-Scale Services (opens in new tab)<\/span><\/a><\/h4>\n

Ranjita Bhagwan<\/strong> (opens in new tab)<\/span><\/a>, Rahul Kumar<\/strong> (opens in new tab)<\/span><\/a>, Chandra Sekhar Maddila<\/strong> (opens in new tab)<\/span><\/a>, Adithya Abraham Philip<\/strong><\/p>\n

Wednesday, October 10, 2018 | 9:00 AM\u201310:20 AM
\nMachine Learning<\/h3>\n

Gandiva: Introspective Cluster Scheduling for Deep Learning (opens in new tab)<\/span><\/a><\/h4>\n

Wencong Xiao<\/strong>, Romil Bhardwaj<\/strong>, Ramachandran Ramjee<\/strong> (opens in new tab)<\/span><\/a>, Muthian Sivathanu<\/strong>, Nipun Kwatra<\/strong> (opens in new tab)<\/span><\/a>, Zhenhua Han<\/strong>, Pratyush Patel<\/strong>, Xuan Peng<\/strong>, Hanyu Zhao<\/strong>, Quanlu Zhang<\/strong> (opens in new tab)<\/span><\/a>, Fan Yang<\/strong> (opens in new tab)<\/span><\/a>, Lidong Zhou<\/strong> (opens in new tab)<\/span><\/a><\/p>\n

PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems (opens in new tab)<\/span><\/a><\/h4>\n

Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer<\/strong> (opens in new tab)<\/span><\/a>,Matteo Interlandi<\/strong><\/p>\n

Wednesday, October 10, 2018 | 2:00 PM-3:20 PM
\nSecurity<\/h3>\n

Graviton: Trusted Execution Environments on GPUs (opens in new tab)<\/span><\/a><\/h4>\n

Stavros Volos<\/strong> (opens in new tab)<\/span><\/a>, Kapil Vaswani<\/strong> (opens in new tab)<\/span><\/a>, Rodrigo Bruno<\/p>\n

Wednesday, October 10, 2018 | 3:50 PM\u20135:10 PM
\nGraphs and Data<\/h3>\n

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine (opens in new tab)<\/span><\/a><\/h4>\n

Kai Wang, Zhiqiang Zuo, John Thorpe, Tim Nguyen, Guoqing Harry Xu<\/strong><\/p>\n

Opens in a new tab<\/span><\/p>\n

Monday, October 8, 2018 | 6:00 PM\u20137:30 PM
\nCosta Del Sol Foyer<\/h3>\n

Focus: Querying Large Video Datasets with Low Latency and Low Cost<\/a><\/h4>\n

Kevin Hsieh, Ganesh Ananthanarayanan<\/strong><\/a>, Peter Bodik<\/strong><\/a>, Shivaram Venkataraman<\/strong>, Paramvir Bahl<\/strong><\/a>, Matthai Philipose<\/strong><\/a>, Phillip B. Gibbons, Onur Mutlu<\/p>\n

REPT: Reverse Debugging of Failures in Deployed Software<\/a><\/h4>\n

Weidong Cui<\/strong><\/a>, Xinyang Ge<\/strong><\/a>, Baris Kasikci, Ben Niu<\/strong><\/a>, Upamanyu Sharma, Ruoyu Wang, Insu Yun<\/p>\n

RobinHood: Tail Latency Aware Caching\u2014Dynamic Reallocation from Cache-Rich to Cache-Poor<\/a><\/h4>\n

Daniel S. Berger, Benjamin Berg, Timothy Zhu, Siddhartha Sen<\/strong><\/a>, Mor Harchol-Balter<\/p>\n

Demikernel: An Operating System Architecture for Hardware-Accelerated Datacenter Servers<\/h4>\n

Jing Liu, Amanda Austin, Anirudh Badam<\/strong><\/a>, Irene Zhang<\/strong><\/a><\/p>\n

Capturing and Enhancing In Situ System Observability for Failure Detection<\/a><\/h4>\n

Peng Huang, Chuanxiong Guo, Jacob R. Lorch<\/strong><\/a>, Lidong Zhou<\/strong><\/a><\/p>\n

Tuesday, October 9, 2018 | 6:00 PM\u20137:30 PM
\nCosta Del Sol Foyer<\/h3>\n

Gandiva: Introspective Cluster Scheduling for Deep Learning<\/a><\/h4>\n

Wencong Xiao<\/strong>, Romil Bhardwaj<\/strong>, Ramachandran Ramjee<\/strong><\/a>, Muthian Sivathanu<\/strong>, Nipun Kwatra<\/a>, Zhenhua Han<\/strong>, Pratyush Patel<\/strong>, Xuan Peng<\/strong>, Hanyu Zhao<\/strong>, Quanlu Zhang<\/strong><\/a>, Fan Yang<\/strong><\/a>, Lidong Zhou<\/strong><\/a><\/p>\n

PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems<\/a><\/h4>\n

Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer<\/strong><\/a>, Matteo Interlandi<\/strong><\/p>\n

Verifying a concurrent mail server with CSPEC<\/a><\/h4>\n

Tej Chajed, Frans Kaashoek, Butler Lampson<\/strong><\/a>, Nickolai Zeldovich<\/p>\n

Graviton: Trusted Execution Environments on GPUs<\/a><\/h4>\n

Stavros Volos<\/strong><\/a>, Kapil Vaswani<\/strong><\/a>, Rodrigo Bruno<\/p>\n

Cracking Open the DNN Black Box: Split-Brain DNNs Across the Edge-Cloud Boundary<\/h4>\n

John Emmons, Jestin Ma, Sadjad Fouladi, Ganesh Ananthanarayanan<\/strong><\/a>, Shivaram Venkataraman, Silvio Savarese, Keith Winstein<\/p>\n

Proving the correct execution of concurrent services in zero-knowledge<\/a><\/h4>\n

Srinath Setty<\/strong><\/a>, Sebastian Angel, Trinabh Gupta<\/strong>, Jonathan Lee<\/strong><\/a><\/p>\n

A Vision for Private Video Analytics as a Cloud Service<\/h4>\n

Rishabh Poddar, Ganesh Ananthanarayanan<\/a>, Srinath Setty<\/strong><\/a>, Stavros Volos<\/strong><\/a>, Raluca Ada Popa<\/p>\n

Opens in a new tab<\/span><\/p>\n","tab-content":[{"id":0,"name":"About","content":"Microsoft is proud to be a silver sponsor of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI)<\/a> in Carlsbad, California, October 8-10, 2018. Come by our booth to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.\r\n

Session Chairs<\/h2>\r\n

Ranjita Bhagwan<\/a>\r\nJay Lorch<\/a>\r\nIrene Zhang<\/a><\/p>\r\n\r\n

Program Committee Members<\/h2>\r\n

Ranjita Bhagwan<\/a>\r\nMiguel Castro<\/a>\r\nLandon Cox<\/a>\r\nJay Lorch<\/a>\r\nMing Wu\r\nIrene Zhang<\/a><\/p>"},{"id":1,"name":"Technical Sessions","content":"

Monday, October 8, 2018 | 9:00 AM\u201310:20 AM\r\nUnderstanding Failures<\/h3>\r\n

Capturing and Enhancing In Situ<\/em> System Observability for Failure Detection<\/a><\/h4>\r\n

Peng Huang, Chuanxiong Guo, Jacob R. Lorch<\/strong><\/a>,<\/em> Lidong Zhou<\/strong><\/a>, Yingnong Dang<\/strong><\/p>\r\n\r\n

REPT: Reverse Debugging of Failures in Deployed Software<\/a><\/h4>\r\n

Weidong Cui<\/strong><\/a>, Xinyang Ge<\/strong><\/a>, Baris Kasikci, Ben Niu<\/strong><\/a>, Upamanyu Sharma, Ruoyu Wang, Insu Yun<\/p>\r\n\r\n

Monday, October 8, 2018 | 2:00 PM\u20133:20 PM\r\nScheduling<\/h3>\r\n

RobinHood: Tail Latency Aware Caching\u2014Dynamic Reallocation from Cache-Rich to Cache-Poor<\/a><\/h4>\r\n

Daniel S. Berger and Benjamin Berg, Timothy Zhu, Siddhartha Sen<\/strong><\/a>, Mor Harchol-Balter<\/p>\r\n\r\n

Monday, October 8, 2018 | 3:50 PM\u20135:10 PM\r\nData<\/h3>\r\n

Focus: Querying Large Video Datasets with Low Latency and Low Cost<\/a><\/h4>\r\n

Kevin Hsieh, Ganesh Ananthanarayanan<\/strong><\/a>, Peter Bodik<\/strong><\/a>, Shivaram Venkataraman<\/strong>, Paramvir Bahl<\/strong><\/a>, Matthai Philipose<\/strong><\/a>, Phillip B. Gibbons, Onur Mutlu<\/p>\r\n\r\n

Tuesday, October 9, 2018 | 9:00 AM-10:20 AM\r\nVerification<\/h3>\r\n

Verifying a concurrent mail server with CSPEC<\/a><\/h4>\r\n

Tej Chajed, Frans Kaashoek, Butler Lampson<\/strong><\/a>, Nickolai Zeldovich<\/p>\r\n\r\n

Proving the correct execution of concurrent services in zero-knowledge<\/a><\/h4>\r\n

Srinath Setty<\/strong><\/a>, Sebastian Angel, Trinabh Gupta<\/strong>, Jonathan Lee<\/strong><\/a><\/p>\r\n\r\n

Tuesday, October 9, 2018 | 10:50 AM\u201312:10 PM\r\nReliability<\/h3>\r\n

The FuzzyLog: A Partially Ordered Shared Log<\/a><\/h4>\r\n

Joshua Lockerman, Jose Faleiro, Juno Kim, and Soham Sankaran, Daniel J Abadi, James Aspnes, Siddhartha Sen<\/strong><\/a>, Mahesh Balakrishnan<\/p>\r\n\r\n

Tuesday, October 9, 2018 | 3:50 PM\u20135:10 PM\r\nDebugging<\/h3>\r\n

Orca: Differential Bug Localization in Large-Scale Services<\/a><\/h4>\r\n

Ranjita Bhagwan<\/strong><\/a>, Rahul Kumar<\/strong><\/a>, Chandra Sekhar Maddila<\/strong><\/a>, Adithya Abraham Philip<\/strong><\/p>\r\n\r\n

Wednesday, October 10, 2018 | 9:00 AM\u201310:20 AM\r\nMachine Learning<\/h3>\r\n

Gandiva: Introspective Cluster Scheduling for Deep Learning<\/a><\/h4>\r\n

Wencong Xiao<\/strong>, Romil Bhardwaj<\/strong>, Ramachandran Ramjee<\/strong><\/a>, Muthian Sivathanu<\/strong>, Nipun Kwatra<\/strong><\/a>, Zhenhua Han<\/strong>, Pratyush Patel<\/strong>, Xuan Peng<\/strong>, Hanyu Zhao<\/strong>, Quanlu Zhang<\/strong><\/a>, Fan Yang<\/strong><\/a>, Lidong Zhou<\/strong><\/a><\/p>\r\n\r\n

PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems<\/a><\/h4>\r\n

Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer<\/strong><\/a>,Matteo Interlandi<\/strong><\/p>\r\n\r\n

Wednesday, October 10, 2018 | 2:00 PM-3:20 PM\r\nSecurity<\/h3>\r\n

Graviton: Trusted Execution Environments on GPUs<\/a><\/h4>\r\n

Stavros Volos<\/strong><\/a>, Kapil Vaswani<\/strong><\/a>, Rodrigo Bruno<\/p>\r\n\r\n

Wednesday, October 10, 2018 | 3:50 PM\u20135:10 PM\r\nGraphs and Data<\/h3>\r\n

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine<\/a><\/h4>\r\n

Kai Wang, Zhiqiang Zuo, John Thorpe, Tim Nguyen, Guoqing Harry Xu<\/strong><\/p>"},{"id":2,"name":"Poster Sessions","content":"

Monday, October 8, 2018 | 6:00 PM\u20137:30 PM\r\nCosta Del Sol Foyer<\/h3>\r\n

Focus: Querying Large Video Datasets with Low Latency and Low Cost<\/a><\/h4>\r\n

Kevin Hsieh, Ganesh Ananthanarayanan<\/strong><\/a>, Peter Bodik<\/strong><\/a>, Shivaram Venkataraman<\/strong>, Paramvir Bahl<\/strong><\/a>, Matthai Philipose<\/strong><\/a>, Phillip B. Gibbons, Onur Mutlu<\/p>\r\n\r\n

REPT: Reverse Debugging of Failures in Deployed Software<\/a><\/h4>\r\n

Weidong Cui<\/strong><\/a>, Xinyang Ge<\/strong><\/a>, Baris Kasikci, Ben Niu<\/strong><\/a>, Upamanyu Sharma, Ruoyu Wang, Insu Yun<\/p>\r\n\r\n

RobinHood: Tail Latency Aware Caching\u2014Dynamic Reallocation from Cache-Rich to Cache-Poor<\/a><\/h4>\r\n

Daniel S. Berger, Benjamin Berg, Timothy Zhu, Siddhartha Sen<\/strong><\/a>, Mor Harchol-Balter<\/p>\r\n\r\n

Demikernel: An Operating System Architecture for Hardware-Accelerated Datacenter Servers<\/h4>\r\n

Jing Liu, Amanda Austin, Anirudh Badam<\/strong><\/a>, Irene Zhang<\/strong><\/a><\/p>\r\n\r\n

Capturing and Enhancing In Situ System Observability for Failure Detection<\/a><\/h4>\r\n

Peng Huang, Chuanxiong Guo, Jacob R. Lorch<\/strong><\/a>, Lidong Zhou<\/strong><\/a><\/p>\r\n\r\n

Tuesday, October 9, 2018 | 6:00 PM\u20137:30 PM\r\nCosta Del Sol Foyer<\/h3>\r\n

Gandiva: Introspective Cluster Scheduling for Deep Learning<\/a><\/h4>\r\n

Wencong Xiao<\/strong>, Romil Bhardwaj<\/strong>, Ramachandran Ramjee<\/strong><\/a>, Muthian Sivathanu<\/strong>, Nipun Kwatra<\/a>, Zhenhua Han<\/strong>, Pratyush Patel<\/strong>, Xuan Peng<\/strong>, Hanyu Zhao<\/strong>, Quanlu Zhang<\/strong><\/a>, Fan Yang<\/strong><\/a>, Lidong Zhou<\/strong><\/a><\/p>\r\n\r\n

PRETZEL: Opening the Black Box of Machine Learning Prediction Serving Systems<\/a><\/h4>\r\n

Yunseong Lee, Alberto Scolari, Byung-Gon Chun, Marco Domenico Santambrogio, Markus Weimer<\/strong><\/a>, Matteo Interlandi<\/strong><\/p>\r\n\r\n

Verifying a concurrent mail server with CSPEC<\/a><\/h4>\r\n

Tej Chajed, Frans Kaashoek, Butler Lampson<\/strong><\/a>, Nickolai Zeldovich<\/p>\r\n\r\n

Graviton: Trusted Execution Environments on GPUs<\/a><\/h4>\r\n

Stavros Volos<\/strong><\/a>, Kapil Vaswani<\/strong><\/a>, Rodrigo Bruno<\/p>\r\n\r\n

Cracking Open the DNN Black Box: Split-Brain DNNs Across the Edge-Cloud Boundary<\/h4>\r\n

John Emmons, Jestin Ma, Sadjad Fouladi, Ganesh Ananthanarayanan<\/strong><\/a>, Shivaram Venkataraman, Silvio Savarese, Keith Winstein<\/p>\r\n\r\n

Proving the correct execution of concurrent services in zero-knowledge<\/a><\/h4>\r\n

Srinath Setty<\/strong><\/a>, Sebastian Angel, Trinabh Gupta<\/strong>, Jonathan Lee<\/strong><\/a><\/p>\r\n\r\n

A Vision for Private Video Analytics as a Cloud Service<\/h4>\r\n

Rishabh Poddar, Ganesh Ananthanarayanan<\/a>, Srinath Setty<\/strong><\/a>, Stavros Volos<\/strong><\/a>, Raluca Ada Popa<\/p>"}],"msr_startdate":"2018-10-08","msr_enddate":"2018-10-10","msr_event_time":"","msr_location":"Carlsbad, California, USA","msr_event_link":"https:\/\/www.usenix.org\/user","msr_event_recording_link":"","msr_startdate_formatted":"October 8, 2018","msr_register_text":"Watch now","msr_cta_link":"https:\/\/www.usenix.org\/user","msr_cta_text":"Watch now","msr_cta_bi_name":"Event Register","featured_image_thumbnail":null,"event_excerpt":"Microsoft is proud to be a silver sponsor of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) in Carlsbad, CA, October 8-10, 2018. Come by our booth to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.","msr_research_lab":[199560,199562,199565],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[787831],"related-videos":[],"related-posts":[508862],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/507671","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":2,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/507671\/revisions"}],"predecessor-version":[{"id":1147075,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/507671\/revisions\/1147075"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=507671"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=507671"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=507671"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=507671"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=507671"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=507671"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=507671"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=507671"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=507671"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}