{"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&#038;p=431178"},"modified":"2025-08-06T11:57:38","modified_gmt":"2025-08-06T18:57:38","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":"\n\n<p><strong>Workshops:<\/strong> Saturday, October 28, 2017<\/p>\n<p><strong>Venue:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.shangri-la.com\/shanghai\/pudongshangrila\/about\/\" target=\"_blank\" rel=\"noopener\">Pudong Shangri-La Hotel<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p><strong>Website:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/www.sigops.org\/sosp\/sosp17\/index.html\" target=\"_blank\" rel=\"noopener\">Symposium on Operating Systems Principles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>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.<\/p>\n<p>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 a chance to win at our raffle!<\/p>\n<h2>SOSP organizing committee<\/h2>\n<p><strong>General Chair:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lidongz\/\">Lidong Zhou<\/a><\/p>\n<p><strong>Publication Chair:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/miw\/\">Ming Wu<\/a><\/p>\n<p><strong>Treasurer:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/srinath\/\">Srinath Setty<\/a><\/p>\n<p><strong>Program Committee:<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/mcastro\/\">Miguel Castro<\/a><\/li>\n<li>Johannes Gehrke<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lorch\/\">Jay Lorch<\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/moscitho\/\">Thomas Moscibroda<\/a><\/li>\n<li>Madanlal Musuvathi<\/li>\n<\/ul>\n<h2>The Ada Workshop cochairs<\/h2>\n<p>Xin Ma, The Ada Workshop<\/p>\n<h2>Workshop organizing committees<\/h2>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sidsen\/\">Siddhartha Sen<\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/learningsys.org\/sosp17\/\" target=\"_blank\" rel=\"noopener\">AI Systems Workshop<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cheqi\/\">Qi Chen<\/a>, The Ada Workshop<\/p>\n<h2>Sessions<\/h2>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/crystalnet-faithfully-emulating-large-production-networks\/\"><strong>CrystalNet: Faithfully Emulating Large Production Networks<\/strong><\/a> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/harliu\/\">Hongqiang \u201cHarry\u201d Liu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yibzh\/\">Yibo Zhu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/padhye\/\">Jitu Padhye<\/a>, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rybal\/\">Andrey Rybalchenko<\/a>, Guohan Lu, Lihua Yuan<\/p>\n<p><strong>KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC<\/strong> Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yqx\/\">Yongqiang Xiong<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/anputnam\/\">Andrew Putnam<\/a>, Enhong Chen, USTC; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lintaoz\/\">Lintao Zhang<\/a><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/10\/Resource-Central-SOSP17.pdf\"><strong>Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms<\/strong> <\/a>Eli Cortez, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abonde\/\">Anand Bonde<\/a>, Alexandre Muzio, ITA, Brazil; Mark Russinovich, Marcus Fontoura, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/ricardob\/\">Ricardo Bianchini<\/a><\/p>\n<p><strong>Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software<\/strong> Andrew Ferraiuolo, Cornell University; Andrew Baumann, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chrishaw\/\">Chris Hawblitzel<\/a>, Bryan Parno, Carnegie Mellon University<\/p>\n<p><strong>Automatically Repairing Network Control Planes Using an Abstract Representation<\/strong> Aaron Gember-Jacobson, Colgate University; Aditya Akella, University of Wisconsin-Madison; Ratul Mahajan, IntentionNet; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/harliu\/\">Hongqiang \u201cHarry\u201d Liu<\/a><\/p>\n<p><strong>WatchIT: Who Watches Your IT Guy?<\/strong> Noam Shalev, Idit Keidar, Technion; Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda, IBM Research<\/p>\n<p><strong>Lazy Diagnosis of In-Production Concurrency Bugs<\/strong> Baris Kasikci, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/wdcui\/\">Weidong Cui<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/xing\/\">Xinyang Ge<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/beniu\/\">Ben Niu<\/a><\/p>\n<p><strong>Optimizing Big-Data Queries Using Program Synthesis<\/strong> Matthias Schlaipfer, TU Wien; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/krajan\/\">Kaushik Rajan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/akashl\/\">Akash Lal<\/a>, Malavika Samak, MIT<\/p>\n<h2>Workshops<\/h2>\n<p><strong>The Ada Workshop, speakers:<\/strong><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lidongz\/\">Lidong Zhou<\/a><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cheqi\/\">Qi Chen<\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Workshops: Saturday, October 28, 2017 Venue: Pudong Shangri-La Hotel (opens in new tab) Website: Symposium on Operating Systems Principles (opens in new tab)Opens in a new tab 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 [&hellip;]<\/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,"msr_hide_image_in_river":0,"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":"<!-- wp:msr\/event-details {\"title\":\"Microsoft Research @ Symposium on Operating Systems Principles (SOSP) 2017\",\"backgroundColor\":\"grey\"} \/-->\n\n<!-- wp:msr\/content-tabs --><!-- wp:msr\/content-tab {\"title\":\"About\"} --><!-- wp:freeform --><p><strong>Workshops:<\/strong> Saturday, October 28, 2017<\/p>\n<p><strong>Venue:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.shangri-la.com\/shanghai\/pudongshangrila\/about\/\" target=\"_blank\" rel=\"noopener\">Pudong Shangri-La Hotel<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<p><strong>Website:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/www.sigops.org\/sosp\/sosp17\/index.html\" target=\"_blank\" rel=\"noopener\">Symposium on Operating Systems Principles<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>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.<\/p>\n<p>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 a chance to win at our raffle!<\/p>\n<h2>SOSP organizing committee<\/h2>\n<p><strong>General Chair:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lidongz\/\">Lidong Zhou<\/a><\/p>\n<p><strong>Publication Chair:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/miw\/\">Ming Wu<\/a><\/p>\n<p><strong>Treasurer:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/srinath\/\">Srinath Setty<\/a><\/p>\n<p><strong>Program Committee:<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/mcastro\/\">Miguel Castro<\/a><\/li>\n<li>Johannes Gehrke<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lorch\/\">Jay Lorch<\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/moscitho\/\">Thomas Moscibroda<\/a><\/li>\n<li>Madanlal Musuvathi<\/li>\n<\/ul>\n<h2>The Ada Workshop cochairs<\/h2>\n<p>Xin Ma, The Ada Workshop<\/p>\n<h2>Workshop organizing committees<\/h2>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sidsen\/\">Siddhartha Sen<\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/learningsys.org\/sosp17\/\" target=\"_blank\" rel=\"noopener\">AI Systems Workshop<\/a><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cheqi\/\">Qi Chen<\/a>, The Ada Workshop<\/p>\n<h2>Sessions<\/h2>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/crystalnet-faithfully-emulating-large-production-networks\/\"><strong>CrystalNet: Faithfully Emulating Large Production Networks<\/strong><\/a> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/harliu\/\">Hongqiang \u201cHarry\u201d Liu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yibzh\/\">Yibo Zhu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/padhye\/\">Jitu Padhye<\/a>, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rybal\/\">Andrey Rybalchenko<\/a>, Guohan Lu, Lihua Yuan<\/p>\n<p><strong>KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC<\/strong> Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yqx\/\">Yongqiang Xiong<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/anputnam\/\">Andrew Putnam<\/a>, Enhong Chen, USTC; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lintaoz\/\">Lintao Zhang<\/a><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/10\/Resource-Central-SOSP17.pdf\"><strong>Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms<\/strong> <\/a>Eli Cortez, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abonde\/\">Anand Bonde<\/a>, Alexandre Muzio, ITA, Brazil; Mark Russinovich, Marcus Fontoura, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/ricardob\/\">Ricardo Bianchini<\/a><\/p>\n<p><strong>Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software<\/strong> Andrew Ferraiuolo, Cornell University; Andrew Baumann, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chrishaw\/\">Chris Hawblitzel<\/a>, Bryan Parno, Carnegie Mellon University<\/p>\n<p><strong>Automatically Repairing Network Control Planes Using an Abstract Representation<\/strong> Aaron Gember-Jacobson, Colgate University; Aditya Akella, University of Wisconsin-Madison; Ratul Mahajan, IntentionNet; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/harliu\/\">Hongqiang \u201cHarry\u201d Liu<\/a><\/p>\n<p><strong>WatchIT: Who Watches Your IT Guy?<\/strong> Noam Shalev, Idit Keidar, Technion; Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda, IBM Research<\/p>\n<p><strong>Lazy Diagnosis of In-Production Concurrency Bugs<\/strong> Baris Kasikci, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/wdcui\/\">Weidong Cui<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/xing\/\">Xinyang Ge<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/beniu\/\">Ben Niu<\/a><\/p>\n<p><strong>Optimizing Big-Data Queries Using Program Synthesis<\/strong> Matthias Schlaipfer, TU Wien; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/krajan\/\">Kaushik Rajan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/akashl\/\">Akash Lal<\/a>, Malavika Samak, MIT<\/p>\n<h2>Workshops<\/h2>\n<p><strong>The Ada Workshop, speakers:<\/strong><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lidongz\/\">Lidong Zhou<\/a><\/p>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cheqi\/\">Qi Chen<\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- \/wp:msr\/content-tabs -->","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\n<h2>SOSP organizing committee<\/h2>\r\n<strong>General Chair:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lidongz\/\">Lidong Zhou<\/a>\r\n\r\n<strong>Publication Chair:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/miw\/\">Ming Wu<\/a>\r\n\r\n<strong>Treasurer:<\/strong> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/srinath\/\">Srinath Setty<\/a>\r\n\r\n<strong>Program Committee:<\/strong>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/mcastro\/\">Miguel Castro<\/a><\/li>\r\n \t<li>Johannes Gehrke<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lorch\/\">Jay Lorch<\/a><\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/moscitho\/\">Thomas Moscibroda<\/a><\/li>\r\n \t<li>Madanlal Musuvathi<\/li>\r\n<\/ul>\r\n<h2>The Ada Workshop cochairs<\/h2>\r\nXin Ma, The Ada Workshop\r\n<h2>Workshop organizing committees<\/h2>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/sidsen\/\">Siddhartha Sen<\/a>, <a href=\"http:\/\/learningsys.org\/sosp17\/\" target=\"_blank\" rel=\"noopener\">AI Systems Workshop<\/a>\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cheqi\/\">Qi Chen<\/a>, The Ada Workshop\r\n<h2>Sessions<\/h2>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/crystalnet-faithfully-emulating-large-production-networks\/\"><strong>CrystalNet: Faithfully Emulating Large Production Networks<\/strong><\/a> <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/harliu\/\">Hongqiang \u201cHarry\u201d Liu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yibzh\/\">Yibo Zhu<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/padhye\/\">Jitu Padhye<\/a>, Jiaxin Cao, Sri Tallapragada, Nuno P. Lopes, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rybal\/\">Andrey Rybalchenko<\/a>, Guohan Lu, Lihua Yuan\r\n\r\n<strong>KV-Direct: High-Performance In-Memory Key-Value Store with Programmable NIC<\/strong> Bojie Li, Zhenyuan Ruan, Wencong Xiao, Yuanwei Lu, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/yqx\/\">Yongqiang Xiong<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/anputnam\/\">Andrew Putnam<\/a>, Enhong Chen, USTC; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lintaoz\/\">Lintao Zhang<\/a>\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/10\/Resource-Central-SOSP17.pdf\"><strong>Resource Central: Understanding and Predicting Workloads for Improved Resource Management in Large Cloud Platforms<\/strong> <\/a>Eli Cortez, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/abonde\/\">Anand Bonde<\/a>, Alexandre Muzio, ITA, Brazil; Mark Russinovich, Marcus Fontoura, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/ricardob\/\">Ricardo Bianchini<\/a>\r\n\r\n<strong>Komodo: Using Verification to Disentangle Secure-Enclave Hardware from Software<\/strong> Andrew Ferraiuolo, Cornell University; Andrew Baumann, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chrishaw\/\">Chris Hawblitzel<\/a>, Bryan Parno, Carnegie Mellon University\r\n\r\n<strong>Automatically Repairing Network Control Planes Using an Abstract Representation<\/strong> Aaron Gember-Jacobson, Colgate University; Aditya Akella, University of Wisconsin-Madison; Ratul Mahajan, IntentionNet; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/harliu\/\">Hongqiang \u201cHarry\u201d Liu<\/a>\r\n\r\n<strong>WatchIT: Who Watches Your IT Guy?<\/strong> Noam Shalev, Idit Keidar, Technion; Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda, IBM Research\r\n\r\n<strong>Lazy Diagnosis of In-Production Concurrency Bugs<\/strong> Baris Kasikci, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/wdcui\/\">Weidong Cui<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/xing\/\">Xinyang Ge<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/beniu\/\">Ben Niu<\/a>\r\n\r\n<strong>Optimizing Big-Data Queries Using Program Synthesis<\/strong> Matthias Schlaipfer, TU Wien; <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/krajan\/\">Kaushik Rajan<\/a>, <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/akashl\/\">Akash Lal<\/a>, Malavika Samak, MIT\r\n<h2>Workshops<\/h2>\r\n<strong>The Ada Workshop, speakers:<\/strong>\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/lidongz\/\">Lidong Zhou<\/a>\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cheqi\/\">Qi 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&hellip;","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","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":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/431178\/revisions"}],"predecessor-version":[{"id":1147141,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/431178\/revisions\/1147141"}],"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}]}}