Gian Pietro Farina

Artificial Intelligence · 2017

A researcher in the Science corpus: 1 paper; trusts 11 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Gian Pietro Farina trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Leonardo de Moura
  2. Sarfraz Khurshid
  3. Swarat Chaudhuri
  4. Dimiter Milushev
  5. Suzette Person
  6. Corina S. Pasareanu
  7. Nikolaj S. Bjørner
  8. Sumit Gulwani
  9. Wim Beck
  10. Matthew B. Dwyer

Who trusts Gian Pietro Farina overall

  1. Yuxin Wang
  2. Zeyu Ding

Papers from Gian Pietro Farina's perspective

Ordered by how strongly the researchers Gian Pietro Farina trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Symbolic execution and program testing
  2. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  3. Z3: An Efficient SMT Solver
  4. Distance makes the types grow stronger: a calculus for differential privacy
  5. Information flow inference for ML (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. Probabilistic relational reasoning for differential privacy
  7. Continuity analysis of programs
  8. Noninterference via Symbolic Execution
  9. Differential symbolic execution
  10. Synthesizing coupling proofs of differential privacy

Their papers