Gian Pietro Farina

According to our database, Gian Pietro Farina authored at least 5 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Coupled Relational Symbolic Execution for Differential Privacy.

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

Proceedings of the Programming Languages and Systems, 2021

2020

Coupled Relational Symbolic Execution.

Gian Pietro Farina

PhD thesis, 2020

Probabilistic Programming Languages for Modeling Autonomous Systems.

Seyed Mahdi Shamsi, Gian Pietro Farina, Marco Gaboardi, Nils Napp

Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2020

2019

Relational Symbolic Execution.

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2016

Differentially Private Bayesian Programming.

Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016