{"id":431178,"date":"2017-10-18T10:53:39","date_gmt":"2017-10-18T17:53:39","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=431178"},"modified":"2017-11-01T10:28:19","modified_gmt":"2017-11-01T17:28:19","slug":"microsoft-research-symposium-on-operating-systems-principles-sosp-2017","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/microsoft-research-symposium-on-operating-systems-principles-sosp-2017\/","title":{"rendered":"Microsoft Research @ Symposium on Operating Systems Principles (SOSP) 2017"},"content":{"rendered":"
Workshops:<\/strong> Saturday, October 28, 2017<\/p>\n Venue:<\/strong> Pudong Shangri-La Hotel (opens in new tab)<\/span><\/a><\/p>\n Website:<\/strong> Symposium on Operating Systems Principles (opens in new tab)<\/span><\/a><\/p>\n","protected":false},"excerpt":{"rendered":" Workshops: Saturday, October 28, 2017 Venue: Pudong Shangri-La Hotel Website: Symposium on Operating Systems Principles<\/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":"2017-10-28","msr_enddate":"2017-10-31","msr_location":"Shanghai, China","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":false,"footnotes":""},"research-area":[13547,13568],"msr-region":[256048],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-431178","msr-event","type-msr-event","status-publish","hentry","msr-research-area-systems-and-networking","msr-research-area-technology-for-emerging-markets","msr-region-global","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"Workshops:<\/strong> Saturday, October 28, 2017\r\n\r\nVenue:<\/strong> Pudong Shangri-La Hotel<\/a>\r\n\r\nWebsite:<\/strong> Symposium on Operating Systems Principles<\/a>","tab-content":[{"id":0,"name":"About","content":"Microsoft Research is actively participating at this year\u2019s SOSP conference, the world\u2019s premier forum for researchers, developers, programmers, and teachers of computer systems technology, representing activities in both academia and industry. We\u2019re excited to present at sessions, meet attendees at our booth, and support SOSP through a gold-level sponsorship.\r\n\r\nIf you\u2019re attending, come meet researchers and recruiters at the Microsoft booth. While you\u2019re there, pick up some free swag and then submit your resume for a chance to win at our raffle!\r\nSOSP organizing committee<\/h2>\r\nGeneral Chair:<\/strong> Lidong Zhou<\/a>\r\n\r\nPublication Chair:<\/strong> Ming Wu<\/a>\r\n\r\nTreasurer:<\/strong> Srinath Setty<\/a>\r\n\r\nProgram Committee:<\/strong>\r\n
\r\n \t
The Ada Workshop cochairs<\/h2>\r\nXin Ma, The Ada Workshop\r\n
Workshop organizing committees<\/h2>\r\nSiddhartha Sen<\/a>, AI Systems Workshop<\/a>\r\n\r\nQi Chen<\/a>, The Ada Workshop\r\n
Sessions<\/h2>\r\nCrystalNet: Faithfully Emulating Large Production Networks<\/strong><\/a> Hongqiang \u201cHarry\u201d Liu<\/a>, Yibo Zhu<\/a>, Jitu Padhye<\/a>, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, Andrey Rybalchenko<\/a>, Guohan Lu, Lihua Yuan\r\n\r\nKV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC<\/strong> Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, Yongqiang Xiong<\/a>, Andrew Putnam<\/a>, Enhong Chen, USTC; Lintao Zhang<\/a>\r\n\r\nResource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms<\/strong> <\/a>Eli Cortez, Anand Bonde<\/a>, Alexandre Muzio, ITA, Brazil; Mark Russinovich, Marcus Fontoura, Ricardo Bianchini<\/a>\r\n\r\nKomodo: Using Verification to Disentangle Secure-Enclave Hardware from Software<\/strong> Andrew Ferraiuolo, Cornell University; Andrew Baumann, Chris Hawblitzel<\/a>, Bryan Parno, Carnegie Mellon University\r\n\r\nAutomatically Repairing Network Control Planes Using an Abstract Representation<\/strong> Aaron Gember-Jacobson, Colgate University; Aditya Akella, University of Wisconsin-Madison; Ratul Mahajan, IntentionNet; Hongqiang \u201cHarry\u201d Liu<\/a>\r\n\r\nWatchIT: Who Watches Your IT Guy?<\/strong> Noam Shalev, Idit Keidar, Technion; Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda, IBM Research\r\n\r\nLazy Diagnosis of In-Production Concurrency Bugs<\/strong> Baris Kasikci, Weidong Cui<\/a>, Xinyang Ge<\/a>, Ben Niu<\/a>\r\n\r\nOptimizing Big-Data Queries Using Program Synthesis<\/strong> Matthias Schlaipfer, TU Wien; Kaushik Rajan<\/a>, Akash Lal<\/a>, Malavika Samak, MIT\r\n
Workshops<\/h2>\r\nThe Ada Workshop, speakers:<\/strong>\r\n\r\nLidong Zhou<\/a>\r\n\r\nQi Chen<\/a>"}],"msr_startdate":"2017-10-28","msr_enddate":"2017-10-31","msr_event_time":"","msr_location":"Shanghai, China","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"October 28, 2017","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"Microsoft Research is actively participating at this year\u2019s SOSP conference, the world\u2019s premier forum for researchers, developers, programmers, and teachers of computer systems technology, representing activities in both academia and industry. We\u2019re excited to present at sessions, meet attendees at our booth, and support SOSP through a gold-level sponsorship. If you\u2019re attending, come meet researchers and recruiters at the Microsoft booth. While you\u2019re there, pick up some free swag and then submit your resume for…","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[435450],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/431178"}],"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\/431178\/revisions"}],"predecessor-version":[{"id":431202,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/431178\/revisions\/431202"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=431178"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=431178"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=431178"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=431178"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=431178"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=431178"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=431178"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=431178"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=431178"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}