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

Lieu: Huntsville, Ontario, Canada

S'inscrire

Publications

Afficher par:

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 Projet

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 Projet

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 Projet

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