SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Fri 20 Nov 2020 05:00 - 05:40 at SPLASH-III - 10 Chair(s): Mihaela Sighireanu
Thu 19 Nov 2020 17:00 - 17:40 at SPLASH-III - 10 Chair(s): David Pichardie

In this talk, I will present the static analysis component of the open source Arcs Project, which is an ecosystem for building privacy-preserving AI applications . Specifically, I will talk about how we use static analysis to ensure that data is only used in approved ways in an AI application. First, I will introduce the Arcs programming model, the type system, and a policy specification language. Then, I will talk about how we use abstract interpretation and the guarantees provided by the type system to ensure that the application only uses data as outlined by the data-usage policy.

I am a staff engineer at Google, where I work on using formal methods for privacy preserving AI. Until recently, I was working as part of the exciting Swift for TensorFlow project. Previously, I led a team that develops static analysis tools to improve the security of Android Apps. Before that I was an engineer at Facebook, and a research staff member in the Systems Analysis and Verification (SAV) group at NEC Laboratories America, Inc. I got my Ph.D in from the University of Wisconsin-Madison.

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

17:00 - 18:20: 10SAS at SPLASH-III +12h
Chair(s): David PichardieUniv Rennes, ENS Rennes, IRISA
17:00 - 17:40
Talk
SAS

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 06:20: 10SAS at SPLASH-III
Chair(s): Mihaela SighireanuLSV, ENS Paris-Saclay
05:00 - 05:40
Talk
SAS