Skip to content
  • Home
  • Research

Research

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 )