Andrew D. Gordon

181 papers A* 22A 19B 22C 5Journal 59Unranked 47
YearRankTypeTitle / Venue / Authors
2026 J jnl
The LLMbda Calculus: AI Agents, Conversations, and Information Flow.
CoRR
Zac Garby, Andrew D. Gordon, David Sands
2025 J jnl
Requirements Are All You Need: The Final Frontier for End-User Software Engineering.
ACM Trans. Softw. Eng. Methodol.
Diana Robinson, Christian Cabrera, Andrew D. Gordon, Neil D. Lawrence, Lars Mennen
2024 J jnl
"My toxic trait is thinking I'll remember this": gaps in the learner experience of video tutorials for feature-rich software.
CoRR
Ian Drosos, Advait Sarkar, Andrew D. Gordon
2024 J jnl
Requirements are All You Need: The Final Frontier for End-User Software Engineering.
CoRR
Diana Robinson, Christian Cabrera, Andrew D. Gordon, Neil D. Lawrence, Lars Mennen
2024 — conf
Solving Data-centric Tasks using Large Language Models.
NAACL-HLT (Findings)
Shraddha Barke, Christian Pölitz, Carina Negreanu, Benjamin Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
2024 J jnl
Solving Data-centric Tasks using Large Language Models.
CoRR
Shraddha Barke, Christian Pölitz, Carina Suzana Negreanu, Benjamin G. Zorn, José Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams
2023 A* conf
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models.
CHI
Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Benjamin G. Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon
2023 J jnl
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models.
CoRR
Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Ben Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon
2023 B conf
COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.
VL/HCC
Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn
2023 J jnl
Co-audit: tools to help humans double-check AI-generated content.
CoRR
Andrew D. Gordon, Carina Negreanu, José Cambronero, Rasika Chakravarthy, Ian Drosos, Hao Fang, Bhaskar Mitra, Hannah Richardson, Advait Sarkar, Stephanie Simmons, Jack Williams, Ben Zorn
2023 B conf
FxD: a functional debugger for dysfunctional spreadsheets.
VL/HCC
Ian Drosos, Nicholas Wilson, Andrew D. Gordon, Sruti Srinivasa Ragavan, Jack Williams
2023 J jnl
Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows.
CoRR
Advait Sarkar, Ian Drosos, Rob DeLine, Andrew D. Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Benjamin G. Zorn
2022 J jnl
Conditional Independence by Typing.
ACM Trans. Program. Lang. Syst.
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
2022 B conf
End-user encounters with lambda abstraction in spreadsheets: Apollo's bow or Achilles' heel?
VL/HCC
Advait Sarkar, Sruti Srinivasa Ragavan, Jack Williams, Andrew D. Gordon
2022 A conf
GridBook: Natural Language Formulas for the Spreadsheet Grid.
IUI
Sruti Srinivasa Ragavan, Zhitao Hou, Yun Wang, Andrew D. Gordon, Haidong Zhang, Dongmei Zhang
2022 — conf
Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.
WWW (Companion Volume)
Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin
2022 J jnl
Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.
CoRR
Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin
2022 — conf
What is it like to program with artificial intelligence?
PPIG
Advait Sarkar, Carina Negreanu, Ben Zorn, Sruti Srinivasa Ragavan, Christian Pölitz, Andrew D. Gordon
2022 J jnl
What is it like to program with artificial intelligence?
CoRR
Advait Sarkar, Andrew D. Gordon, Carina Negreanu, Christian Pölitz, Sruti Srinivasa Ragavan, Ben Zorn
2022 J jnl
Where-provenance for bidirectional editing in spreadsheets.
J. Comput. Lang.
Jack Williams, Andrew D. Gordon
2021 A* conf
Spreadsheet Comprehension: Guesswork, Giving Up and Going Back to the Author.
CHI
Sruti Srinivasa Ragavan, Advait Sarkar, Andrew D. Gordon
2021 B conf
Where-Provenance for Bidirectional Editing in Spreadsheets.
VL/HCC
Jack Williams, Andrew D. Gordon
2020 J jnl
Conditional independence by typing.
CoRR
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
2020 J jnl
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays.
J. Funct. Program.
Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar
2020 — conf
Gridlets: Reusing Spreadsheet Grids.
CHI Extended Abstracts
Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams
2020 A conf
Higher-Order Spreadsheets with Spilled Arrays.
ESOP
Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar
2020 J jnl
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints.
CoRR
Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon, Charles Sutton
2020 — conf
Spreadsheet Use and Programming Experience: An Exploratory Survey.
CHI Extended Abstracts
Advait Sarkar, Judith W. Borghouts, Anusha Iyer, Sneha Khullar, Christian Canton, Felienne Hermans, Andrew D. Gordon, Jack Williams
2020 — ch.
Tabular: Probabilistic Inference from the Spreadsheet.
Foundations of Probabilistic Programming
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
2020 B conf
Understanding and Inferring Units in Spreadsheets.
VL/HCC
Jack Williams, Carina Negreanu, Andrew D. Gordon, Advait Sarkar
2019 — conf
End-User Probabilistic Programming.
QEST
Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto
2019 J jnl
Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic.
Proc. ACM Program. Lang.
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
2019 J jnl
Somewhere Around That Number: An Interview Study of How Spreadsheet Users Manage Uncertainty.
CoRR
Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Kenton P. O'Hara, Neil Toronto
2018 B conf
Calculation View: multiple-representation editing in spreadsheets.
VL/HCC
Advait Sarkar, Andrew D. Gordon, Simon Peyton Jones, Neil Toronto
2018 — conf
How do people learn to use spreadsheets? (Work in progress).
PPIG
Advait Sarkar, Andrew D. Gordon
2018 J jnl
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic.
CoRR
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
2017 J jnl
Deriving Probability Density Functions from Probabilistic Functional Programs.
CoRR
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2017 J jnl
Deriving Probability Density Functions from Probabilistic Functional Programs.
Log. Methods Comput. Sci.
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2017 A* ed.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017
POPL
Giuseppe Castagna, Andrew D. Gordon
2016 A conf
A lambda-calculus foundation for universal probabilistic programming.
ICFP
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
2016 — conf
A text-mining approach to explain unwanted behaviours.
EUROSEC
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016 — conf
Explaining Unwanted Behaviours in Context.
IMPS@ESSoS
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016 A* conf
Fabular: regression formulas as probabilistic programming.
POPL
Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak
2016 — conf
More Semantics More Robust: Improving Android Malware Classifiers.
WISEC
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2016 B conf
On Robust Malware Classifiers by Verifying Unwanted Behaviours.
IFM
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
2015 J jnl
A Lambda-Calculus Foundation for Universal Probabilistic Programming.
CoRR
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
2015 A* conf
Bimodal Modelling of Source Code and Natural Language.
ICML
Miltiadis Allamanis, Daniel Tarlow, Andrew D. Gordon, Yi Wei
2015 J jnl
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181).
Dagstuhl Reports
Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver
2015 C conf
Practical probabilistic programming with monads.
Haskell
Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon
2015 A conf
Probabilistic Programs as Spreadsheet Queries.
ESOP
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
2015 J jnl
The Wreath Process: A totally generative model of geometric shape based on nested symmetries.
CoRR
Diana Borsa, Thore Graepel, Andrew D. Gordon
2014 J jnl
Guiding a general-purpose C verifier to prove cryptographic protocols.
J. Comput. Secur.
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
2014 — conf
Probabilistic programming.
FOSE
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani
2014 A* conf
Tabular: a schema-driven probabilistic programming language.
POPL
Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver
2013 A* conf
A model-learner pattern for bayesian reasoning.
POPL
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
2013 — conf
Bayesian inference using data flow analysis.
ESEC/SIGSOFT FSE
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
2013 — conf
Constraint-Based Autonomic Reconfiguration.
SASO
John A. Hewson, Paul Anderson, Andrew D. Gordon
2013 A conf
Deriving Probability Density Functions from Probabilistic Functional Programs.
TACAS
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2013 J jnl
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.
CoRR
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
2013 J jnl
Measure Transformer Semantics for Bayesian Machine Learning.
Log. Methods Comput. Sci.
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
2012 — conf
A Declarative Approach to Automated Configuration.
LISA
John A. Hewson, Paul Anderson, Andrew D. Gordon
2012 A* conf
Computational verification of C protocol implementations by symbolic execution.
CCS
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
2012 J jnl
Semantic subtyping with an SMT solver.
J. Funct. Program.
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
2011 — conf
Cryptographic Verification by Typing for a Sample Protocol Implementation.
FOSAD
Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon
2011 J jnl
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
CoRR
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
2011 A* conf
Extracting and verifying cryptographic models from C protocol code by symbolic execution.
CCS
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
2011 A conf
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.
CSF
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
2011 A conf
Maintaining Database Integrity with Refinement Types.
ECOOP
Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon
2011 A conf
Measure Transformer Semantics for Bayesian Machine Learning.
ESOP
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
2011 J jnl
Refinement types for secure implementations.
ACM Trans. Program. Lang. Syst.
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2011 A* conf
Robin Milner 1934--2010: verification, languages, and concurrency.
POPL
Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell
2011 J jnl
Roles, stacks, histories: A triple for Hoare.
J. Funct. Program.
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
2011 — conf
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.
Formal Aspects in Security and Trust
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens
2010 A* conf
Modular verification of security protocol code by typing.
POPL
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
2010 — ch.
Principles and Applications of Refinement Types.
Logics and Languages for Reliability and Security
Andrew D. Gordon, Cédric Fournet
2010 A ed.
Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ESOP
Andrew D. Gordon
2010 — ch.
Roles, Stacks, Histories: A Triple for Hoare.
Reflections on the Work of C. A. R. Hoare
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
2010 J jnl
SecPAL: Design and semantics of a decentralized authorization language.
J. Comput. Secur.
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
2010 A conf
Semantic subtyping with an SMT solver.
ICFP
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
2009 C conf
A compositional theory for STM Haskell.
Haskell
Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon
2009 — conf
Secure compilation of a multi-tier web language.
TLDI
Ioannis G. Baltopoulos, Andrew D. Gordon
2009 — conf
Towards a Verified Reference Implementation of a Trusted Platform Module.
Security Protocols Workshop
Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan
2008 A conf
Code-Carrying Authorization.
ESORICS
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
2008 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2008 A conf
Refinement Types for Secure Implementations.
CSF
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2008 C conf
Service Combinators for Farming Virtual Machines.
COORDINATION
Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
2008 — conf
Type Inference for Correspondence Types.
SecCo@CONCUR
Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
2008 A conf
Verified implementations of the information card federated identity-management protocol.
AsiaCCS
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy
2008 J jnl
Verified interoperable implementations of security protocols.
ACM Trans. Program. Lang. Syst.
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
2008 J jnl
Verifying policy-based web services security.
ACM Trans. Program. Lang. Syst.
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
2007 — conf
A Chart Semantics for the Pi-Calculus.
EXPRESS
Johannes Borgström, Andrew D. Gordon, Andrew Phillips
2007 J jnl
A type discipline for authorization policies.
ACM Trans. Program. Lang. Syst.
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2007 A conf
Design and Semantics of a Decentralized Authorization Language.
CSF
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
2007 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
2007 J jnl
Secure sessions for Web services.
ACM Trans. Inf. Syst. Secur.
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
2007 — conf
Service Combinators for Farming Virtual Machines.
TGC
Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
2006 — ed.
Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006
FMSE
Marianne Winslett, Andrew D. Gordon, David Sands
2006 — ed.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", APC 25, Bertinoro, Italy, August 1-5, 2005
APC 25
Luca Aceto, Andrew D. Gordon
2006 A* conf
Provable Implementations of Security Protocols.
LICS
Andrew D. Gordon
2006 — conf
Verified Interoperable Implementations of Security Protocols.
CSFW
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
2006 — conf
Verified Reference Implementations of WS-Security Protocols.
WS-FM
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
2005 A conf
A Type Discipline for Authorization Policies.
ESOP
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2005 J jnl
A semantics for web services authentication.
Theor. Comput. Sci.
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
2005 — conf
An advisor for web services security policies.
SWS
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea
2005 J jnl
Deciding validity in a spatial logic for trees.
J. Funct. Program.
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
2005 B conf
From Typed Process Calculi to Source-Based Security.
SAS
Andrew D. Gordon
2005 J jnl
Preface for the Special Issue: Foundations of Software Science and Computation Structures.
Theor. Comput. Sci.
Andrew D. Gordon
2005 — conf
Preface.
APC 25
Luca Aceto, Andrew D. Gordon
2005 B conf
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.
CONCUR
Andrew D. Gordon, Alan Jeffrey
2005 J jnl
Secrecy and group creation.
Inf. Comput.
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2005 — conf
V for Virtual.
APC 25
Andrew D. Gordon
2005 J jnl
Validating a web service security abstraction by typing.
Formal Aspects Comput.
Andrew D. Gordon, Riccardo Pucella
2004 A* conf
A semantics for web services authentication.
POPL
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
2004 — conf
From Stack Inspection to Access Control: A Security Analysis for Libraries.
CSFW
Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon
2004 — conf
Secure sessions for web services.
SWS
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
2004 J jnl
TulaFale: A Security Tool for Web Services
CoRR
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
2004 J jnl
Types and effects for asymmetric cryptographic protocols.
J. Comput. Secur.
Andrew D. Gordon, Alan Jeffrey
2004 J jnl
Validating a Web Service Security Abstraction by Typing
CoRR
Andrew D. Gordon, Riccardo Pucella
2004 A* conf
Verifying policy-based security for web services.
CCS
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
2003 J jnl
Authenticity by Typing for Security Protocols.
J. Comput. Secur.
Andrew D. Gordon, Alan Jeffrey
2003 — conf
Deciding validity in a spatial logic for trees.
TLDI
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
2003 J jnl
Equational Properties Of Mobile Ambients.
Math. Struct. Comput. Sci.
Andrew D. Gordon, Luca Cardelli
2003 B ed.
Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
FoSSaCS
Andrew D. Gordon
2003 J jnl
Model checking mobile ambients.
Theor. Comput. Sci.
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
2003 J jnl
Stack inspection: Theory and variants.
ACM Trans. Program. Lang. Syst.
Cédric Fournet, Andrew D. Gordon
2003 — conf
TulaFale: A Security Tool for Web Services.
FMCO
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
2003 J jnl
Typing correspondence assertions for communication protocols.
Theor. Comput. Sci.
Andrew D. Gordon, Alan Jeffrey
2002 B conf
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.
LPAR
Don Syme, Andrew D. Gordon
2002 A conf
Finite-Control Mobile Ambients.
ESOP
Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot
2002 J jnl
Region analysis and a pi-calculus with groups.
J. Funct. Program.
Silvano Dal-Zilio, Andrew D. Gordon
2002 A* conf
Stack inspection: theory and variants.
POPL
Cédric Fournet, Andrew D. Gordon
2002 — conf
Types and Effects for Asymmetric Cryptographic Protocols.
CSFW
Andrew D. Gordon, Alan Jeffrey
2002 B conf
Types for Cryptographic Protocols.
CONCUR
Andrew D. Gordon
2002 J jnl
Types for the Ambient Calculus.
Inf. Comput.
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2002 — conf
Typing One-to-One and One-to-Many Correspondences in Security Protocols.
ISSS
Andrew D. Gordon, Alan Jeffrey
2002 — conf
Validating a Web service security abstraction by typing.
XML Security
Andrew D. Gordon, Riccardo Pucella
2002 — conf
XML Web Services: The Global Computer?
IFIP TCS
Andrew D. Gordon
2001 B conf
A Type and Effect Analysis of Security Protocols.
SAS
Andrew D. Gordon, Alan Jeffrey
2001 — conf
Authenticity by Typing for Security Protocols.
CSFW
Andrew D. Gordon, Alan Jeffrey
2001 — conf
Logical Properties of Name Restriction.
TLCA
Luca Cardelli, Andrew D. Gordon
2001 B conf
The Complexity of Model Checking Mobile Ambients.
FoSSaCS
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
2001 C conf
Types for Cyphers: Thwarting Mischief and Malice with Type Theory.
PPDP
Andrew D. Gordon
2001 B conf
Typing Correspondence Assertions for Communication Protocols.
MFPS
Andrew D. Gordon, Alan Jeffrey
2001 A* conf
Typing a multi-language intermediate code.
POPL
Andrew D. Gordon, Don Syme
2000 — conf
Ambient Groups and Mobility Types.
IFIP TCS
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
2000 A* conf
Anytime, Anywhere: Modal Logics for Mobile Ambients.
POPL
Luca Cardelli, Andrew D. Gordon
2000 J jnl
Mobile ambients.
Theor. Comput. Sci.
Luca Cardelli, Andrew D. Gordon
2000 — conf
Notes on Nominal Calculi for Security and Mobility.
FOSAD
Andrew D. Gordon
2000 B conf
Region Analysis and a pi-Calculus wiht Groups.
MFCS
Silvano Dal-Zilio, Andrew D. Gordon
2000 B conf
Secrecy and Group Creation.
CONCUR
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
1999 J jnl
A Calculus for Cryptographic Protocols: The spi Calculus.
Inf. Comput.
Martín Abadi, Andrew D. Gordon
1999 J jnl
Bisimilarity as a Theory of Functional Programming.
Theor. Comput. Sci.
Andrew D. Gordon
1999 J jnl
Compilation and Equivalence of Imperative Objects.
J. Funct. Program.
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
1999 B conf
Equational Properties of Mobile Ambients.
FoSSaCS
Andrew D. Gordon, Luca Cardelli
1999 A* conf
Mobility Types for Mobile Ambients.
ICALP
Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli
1999 — conf
Preface.
HOOTS
Andrew D. Gordon, Andrew M. Pitts
1999 J jnl
Relating operational and denotational semantics for input/output effects.
Math. Struct. Comput. Sci.
Roy L. Crole, Andrew D. Gordon
1999 — ed.
Third Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1999, Paris, France, September 30 - October 1, 1999
HOOTS
Andrew D. Gordon, Andrew M. Pitts
1999 A* conf
Types for Mobile Ambients.
POPL
Luca Cardelli, Andrew D. Gordon
1998 A conf
A Bisimulation Method for Cryptographic Protocols.
ESOP
Martín Abadi, Andrew D. Gordon
1998 J jnl
A Bisimulation Method for Cryptographic Protocols.
Nord. J. Comput.
Martín Abadi, Andrew D. Gordon
1998 — conf
A Concurrent Object Calculus: Reduction and Typing.
HLCL
Andrew D. Gordon, Paul D. Hankin
1998 B conf
Mobile Ambients.
FoSSaCS
Luca Cardelli, Andrew D. Gordon
1997 A* conf
A Calculus for Cryptographic Protocols: The Spi Calculus.
CCS
Martín Abadi, Andrew D. Gordon
1997 — conf
Compilation and Equivalence of Imperative Objects.
FSTTCS
Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
1997 — conf
Mobile Ambients.
HOOTS
Luca Cardelli, Andrew D. Gordon
1997 — conf
Preface.
HOOTS
Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott
1997 B conf
Reasoning about Cryptographic Protocols in the Spi Calculus.
CONCUR
Martín Abadi, Andrew D. Gordon
1997 — ed.
Second Workshop on Higher-Order Operational Techniques in Semantics, HOOTS 1997, Stanford, CA, USA, December 8-12, 1997
HOOTS
Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott
1996 A* conf
Bisimilarity for a First-Order Calculus of Objects with Subtyping.
POPL
Andrew D. Gordon, Gareth D. Rees
1996 A* conf
Concurrent Haskell.
POPL
Simon L. Peyton Jones, Andrew D. Gordon, Sigbjørn Finne
1996 — conf
Five Axioms of Alpha-Conversion.
TPHOLs
Andrew D. Gordon, Thomas F. Melham
1995 B conf
Bisimilarity as a theory of functional programming.
MFPS
Andrew D. Gordon
1994 B conf
A Sound Metalogical Semantics for Input/Output Effects.
CSL
Roy L. Crole, Andrew D. Gordon
1994 A conf
A Tutorial on Co-induction and Functional Programming.
Functional Programming
Andrew D. Gordon
1993 — conf
A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion.
HUG
Andrew D. Gordon
1993 — conf
An Operational Semantics for I/O in a Lazy Functional Language.
FPCA
Andrew D. Gordon
1993 A conf
Factoring an Adequacy Proof (Preliminary Report).
Functional Programming
Roy L. Crole, Andrew D. Gordon
1992 — conf
Experience with Embedding Hardware Description Languages in HOL.
TPCD
Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel
1992 C conf
The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic.
ICCD
Andrew D. Gordon