{"id":612294,"date":"2019-10-03T10:02:38","date_gmt":"2019-10-03T17:02:38","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=612294"},"modified":"2025-08-06T11:55:42","modified_gmt":"2025-08-06T18:55:42","slug":"sosp-2019","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/sosp-2019\/","title":{"rendered":"Microsoft at SOSP 2019"},"content":{"rendered":"\n\n

Venue:<\/strong> Deerhurst Resort (opens in new tab)<\/span><\/a><\/p>\n

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

This biennial ACM Symposium on Operating Systems Principles is the world’s premier forum for researchers, developers, programmers, and teachers of computer systems technology. As a bronze sponsor, Microsoft will join academic and industrial participants as they present research and experience papers that cover the full range of theory and practice of computer systems software. Microsoft is also a proud co-sponsor for the second ACM Student Research Competition (SRC) (opens in new tab)<\/span><\/a> which offers undergraduate and graduate students a unique forum to experience the research world present their research results and compete for prizes. Stop by our table to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.<\/p>\n

Organizers<\/h2>\n

Sponsorship Co-Chair: Stefan Saroiu<\/a>
\nProgram Committee members: Dan Ports<\/a>, Muthian Sivathanu<\/a>, Irene Zhang<\/a>, Lidong Zhou<\/a>
\nWorkshop Organizers: Sarah Bird<\/a>, Siddhartha Sen<\/a>, Chris Hawblitzel<\/a><\/p>\n

Microsoft attendees<\/h2>\n

Andrew Baumann<\/a>
\nChristian Bird<\/a>
\nRichard Black<\/a>
\nMiguel Castro<\/a>
\nAndromachi Chatzieleftheriou<\/a>
\nLandon Cox<\/a>
\nAustin Donnelly<\/a>
\nAleksandar\u00a0Dragojevic<\/a>
\nRich Draves<\/a>
\nShane Fleming<\/a>
\nNavin Goyal<\/a>
\nChris Hawblitzel<\/a>
\nGalen Hunt<\/a>
\nBrian Kroth (opens in new tab)<\/span><\/a>
\nButler Lampson<\/a>
\nMathias Lecuyer<\/a>
\nJunyi Liu<\/a>
\nJay Lorch<\/a>
\nMadan Musuvathi<\/a>
\nMihir Nanavati<\/a>
\nDushyanth\u00a0Narayanan<\/a>
\nSuman Nath<\/a>
\nAmar Phanishayee<\/a>
\nDan Ports<\/a>
\nMatthew Renzelmann<\/a>
\nAnt Rowstron<\/a>
\nStefan Saroiu<\/a>
\nAlec Wolman<\/a>
\nIrene Zhang<\/a>Opens in a new tab<\/span><\/p>\n

Sunday, October 27 |\u00a0Workshops<\/h2>\n

AI Systems<\/strong> (opens in new tab)<\/span><\/a>
\nSarah Bird<\/a>, Garth Gibson, Joseph Gonzalez, Aparna Lakshmiratan, Siddhartha Sen<\/a>, Dan Crankshaw<\/a><\/p>\n

PLOS 2019: Tenth Workshop on Programming Languages and Operating Systems<\/strong> (opens in new tab)<\/span><\/a>
\nChris Hawblitzel<\/a>, Gilles Muller, Olaf Spinczyk<\/p>\n

Monday, October 28<\/h2>\n

9:00 AM\u201310:20 AM | Session 1: Machines, Learning<\/h3>\n

PipeDream: Generalized Pipeline Parallelism for DNN Training<\/strong>
\nDeepak Narayanan, Aaron Harlap, Amar Phanishayee<\/a>, Vivek Seshadri<\/a>, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia<\/p>\n

1:40 PM\u20133:00 PM | Session 3: Systems: Still Buggy<\/h3>\n

Efficient and Scalable Thread-Safety Violation Detection – Finding thousands of concurrency bugs during testing<\/strong>
\nGuangpu Li, Shan Lu, Madan Musuvathi<\/a>, Suman Nath<\/a>, Rohan Padhye<\/p>\n

Tuesday, October 29<\/h2>\n

9:00 AM\u201310:20 AM | Session 5: It Must Be Correct<\/h3>\n

Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval<\/strong>
\nLuke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann<\/a>, Emina Torlak, Xi Wang<\/p>\n

10:50 AM\u201311:50 AM | Session 6: Data, Data, Everywhere<\/h3>\n

Niijima: Sound and Automated Computation Consolidation for Efficient Multilingual Data-Parallel Pipelines<\/strong>
\nGuoqing Harry Xu, Margus Veanes<\/a>, Michael Barnett (opens in new tab)<\/span><\/a>, Madan Musuvathi<\/a>, Todd Mytkowicz<\/a>, Ben Zorn<\/a>, Huan He (opens in new tab)<\/span><\/a>, Haibo Lin (opens in new tab)<\/span><\/a><\/p>\n

Nexus: A GPU Cluster Engine for Accelerating DNN-Based Video Analysis<\/strong>
\nHaichen Shen, Lequn Chen, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose<\/a><\/strong>, Arvind Krishnamurthy, Ravi SundaramOpens in a new tab<\/span><\/p>\n

See below for open opportunities at SOSP. Find more opportunities with Microsoft on our careers site (opens in new tab)<\/span><\/a>.<\/p>\n

\t\t\t

\n\t\t\t
\n\t\t\t\t\n
\n\t
\n\t\t

\n\t\t\t\t\t\t\tSystems for the Cloud Internship<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

The move to the cloud calls for rethinking how systems are built and run. The unprecedented scale of the cloud together with the demand for extremely high availability pose many challenges. It also creates an opportunity to build systems…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tOptics Internship<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

Microsoft Research is offering the unique opportunity to work in Cambridge for a 12-week (or longer) internship in cutting-edge optical technologies that will underpin the next generation of cloud infrastructure and head-mounted display technology…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tFPGA Internship<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

The fast growth of the cloud is continuously driving hardware efficiency and performance in cloud infrastructure. Our work is exploring the technologies beyond traditional computer systems. Hardware customization is playing a major role in a variety of projects across the lab. Today, nearly every new server in Microsoft…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>\t\t\t<\/div>\n\t\t<\/div>\n\t\t
\n\t\t\t

\n\t\t\t
\n\t\t\t\t\n
\n\t
\n\t\t

\n\t\t\t\t\t\t\tFile-system and Storage Technologies Post-doc Researcher<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

Are you an exceptional systems researcher excited by the opportunity to invent the future of cloud storage? Are you eager to work with physicists, optical scientists, laser specialists, electrical and mechanical engineers in a multi-disciplinary team…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior Research SDE – Gray Systems Lab<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Sunnyvale, California<\/p>

We are the Gray Systems Lab (GSL), an applied research group part of the Azure Data CTO office. GSL tackles interesting challenges in both open-source and proprietary technologies related to Big Data, cloud and storage systems among others. We build reliable, highly scalable…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior Researcher – Systems Research Group<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

If you\u2019re an excellent candidate with systems expertise, and are interested in doing cutting-edge research at an institution where your work can have a direct impact on commercial products, we encourage you to apply for this position…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>\t\t\t<\/div>\n\t\t<\/div>\n\t\t
\n\t\t\t

\n\t\t\t
\n\t\t\t\t\n
\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior RSDE – Systems Research Group<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

If you enjoy innovating and solving challenging problems in operating systems, hypervisors, cloud platforms, and distributed systems, this is the job for you. Being part of the Systems group at Microsoft Research Redmond gives you to the unique…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tResearch Intern – Systems Research Group<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

The Systems Research Group in Microsoft Research is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient…<\/p>

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

SOSP 2019 is the biennial ACM Symposium on Operating Systems Principles is the world&amp;amp;amp;amp;amp;amp;amp;amp;amp;#039;s premier forum for researchers, developers, programmers, and teachers of computer systems technology. As a bronze sponsor, Microsoft will join academic and industrial participants as they present research and experience papers that cover the full range of theory and practice of computer systems software. Microsoft is also a proud co-sponsor for the second ACM Student Research Competition (SRC) which offers undergraduate and graduate students a unique forum to experience the research world present their research results and compete for prizes.<\/p>\n","protected":false},"featured_media":612465,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2019-10-27","msr_enddate":"2019-10-30","msr_location":"Huntsville, Ontario, Canada","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"https:\/\/sosp19.rcs.uwaterloo.ca\/reg.html","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-612294","msr-event","type-msr-event","status-publish","has-post-thumbnail","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> Deerhurst Resort (opens in new tab)<\/span><\/a><\/p>\n

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

This biennial ACM Symposium on Operating Systems Principles is the world’s premier forum for researchers, developers, programmers, and teachers of computer systems technology. As a bronze sponsor, Microsoft will join academic and industrial participants as they present research and experience papers that cover the full range of theory and practice of computer systems software. Microsoft is also a proud co-sponsor for the second ACM Student Research Competition (SRC)<\/a> which offers undergraduate and graduate students a unique forum to experience the research world present their research results and compete for prizes. Stop by our table to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.<\/p>\n

Organizers<\/h2>\n

Sponsorship Co-Chair: Stefan Saroiu<\/a>
\nProgram Committee members: Dan Ports<\/a>, Muthian Sivathanu<\/a>, Irene Zhang<\/a>, Lidong Zhou<\/a>
\nWorkshop Organizers: Sarah Bird<\/a>, Siddhartha Sen<\/a>, Chris Hawblitzel<\/a><\/p>\n

Microsoft attendees<\/h2>\n

Andrew Baumann<\/a>
\nChristian Bird<\/a>
\nRichard Black<\/a>
\nMiguel Castro<\/a>
\nAndromachi Chatzieleftheriou<\/a>
\nLandon Cox<\/a>
\nAustin Donnelly<\/a>
\nAleksandar\u00a0Dragojevic<\/a>
\nRich Draves<\/a>
\nShane Fleming<\/a>
\nNavin Goyal<\/a>
\nChris Hawblitzel<\/a>
\nGalen Hunt<\/a>
\nBrian Kroth<\/a>
\nButler Lampson<\/a>
\nMathias Lecuyer<\/a>
\nJunyi Liu<\/a>
\nJay Lorch<\/a>
\nMadan Musuvathi<\/a>
\nMihir Nanavati<\/a>
\nDushyanth\u00a0Narayanan<\/a>
\nSuman Nath<\/a>
\nAmar Phanishayee<\/a>
\nDan Ports<\/a>
\nMatthew Renzelmann<\/a>
\nAnt Rowstron<\/a>
\nStefan Saroiu<\/a>
\nAlec Wolman<\/a>
\nIrene Zhang<\/a>Opens in a new tab<\/span><\/p>\n

Sunday, October 27 |\u00a0Workshops<\/h2>\n

AI Systems<\/strong><\/a>
\nSarah Bird<\/a>, Garth Gibson, Joseph Gonzalez, Aparna Lakshmiratan, Siddhartha Sen<\/a>, Dan Crankshaw<\/a><\/p>\n

PLOS 2019: Tenth Workshop on Programming Languages and Operating Systems<\/strong><\/a>
\nChris Hawblitzel<\/a>, Gilles Muller, Olaf Spinczyk<\/p>\n

Monday, October 28<\/h2>\n

9:00 AM\u201310:20 AM | Session 1: Machines, Learning<\/h3>\n

PipeDream: Generalized Pipeline Parallelism for DNN Training<\/strong>
\nDeepak Narayanan, Aaron Harlap, Amar Phanishayee<\/a>, Vivek Seshadri<\/a>, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia<\/p>\n

1:40 PM\u20133:00 PM | Session 3: Systems: Still Buggy<\/h3>\n

Efficient and Scalable Thread-Safety Violation Detection – Finding thousands of concurrency bugs during testing<\/strong>
\nGuangpu Li, Shan Lu, Madan Musuvathi<\/a>, Suman Nath<\/a>, Rohan Padhye<\/p>\n

Tuesday, October 29<\/h2>\n

9:00 AM\u201310:20 AM | Session 5: It Must Be Correct<\/h3>\n

Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval<\/strong>
\nLuke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann<\/a>, Emina Torlak, Xi Wang<\/p>\n

10:50 AM\u201311:50 AM | Session 6: Data, Data, Everywhere<\/h3>\n

Niijima: Sound and Automated Computation Consolidation for Efficient Multilingual Data-Parallel Pipelines<\/strong>
\nGuoqing Harry Xu, Margus Veanes<\/a>, Michael Barnett<\/a>, Madan Musuvathi<\/a>, Todd Mytkowicz<\/a>, Ben Zorn<\/a>, Huan He<\/a>, Haibo Lin<\/a><\/p>\n

Nexus: A GPU Cluster Engine for Accelerating DNN-Based Video Analysis<\/strong>
\nHaichen Shen, Lequn Chen, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose<\/a><\/strong>, Arvind Krishnamurthy, Ravi SundaramOpens in a new tab<\/span><\/p>\n

See below for open opportunities at SOSP. Find more opportunities with Microsoft on our careers site (opens in new tab)<\/span><\/a>.<\/p>\n

\t\t\t

\n\t\t\t
\n\t\t\t\t\n
\n\t
\n\t\t

\n\t\t\t\t\t\t\tSystems for the Cloud Internship<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

The move to the cloud calls for rethinking how systems are built and run. The unprecedented scale of the cloud together with the demand for extremely high availability pose many challenges. It also creates an opportunity to build systems…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tOptics Internship<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

Microsoft Research is offering the unique opportunity to work in Cambridge for a 12-week (or longer) internship in cutting-edge optical technologies that will underpin the next generation of cloud infrastructure and head-mounted display technology…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tFPGA Internship<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

The fast growth of the cloud is continuously driving hardware efficiency and performance in cloud infrastructure. Our work is exploring the technologies beyond traditional computer systems. Hardware customization is playing a major role in a variety of projects across the lab. Today, nearly every new server in Microsoft…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>\t\t\t<\/div>\n\t\t<\/div>\n\t\t
\n\t\t\t

\n\t\t\t
\n\t\t\t\t\n
\n\t
\n\t\t

\n\t\t\t\t\t\t\tFile-system and Storage Technologies Post-doc Researcher<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Lab\/Location<\/strong>: Microsoft Research Lab – Cambridge<\/p>

Are you an exceptional systems researcher excited by the opportunity to invent the future of cloud storage? Are you eager to work with physicists, optical scientists, laser specialists, electrical and mechanical engineers in a multi-disciplinary team…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior Research SDE - Gray Systems Lab<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Sunnyvale, California<\/p>

We are the Gray Systems Lab (GSL), an applied research group part of the Azure Data CTO office. GSL tackles interesting challenges in both open-source and proprietary technologies related to Big Data, cloud and storage systems among others. We build reliable, highly scalable…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior Researcher - Systems Research Group<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

If you\u2019re an excellent candidate with systems expertise, and are interested in doing cutting-edge research at an institution where your work can have a direct impact on commercial products, we encourage you to apply for this position…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>\t\t\t<\/div>\n\t\t<\/div>\n\t\t
\n\t\t\t

\n\t\t\t
\n\t\t\t\t\n
\n\t
\n\t\t

\n\t\t\t\t\t\t\tSenior RSDE - Systems Research Group<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t
<\/div>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

If you enjoy innovating and solving challenging problems in operating systems, hypervisors, cloud platforms, and distributed systems, this is the job for you. Being part of the Systems group at Microsoft Research Redmond gives you to the unique…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n\n

\n\t
\n\t\t

\n\t\t\t\t\t\t\tResearch Intern - Systems Research Group<\/a>\n\t\t\t\t\t<\/h3>\n\n\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t\t<\/p>
<\/div>

Lab\/Location<\/strong>: Redmond, Washington<\/p>

The Systems Research Group in Microsoft Research is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient…<\/p>

\t\t\t<\/div>\n\t\t<\/div>\n\n\t<\/div>\n<\/article>\n<\/p>\t\t\t<\/div>\n\t\t<\/div>\n\t\tOpens in a new tab<\/span><\/p>\n","tab-content":[{"id":0,"name":"About","content":"This biennial ACM Symposium on Operating Systems Principles is the world's premier forum for researchers, developers, programmers, and teachers of computer systems technology. As a bronze sponsor, Microsoft will join academic and industrial participants as they present research and experience papers that cover the full range of theory and practice of computer systems software. Microsoft is also a proud co-sponsor for the second ACM Student Research Competition (SRC)<\/a> which offers undergraduate and graduate students a unique forum to experience the research world present their research results and compete for prizes. Stop by our table to chat with our experts, see demos of our latest research and find out about career opportunities with Microsoft.\r\n

Organizers<\/h2>\r\nSponsorship Co-Chair: Stefan Saroiu<\/a>\r\nProgram Committee members: Dan Ports<\/a>, Muthian Sivathanu<\/a>, Irene Zhang<\/a>, Lidong Zhou<\/a>\r\nWorkshop Organizers: Sarah Bird<\/a>, Siddhartha Sen<\/a>, Chris Hawblitzel<\/a>\r\n

Microsoft attendees<\/h2>\r\nAndrew Baumann<\/a>\r\nChristian Bird<\/a>\r\nRichard Black<\/a>\r\nMiguel Castro<\/a>\r\nAndromachi Chatzieleftheriou<\/a>\r\nLandon Cox<\/a>\r\nAustin Donnelly<\/a>\r\nAleksandar\u00a0Dragojevic<\/a>\r\nRich Draves<\/a>\r\nShane Fleming<\/a>\r\nNavin Goyal<\/a>\r\nChris Hawblitzel<\/a>\r\nGalen Hunt<\/a>\r\nBrian Kroth<\/a>\r\nButler Lampson<\/a>\r\nMathias Lecuyer<\/a>\r\nJunyi Liu<\/a>\r\nJay Lorch<\/a>\r\nMadan Musuvathi<\/a>\r\nMihir Nanavati<\/a>\r\nDushyanth\u00a0Narayanan<\/a>\r\nSuman Nath<\/a>\r\nAmar Phanishayee<\/a>\r\nDan Ports<\/a>\r\nMatthew Renzelmann<\/a>\r\nAnt Rowstron<\/a>\r\nStefan Saroiu<\/a>\r\nAlec Wolman<\/a>\r\nIrene Zhang<\/a>"},{"id":1,"name":"Sessions","content":"

Sunday, October 27 |\u00a0Workshops<\/h2>\r\nAI Systems<\/strong><\/a>\r\nSarah Bird<\/a>, Garth Gibson, Joseph Gonzalez, Aparna Lakshmiratan, Siddhartha Sen<\/a>, Dan Crankshaw<\/a>\r\n\r\nPLOS 2019: Tenth Workshop on Programming Languages and Operating Systems<\/strong><\/a>\r\nChris Hawblitzel<\/a>, Gilles Muller, Olaf Spinczyk\r\n

Monday, October 28<\/h2>\r\n

9:00 AM\u201310:20 AM | Session 1: Machines, Learning<\/h3>\r\nPipeDream: Generalized Pipeline Parallelism for DNN Training<\/strong>\r\nDeepak Narayanan, Aaron Harlap, Amar Phanishayee<\/a>, Vivek Seshadri<\/a>, Nikhil R. Devanur, Gregory R. Ganger, Phillip B. Gibbons, Matei Zaharia\r\n

1:40 PM\u20133:00 PM | Session 3: Systems: Still Buggy<\/h3>\r\nEfficient and Scalable Thread-Safety Violation Detection - Finding thousands of concurrency bugs during testing<\/strong>\r\nGuangpu Li, Shan Lu, Madan Musuvathi<\/a>, Suman Nath<\/a>, Rohan Padhye\r\n

Tuesday, October 29<\/h2>\r\n

9:00 AM\u201310:20 AM | Session 5: It Must Be Correct<\/h3>\r\nScaling Symbolic Evaluation for Automated Verification of Systems Code with Serval<\/strong>\r\nLuke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann<\/a>, Emina Torlak, Xi Wang\r\n

10:50 AM\u201311:50 AM | Session 6: Data, Data, Everywhere<\/h3>\r\nNiijima: Sound and Automated Computation Consolidation for Efficient Multilingual Data-Parallel Pipelines<\/strong>\r\nGuoqing Harry Xu, Margus Veanes<\/a>, Michael Barnett<\/a>, Madan Musuvathi<\/a>, Todd Mytkowicz<\/a>, Ben Zorn<\/a>, Huan He<\/a>, Haibo Lin<\/a>\r\n\r\nNexus: A GPU Cluster Engine for Accelerating DNN-Based Video Analysis<\/strong>\r\nHaichen Shen, Lequn Chen, Yuchen Jin, Liangyu Zhao, Bingyu Kong, Matthai Philipose<\/a><\/strong>, Arvind Krishnamurthy, Ravi Sundaram"},{"id":2,"name":"Career opportunities","content":"See below for open opportunities at SOSP. Find more opportunities with Microsoft on our careers site<\/a>.\r\n\r\n[row]\r\n[card title=\"Systems for the Cloud Internship\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/714596\/Internship-Opportunities-Systems-for-the-Cloud\" ]\r\n
<\/div>\r\n

Lab\/Location<\/strong>: Microsoft Research Lab - Cambridge<\/p>\r\n

The move to the cloud calls for rethinking how systems are built and run. The unprecedented scale of the cloud together with the demand for extremely high availability pose many challenges. It also creates an opportunity to build systems...<\/p>\r\n[\/card]\r\n[card title=\"Optics Internship\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/714592\/Internship-Opportunities-Optics\" ]\r\n

<\/div>\r\n

Lab\/Location<\/strong>: Microsoft Research Lab - Cambridge<\/p>\r\n

Microsoft Research is offering the unique opportunity to work in Cambridge for a 12-week (or longer) internship in cutting-edge optical technologies that will underpin the next generation of cloud infrastructure and head-mounted display technology...<\/p>\r\n[\/card]\r\n[card title=\"FPGA Internship\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/714587\/Internship-Opportunities-FPGA\" ]\r\n

<\/div>\r\n

Lab\/Location<\/strong>: Microsoft Research Lab - Cambridge<\/p>\r\n

The fast growth of the cloud is continuously driving hardware efficiency and performance in cloud infrastructure. Our work is exploring the technologies beyond traditional computer systems. Hardware customization is playing a major role in a variety of projects across the lab. Today, nearly every new server in Microsoft...<\/p>\r\n[\/card]\r\n[\/row]\r\n[row]\r\n[card title=\"File-system and Storage Technologies Post-doc Researcher\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/705441\/Researcher-File-system-and-Storage-Technologies\" ]\r\n

<\/div>\r\n

Lab\/Location<\/strong>: Microsoft Research Lab - Cambridge<\/p>\r\n

Are you an exceptional systems researcher excited by the opportunity to invent the future of cloud storage? Are you eager to work with physicists, optical scientists, laser specialists, electrical and mechanical engineers in a multi-disciplinary team...<\/p>\r\n[\/card]\r\n[card title=\"Senior Research SDE - Gray Systems Lab\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/697694\/Senior-Research-SDE\" ]\r\n

<\/div>\r\n

Lab\/Location<\/strong>: Sunnyvale, California<\/p>\r\n

We are the Gray Systems Lab (GSL), an applied research group part of the Azure Data CTO office. GSL tackles interesting challenges in both open-source and proprietary technologies related to Big Data, cloud and storage systems among others. We build reliable, highly scalable...<\/p>\r\n[\/card]\r\n[card title=\"Senior Researcher - Systems Research Group\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/748176\/Senior-Researcher\" ]\r\n

<\/div>\r\n

Lab\/Location<\/strong>: Redmond, Washington<\/p>\r\n

If you\u2019re an excellent candidate with systems expertise, and are interested in doing cutting-edge research at an institution where your work can have a direct impact on commercial products, we encourage you to apply for this position...<\/p>\r\n[\/card]\r\n[\/row]\r\n[row]\r\n[card title=\"Senior RSDE - Systems Research Group\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/663018\/Senior-RSDE\" ]\r\n

<\/div>\r\n

Lab\/Location<\/strong>: Redmond, Washington<\/p>\r\n

If you enjoy innovating and solving challenging problems in operating systems, hypervisors, cloud platforms, and distributed systems, this is the job for you. Being part of the Systems group at Microsoft Research Redmond gives you to the unique...<\/p>\r\n[\/card]\r\n[card title=\"Research Intern - Systems Research Group\" url=\"https:\/\/careers.microsoft.com\/us\/en\/job\/721930\/Research-Intern-Systems-Research-Group\" ]\r\n

<\/div>\r\n

Lab\/Location<\/strong>: Redmond, Washington<\/p>\r\n

The Systems Research Group in Microsoft Research is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems secure, scalable, fault-tolerant, manageable, fast, and efficient...<\/p>\r\n[\/card]\r\n[\/row]"}],"msr_startdate":"2019-10-27","msr_enddate":"2019-10-30","msr_event_time":"","msr_location":"Huntsville, Ontario, Canada","msr_event_link":"https:\/\/sosp19.rcs.uwaterloo.ca\/reg.html","msr_event_recording_link":"","msr_startdate_formatted":"October 27, 2019","msr_register_text":"Watch now","msr_cta_link":"https:\/\/sosp19.rcs.uwaterloo.ca\/reg.html","msr_cta_text":"Watch now","msr_cta_bi_name":"Event Register","featured_image_thumbnail":"\"Reflection","event_excerpt":"SOSP 2019 is the biennial ACM Symposium on Operating Systems Principles is the world&amp;amp;amp;amp;amp;amp;amp;amp;amp;amp;#039;s premier forum for researchers, developers, programmers, and teachers of computer systems technology. As a bronze sponsor, Microsoft will join academic and industrial participants as they present research and experience papers that cover the full range of theory and practice of computer systems software. Microsoft is also a proud co-sponsor for the second ACM Student Research Competition (SRC) which offers undergraduate and…","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[606981,622728],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/612294","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":16,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/612294\/revisions"}],"predecessor-version":[{"id":1147019,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/612294\/revisions\/1147019"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media\/612465"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=612294"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=612294"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=612294"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=612294"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=612294"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=612294"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=612294"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=612294"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=612294"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}