My works:
- Relational Symbolic Execution– (Gian Pietro Farina, Stephen Chong, Marco Gaboardi) — (PPDP 2019)
- Differentially Private Bayesian Programming – (Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesùs Gallego Arias, Andy Gordon, Justin Hsu,Pierre-Yves Strub) – (CCS 2016 )