Gilles Barthe
Artificial Intelligence · 2007–2020
A researcher in the Science corpus: 20 papers; trusts 133 researchers and is trusted by 48 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 352 citations into it; #3,328 of 35,345 by trust here, #4,080 by citations
- Privacy & Security — 134 citations into it; #97 of 709 by trust here, #134 by citations
- Safety, Robustness & Interpretability — 81 citations into it
- Computational Theory and Mathematics — 73 citations into it
- Sociology and Political Science — 52 citations into it; #8,978 of 22,756 by trust here, #9,515 by citations
- Statistics and Probability — 42 citations into it; #5,398 of 12,932 by trust here, #4,517 by citations
- Computer Vision and Pattern Recognition — 32 citations into it
- Information Systems — 32 citations into it; #5,241 of 8,771 by trust here, #4,188 by citations
Whom Gilles Barthe trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Cynthia Dwork
- Frank McSherry
- Nick Benton
- Mihir Bellare
- Benjamin Gr'egoire
- Michael R. Clarkson
- Victor Shoup
- Dexter Campbell Kozen
- Jason Reed
- Kobbi Nissim
Who trusts Gilles Barthe overall
- Danfeng Zhang
- Daniel Kifer
- Borja Balle
- Justin Hsu
- Marco Gaboardi
- Benjamin Gr'egoire
- Yuxin Wang
- Zeyu Ding
- Federico Olmedo
- Bruno Blanchet
Papers from Gilles Barthe's perspective
Ordered by how strongly the researchers Gilles Barthe trusts endorse each paper. Same corpus, a different order for every researcher.
- ImageNet classification with deep convolutional neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- Gradient-based learning applied to document recognition
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- Learning Multiple Layers of Features from Tiny Images
- Long Short-Term Memory
- Attention is All you Need (Neural Information Processing Systems)
- ImageNet: A large-scale hierarchical image database
- Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
- Very Deep Convolutional Networks for Large-Scale Image Recognition (International Conference on Learning Representations)
Their papers
- Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences (2018) — 492 citations
- Proving Differential Privacy via Probabilistic Couplings (2016) — 110 citations
- Hypothesis Testing Interpretations and Renyi Differential Privacy (2019) — 155 citations
- Probabilistic Relational Reasoning for Differential Privacy (2013) — 64 citations
- A survey of algorithmic recourse: definitions, formulations, solutions, and prospects (2020) — 190 citations
- Model-Agnostic Counterfactual Explanations for Consequential Decisions (2019) — 405 citations
- Coupling proofs are probabilistic product programs (2016) — 52 citations
- A Program Logic for Union Bounds (2016) — 43 citations
- Advanced Probabilistic Couplings for Differential Privacy (2016) — 68 citations
- Strong Non-Interference and Type-Directed Higher-Order Masking (2016) — 308 citations
- Computer-Aided Verification for Mechanism Design (2015) — 19 citations
- Relational Reasoning via Probabilistic Coupling (2015) — 43 citations
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy (2014) — 95 citations
- Proving Differential Privacy in Hoare Logic (2014) — 72 citations
- Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (2013) — 99 citations
- Verified Computational Differential Privacy with Applications to Smart Metering (2013) — 84 citations
- Probabilistic relational reasoning for differential privacy (2012) — 237 citations
- Computer-Aided Security Proofs for the Working Cryptographer (2011) — 327 citations
- Formal certification of code-based cryptographic proofs (2009) — 190 citations
- Formal Certification of Code-Based Cryptographic Proofs. (2007) — 125 citations