Andrew D. Gordon
Identifiers
No identifiers captured yet.
Papers (7)
- Somewhere Around That Number: An Interview Study of How Spreadsheet Users Manage Uncertainty cs.HC · 2019 · author #2
- Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic cs.PL · 2018 · author #2
- Deriving Probability Density Functions from Probabilistic Functional Programs cs.PL · 2017 · author #3
- A Lambda-Calculus Foundation for Universal Probabilistic Programming cs.PL · 2015 · author #3
- Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols cs.CR · 2013 · author #2
- Validating a Web Service Security Abstraction by Typing cs.CR · 2004 · author #1
- TulaFale: A Security Tool for Web Services cs.CR · 2004 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Johannes Borgstr\"om 2 shared papers
- Riccardo Pucella 2 shared papers
- Advait Sarkar 1 shared papers
- Cedric Fournet 1 shared papers
- Charles Sutton 1 shared papers
- Claudio Russo 1 shared papers
- David A. Naumann 1 shared papers
- Fran\c{c}ois Dupressoir 1 shared papers
- Jan J\"urjens 1 shared papers
- Judith Borghouts 1 shared papers
- Karthikeyan Bhargavan 1 shared papers
- Kenton P. O'Hara 1 shared papers
- Marcin Szymczak 1 shared papers
- Maria I. Gorinova 1 shared papers
- Neil Toronto 1 shared papers
- Sooraj Bhat 1 shared papers
- Ugo Dal Lago 1 shared papers