Travelled to:1 × Czech Republic
1 × Denmark
1 × Germany
1 × Poland
1 × Russia
1 × Spain
1 × The Netherlands
2 × Portugal
3 × France
5 × Italy
5 × United Kingdom
8 × USA
Collaborated with:L.Cardelli ∅ J.Borgström C.Fournet K.Bhargavan C.V.Russo A.Jeffrey W.Charatonik J.Talbot D.Syme M.Abadi G.D.Rees A.Scibior T.Graepel D.Tarlow I.G.Baltopoulos S.Maffeis G.Ghelli S.L.P.Jones S.Finne Z.Ghahramani Maria I. Gorinova C.A.Sutton G.Claret S.K.Rajamani A.V.Nori M.Szymczak N.Rolland M.Allamanis Y.Wei S.Bhat G.M.Bierman C.Hritcu D.E.Langworthy M.Greenberg J.Margetson J.V.Gael R.Harper J.Harrison P.Sewell S.Dal-Zilio S.Mukhopadhyay J.Guiver Long Ouyang M.Aizatulin
Talks about:type (10) mobil (8) ambient (7) probabilist (6) program (6) languag (5) protocol (4) semant (4) secur (4) function (3)
Person: Andrew D. Gordon
DBLP: Gordon:Andrew_D=
Facilitated 3 volumes:
Ed
Ed
EdContributed to:
2015
20152014
20132013
2013
201120112011
20102010
20062005
200520042002200220012001
20012001
200120001999
19991999199819981996
1993
2009201520162019Wrote 35 papers:
- ESOP-2015-GordonRSBRGT #probability #query #source code #spreadsheet
- Probabilistic Programs as Spreadsheet Queries (ADG, CVR, MS, JB, NR, TG, DT), pp. 1–25.
- ICML-2015-AllamanisTGW #modelling #natural language #source code
- Bimodal Modelling of Source Code and Natural Language (MA, DT, ADG, YW), pp. 2123–2132.
- POPL-2014-GordonGRRBG #named #probability #programming language
- Tabular: a schema-driven probabilistic programming language (ADG, TG, NR, CVR, JB, JG), pp. 321–334.
- ESEC-FSE-2013-ClaretRNGB #analysis #data flow #using
- Bayesian inference using data flow analysis (GC, SKR, AVN, ADG, JB), pp. 92–102.
- POPL-2013-GordonABCGNRR #reasoning
- A model-learner pattern for bayesian reasoning (ADG, MA, JB, GC, TG, AVN, SKR, CVR), pp. 403–416.
- TACAS-2013-BhatBGR #functional #probability #source code
- Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
- ECOOP-2011-BaltopoulosBG #database #maintenance #refinement
- Maintaining Database Integrity with Refinement Types (IGB, JB, ADG), pp. 484–509.
- ESOP-2011-BorgstromGGMG #machine learning #semantics
- Measure Transformer Semantics for Bayesian Machine Learning (JB, ADG, MG, JM, JVG), pp. 77–96.
- POPL-2011-GordonHHJS #concurrent #verification
- Robin Milner 1934--2010: verification, languages, and concurrency (ADG, RH, JH, AJ, PS), pp. 473–474.
- ICFP-2010-BiermanGHL #semantics #smt #type system
- Semantic subtyping with an SMT solver (GMB, ADG, CH, DEL), pp. 105–116.
- POPL-2010-BhargavanFG #composition #protocol #security #type system #verification
- Modular verification of security protocol code by typing (KB, CF, ADG), pp. 445–456.
- LICS-2006-Gordon #implementation #protocol #security
- Provable Implementations of Security Protocols (ADG), pp. 345–346.
- ESOP-2005-FournetGM #policy
- A Type Discipline for Authorization Policies (CF, ADG, SM), pp. 141–156.
- SAS-2005-Gordon #calculus #process #security
- From Typed Process Calculi to Source-Based Security (ADG), p. 2.
- POPL-2004-BhargavanFG #authentication #semantics #web #web service
- A semantics for web services authentication (KB, CF, ADG), pp. 198–209.
- ESOP-2002-CharatonikGT #mobile
- Finite-Control Mobile Ambients (WC, ADG, JMT), pp. 295–313.
- POPL-2002-FournetG #stack
- Stack inspection: theory and variants (CF, ADG), pp. 307–318.
- FoSSaCS-2001-CharatonikDGMT #complexity #mobile #model checking
- The Complexity of Model Checking Mobile Ambients (WC, SDZ, ADG, SM, JMT), pp. 152–167.
- POPL-2001-GordonS #multi #type system
- Typing a multi-language intermediate code (ADG, DS), pp. 248–260.
- PPDP-2001-Gordon #type system
- Types for Cyphers: Thwarting Mischief and Malice with Type Theory (ADG), p. 136.
- SAS-2001-GordonJ #analysis #protocol #security
- A Type and Effect Analysis of Security Protocols (ADG, AJ), p. 432.
- TLCA-2001-CardelliG #logic #strict
- Logical Properties of Name Restriction (LC, ADG), pp. 46–60.
- POPL-2000-CardelliG #logic #mobile
- Anytime, Anywhere: Modal Logics for Mobile Ambients (LC, ADG), pp. 365–377.
- FoSSaCS-1999-GordonC #equation #mobile
- Equational Properties of Mobile Ambients (ADG, LC), pp. 212–226.
- ICALP-1999-CardelliGG #mobile
- Mobility Types for Mobile Ambients (LC, ADG, GG), pp. 230–239.
- POPL-1999-CardelliG #mobile
- Types for Mobile Ambients (LC, ADG), pp. 79–92.
- ESOP-1998-AbadiG #bisimulation #encryption #protocol
- A Bisimulation Method for Cryptographic Protocols (MA, ADG), pp. 12–26.
- FoSSaCS-1998-CardelliG #mobile
- Mobile Ambients (LC, ADG), pp. 140–155.
- POPL-1996-GordonR #calculus #first-order #similarity #type system
- Bisimilarity for a First-Order Calculus of Objects with Subtyping (ADG, GDR), pp. 386–395.
- POPL-1996-JonesGF #concurrent #haskell
- Concurrent Haskell (SLPJ, ADG, SF), pp. 295–308.
- FPCA-1993-Gordon #functional #lazy evaluation #semantics
- An Operational Semantics for I/O in a Lazy Functional Language (ADG), pp. 136–145.
- Haskell-2009-BorgstromBG #composition #haskell
- A compositional theory for STM Haskell (JB, KB, ADG), pp. 69–80.
- Haskell-2015-ScibiorGG #monad #probability #programming
- Practical probabilistic programming with monads (AS, ZG, ADG), pp. 165–176.
- POPL-2016-BorgstromGORSS #named #probability #programming
- Fabular: regression formulas as probabilistic programming (JB, ADG, LO, CVR, AS, MS), pp. 271–283.
- POPL-2019-GorinovaGS #flexibility #performance #probability #programming
- Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic (MIG, ADG, CAS), p. 30.