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

2019年10月27日 – 2019年10月30日

Microsoft at SOSP 2019

地点： Huntsville, Ontario, Canada

注册

论文与出版物

查看方式：

- 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 项目
- 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
- Certified Robustness to Adversarial Examples with Differential Privacy
  
  Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
  
  S&P ’19 | May 2019
  
  ArXiv
  
  Publication

- 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
- Certified Robustness to Adversarial Examples with Differential Privacy
  
  Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
  
  S&P ’19 | May 2019
  
  ArXiv
  
  Publication
- 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 项目
- Certified Robustness to Adversarial Examples with Differential Privacy
  
  Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
  
  S&P ’19 | May 2019
  
  ArXiv
  
  Publication

- 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 项目
- 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
- Certified Robustness to Adversarial Examples with Differential Privacy
  
  Mathias Lecuyer, Vaggelis Atlidakis, Roxana Geambasu, Daniel Hsu, Suman Jana
  
  S&P ’19 | May 2019
  
  ArXiv
  
  Publication