BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gordon:Andrew_D=

Facilitated 3 volumes:

ESOP 2010Ed
FoSSaCS 2003Ed
POPL 2017Ed

Contributed to:

ESOP 20152015
ICML 20152015
POPL 20142014
ESEC/FSE 20132013
POPL 20132013
TACAS 20132013
ECOOP 20112011
ESOP 20112011
POPL 20112011
ICFP 20102010
POPL 20102010
LICS 20062006
ESOP 20052005
SAS 20052005
POPL 20042004
ESOP 20022002
POPL 20022002
FoSSaCS 20012001
POPL 20012001
PPDP 20012001
SAS 20012001
TLCA 20012001
POPL 20002000
FoSSaCS 19991999
ICALP 19991999
POPL 19991999
ESOP 19981998
FoSSaCS 19981998
POPL 19961996
FPCA 19931993
Haskell 20092009
Haskell 20152015
POPL 20162016
POPL 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.