Gian Pietro Farina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ESOP | Coupled Relational Symbolic Execution for Differential Privacy. | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2019 | PPDP | Relational Symbolic Execution. | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
| 2016 | CCS | Differentially Private Bayesian Programming. | Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jess Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub |