Reflection of fall foliage on a calm lake in Muskoka region, Ontario, Canada where SOSP 2019 is being held.

October 27, 2019 – October 30, 2019

Microsoft at SOSP 2019

Location: Huntsville, Ontario, Canada

Register

Publications

View by:

- Scaling symbolic evaluation for automated verification of systems code with Serval
  
  Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
  
  27th ACM Symposium on Operating Systems Principles (SOSP) | October 2019
  
  Best paper award, Distinguished artifact award
  
  DOI PDF Author's Version Project
- Privacy Accounting and Quality Control in the Sage Differentially Private ML Platform
  
  Mathias Lecuyer, Riley Spahn, Kiran Vodrahalli, Roxana Geambasu, Daniel Hsu
  
  SOSP ’19 | September 2019
  
  ArXiv
  
  PDF

- Privacy Accounting and Quality Control in the Sage Differentially Private ML Platform
  
  Mathias Lecuyer, Riley Spahn, Kiran Vodrahalli, Roxana Geambasu, Daniel Hsu
  
  SOSP ’19 | September 2019
  
  ArXiv
  
  PDF
- Scaling symbolic evaluation for automated verification of systems code with Serval
  
  Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
  
  27th ACM Symposium on Operating Systems Principles (SOSP) | October 2019
  
  Best paper award, Distinguished artifact award
  
  DOI PDF Author's Version Project

- Scaling symbolic evaluation for automated verification of systems code with Serval
  
  Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
  
  27th ACM Symposium on Operating Systems Principles (SOSP) | October 2019
  
  Best paper award, Distinguished artifact award
  
  DOI PDF Author's Version Project
- Privacy Accounting and Quality Control in the Sage Differentially Private ML Platform
  
  Mathias Lecuyer, Riley Spahn, Kiran Vodrahalli, Roxana Geambasu, Daniel Hsu
  
  SOSP ’19 | September 2019
  
  ArXiv
  
  PDF