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

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 项目

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