Andrew D. Gordon

According to our database, Andrew D. Gordon authored at least 137 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Solving Data-centric Tasks using Large Language Models.

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

CoRR, 2024

2023

Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows.

Advait Sarkar, Ian Drosos, Rob DeLine, Andrew D. Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Benjamin G. Zorn

CoRR, 2023

Co-audit: tools to help humans double-check AI-generated content.

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

CoRR, 2023

COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code.

Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

FxD: a functional debugger for dysfunctional spreadsheets.

Ian Drosos, Nicholas Wilson, Andrew D. Gordon, Sruti Srinivasa Ragavan, Jack Williams

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models.

Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Benjamin G. Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022

LinkingPark: An automatic semantic table interpretation system.

Shuang Chen, Alperen Karaoglu, Carina Negreanu, Tingting Ma, Jin-Ge Yao, Jack Williams, Feng Jiang, Andy Gordon, Chin-Yew Lin

J. Web Semant., 2022

Where-provenance for bidirectional editing in spreadsheets.

Jack Williams, Andrew D. Gordon

J. Comput. Lang., 2022

Conditional Independence by Typing.

Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár

ACM Trans. Program. Lang. Syst., 2022

Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model.

Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin

Proceedings of the Companion of The Web Conference 2022, Virtual Event / Lyon, France, April 25, 2022

What is it like to program with artificial intelligence?

Advait Sarkar, Carina Negreanu, Ben Zorn, Sruti Srinivasa Ragavan, Christian Pölitz, Andrew D. Gordon

Proceedings of the 33rd Annual Workshop of the Psychology of Programming Interest Group, 2022

GridBook: Natural Language Formulas for the Spreadsheet Grid.

Sruti Srinivasa Ragavan, Zhitao Hou, Yun Wang, Andrew D. Gordon, Haidong Zhang, Dongmei Zhang

Proceedings of the IUI 2022: 27th International Conference on Intelligent User Interfaces, Helsinki, Finland, March 22, 2022

2021

Spreadsheet Comprehension: Guesswork, Giving Up and Going Back to the Author.

Sruti Srinivasa Ragavan, Advait Sarkar, Andrew D. Gordon

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays.

Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar

J. Funct. Program., 2020

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints.

Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon, Charles Sutton

CoRR, 2020

Understanding and Inferring Units in Spreadsheets.

Jack Williams, Carina Negreanu, Andrew D. Gordon, Advait Sarkar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

LinkingPark: An Integrated Approach for Semantic Table Interpretation.

Shuang Chen, Alperen Karaoglu, Carina Negreanu, Tingting Ma, Jin-Ge Yao, Jack Williams, Andy Gordon, Chin-Yew Lin

Proceedings of the Semantic Web Challenge on Tabular Data to Knowledge Graph Matching (SemTab 2020) co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020

Higher-Order Spreadsheets with Spilled Arrays.

Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar

Proceedings of the Programming Languages and Systems, 2020

Spreadsheet Use and Programming Experience: An Exploratory Survey.

Advait Sarkar, Judith W. Borghouts, Anusha Iyer, Sneha Khullar, Christian Canton, Felienne Hermans, Andrew D. Gordon, Jack Williams

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

Gridlets: Reusing Spreadsheet Grids.

Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

2019

Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic.

Maria I. Gorinova, Andrew D. Gordon, Charles Sutton

Proc. ACM Program. Lang., 2019

Somewhere Around That Number: An Interview Study of How Spreadsheet Users Manage Uncertainty.

Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Kenton P. O'Hara, Neil Toronto

CoRR, 2019

End-User Probabilistic Programming.

Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Usability of Probabilistic Programming Languages.

Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria I. Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, Oliver Strickson

Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019

2018

Calculation View: multiple-representation editing in spreadsheets.

Advait Sarkar, Andrew D. Gordon, Simon Peyton Jones, Neil Toronto

Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018

How do people learn to use spreadsheets? (Work in progress).

Advait Sarkar, Andrew D. Gordon

Proceedings of the 29th Annual Workshop of the Psychology of Programming Interest Group, 2018

2017

Deriving Probability Density Functions from Probabilistic Functional Programs.

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo

Log. Methods Comput. Sci., 2017

2016

More Semantics More Robust: Improving Android Malware Classifiers.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the 9th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2016

Fabular: regression formulas as probabilistic programming.

Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

On Robust Malware Classifiers by Verifying Unwanted Behaviours.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

A lambda-calculus foundation for universal probabilistic programming.

Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

A text-mining approach to explain unwanted behaviours.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the 9th European Workshop on System Security, 2016

Explaining Unwanted Behaviours in Context.

Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

Differentially Private Bayesian Programming.

Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181).

Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver

Dagstuhl Reports, 2015

The Wreath Process: A totally generative model of geometric shape based on nested symmetries.

Diana Borsa, Thore Graepel, Andrew D. Gordon

CoRR, 2015

Bimodal Modelling of Source Code and Natural Language.

Miltiadis Allamanis, Daniel Tarlow, Andrew D. Gordon, Yi Wei

Proceedings of the 32nd International Conference on Machine Learning, 2015

Practical probabilistic programming with monads.

Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Probabilistic Programs as Spreadsheet Queries.

Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow

Proceedings of the Programming Languages and Systems, 2015

2014

Guiding a general-purpose C verifier to prove cryptographic protocols.

François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann

J. Comput. Secur., 2014

Tabular: a schema-driven probabilistic programming language.

Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Probabilistic programming.

Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the on Future of Software Engineering, 2014

2013

Measure Transformer Semantics for Bayesian Machine Learning.

Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael

Log. Methods Comput. Sci., 2013

Bayesian inference using data flow analysis.

Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Constraint-Based Autonomic Reconfiguration.

John A. Hewson, Paul Anderson, Andrew D. Gordon

Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

A model-learner pattern for bayesian reasoning.

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Semantic subtyping with an SMT solver.

Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy

J. Funct. Program., 2012

A Declarative Approach to Automated Configuration.

John A. Hewson, Paul Anderson, Andrew D. Gordon

Proceedings of the Strategies, 2012

Computational verification of C protocol implementations by symbolic execution.

Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Refinement types for secure implementations.

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

ACM Trans. Program. Lang. Syst., 2011

Roles, stacks, histories: A triple for Hoare.

Johannes Borgström, Andrew D. Gordon, Riccardo Pucella

J. Funct. Program., 2011

Robin Milner 1934--2010: verification, languages, and concurrency.

Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.

Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Cryptographic Verification by Typing for a Sample Protocol Implementation.

Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon

Proceedings of the Foundations of Security Analysis and Design VI, 2011

Maintaining Database Integrity with Refinement Types.

Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Extracting and verifying cryptographic models from C protocol code by symbolic execution.

Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Principles and Applications of Refinement Types.

Andrew D. Gordon, Cédric Fournet

Proceedings of the Logics and Languages for Reliability and Security, 2010

SecPAL: Design and semantics of a decentralized authorization language.

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon

J. Comput. Secur., 2010

Modular verification of security protocol code by typing.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Roles, Stacks, Histories: A Triple for Hoare.

Johannes Borgström, Andrew D. Gordon, Riccardo Pucella

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Secure compilation of a multi-tier web language.

Ioannis G. Baltopoulos, Andrew D. Gordon

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Towards a Verified Reference Implementation of a Trusted Platform Module.

Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan

Proceedings of the Security Protocols XVII, 2009

A compositional theory for STM Haskell.

Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon

Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 2009

2008

Verified interoperable implementations of security protocols.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse

ACM Trans. Program. Lang. Syst., 2008

Verifying policy-based web services security.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

ACM Trans. Program. Lang. Syst., 2008

Guest Editors' Foreword.

Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon

J. Log. Algebraic Methods Program., 2008

Type Inference for Correspondence Types.

Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen

Proceedings of the 6th Workshop on Security Issues in Concurrency, 2008

Code-Carrying Authorization.

Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon

Proceedings of the Computer Security, 2008

Verified implementations of the information card federated identity-management protocol.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

2007

A type discipline for authorization policies.

Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

ACM Trans. Program. Lang. Syst., 2007

Secure sessions for Web services.

Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon

ACM Trans. Inf. Syst. Secur., 2007

A Chart Semantics for the Pi-Calculus.

Johannes Borgström, Andrew D. Gordon, Andrew Phillips

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

Service Combinators for Farming Virtual Machines.

Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

A Type Discipline for Authorization in Distributed Systems.

Cédric Fournet, Andy Gordon, Sergio Maffeis

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

Design and Semantics of a Decentralized Authorization Language.

Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Verified Reference Implementations of WS-Security Protocols.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Provable Implementations of Security Protocols.

Andrew D. Gordon

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Preface for the Special Issue: Foundations of Software Science and Computation Structures.

Andrew D. Gordon

Theor. Comput. Sci., 2005

A semantics for web services authentication.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Theor. Comput. Sci., 2005

Deciding validity in a spatial logic for trees.

Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon

J. Funct. Program., 2005

Secrecy and group creation.

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Inf. Comput., 2005

Validating a web service security abstraction by typing.

Andrew D. Gordon, Riccardo Pucella

Formal Aspects Comput., 2005

V for Virtual.

Andrew D. Gordon

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Preface.

Luca Aceto, Andrew D. Gordon

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

An advisor for web services security policies.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea

Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

From Typed Process Calculi to Source-Based Security.

Andrew D. Gordon

Proceedings of the Static Analysis, 12th International Symposium, 2005

Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus.

Andrew D. Gordon, Alan Jeffrey

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Types and effects for asymmetric cryptographic protocols.

Andrew D. Gordon, Alan Jeffrey

J. Comput. Secur., 2004

From Stack Inspection to Access Control: A Security Analysis for Libraries.

Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Verifying policy-based security for web services.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2003

Stack inspection: Theory and variants.

Cédric Fournet, Andrew D. Gordon

ACM Trans. Program. Lang. Syst., 2003

Model checking mobile ambients.

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Theor. Comput. Sci., 2003

Equational Properties Of Mobile Ambients.

Andrew D. Gordon, Luca Cardelli

Math. Struct. Comput. Sci., 2003

Authenticity by Typing for Security Protocols.

Andrew D. Gordon, Alan Jeffrey

J. Comput. Secur., 2003

TulaFale: A Security Tool for Web Services.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Region analysis and a pi-calculus with groups.

Silvano Dal-Zilio, Andrew D. Gordon

J. Funct. Program., 2002

Types for the Ambient Calculus.

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Inf. Comput., 2002

Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.

Don Syme, Andrew D. Gordon

Proceedings of the Logic for Programming, 2002

Typing One-to-One and One-to-Many Correspondences in Security Protocols.

Andrew D. Gordon, Alan Jeffrey

Proceedings of the Software Security -- Theories and Systems, 2002

XML Web Services: The Global Computer?

Andrew D. Gordon

Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

Authenticity Types for Cryptographic Protocols.

Andy Gordon

Proceedings of the Formal Aspects of Security, First International Conference, 2002

Finite-Control Mobile Ambients.

Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot

Proceedings of the Programming Languages and Systems, 2002

Types for Cryptographic Protocols.

Andrew D. Gordon

Proceedings of the CONCUR 2002, 2002

2001

Typing Correspondence Assertions for Communication Protocols.

Andrew D. Gordon, Alan Jeffrey

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Logical Properties of Name Restriction.

Luca Cardelli, Andrew D. Gordon

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

A Type and Effect Analysis of Security Protocols.

Andrew D. Gordon, Alan Jeffrey

Proceedings of the Static Analysis, 8th International Symposium, 2001

Types for Cyphers: Thwarting Mischief and Malice with Type Theory.

Andrew D. Gordon

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Typing a multi-language intermediate code.

Andrew D. Gordon, Don Syme

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

The Complexity of Model Checking Mobile Ambients.

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Secrecy, Group Creation.

Luca Cardelli, Andy Gordon, Giorgio Ghelli

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Anytime, Anywhere: Modal Logics for Mobile Ambients.

Luca Cardelli, Andrew D. Gordon

Proceedings of the POPL 2000, 2000

Region Analysis and a pi-Calculus wiht Groups.

Silvano Dal-Zilio, Andrew D. Gordon

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Ambient Groups and Mobility Types.

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Proceedings of the Theoretical Computer Science, 2000

Notes on Nominal Calculi for Security and Mobility.

Andrew D. Gordon

Proceedings of the Foundations of Security Analysis and Design, 2000

1999

Relating operational and denotational semantics for input/output effects.

Roy L. Crole, Andrew D. Gordon

Math. Struct. Comput. Sci., 1999

Compilation and Equivalence of Imperative Objects.

Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen

J. Funct. Program., 1999

A Calculus for Cryptographic Protocols: The spi Calculus.

Martín Abadi, Andrew D. Gordon

Inf. Comput., 1999

Preface.

Andrew D. Gordon, Andrew M. Pitts

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Types for Mobile Ambients.

Luca Cardelli, Andrew D. Gordon

Proceedings of the POPL '99, 1999

Mobility Types for Mobile Ambients.

Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli

Proceedings of the Automata, 1999

1998

A Bisimulation Method for Cryptographic Protocols.

Martín Abadi, Andrew D. Gordon

Nord. J. Comput., 1998

A Concurrent Object Calculus: Reduction and Typing.

Andrew D. Gordon, Paul D. Hankin

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

1997

Preface.

Andrew D. Gordon, Andrew M. Pitts, Carolyn L. Talcott

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Mobile Ambients.

Luca Cardelli, Andrew D. Gordon

Proceedings of the Second Workshop on Higher-Order Operational Techniques in Semantics, 1997

Reasoning about Cryptographic Protocols in the Spi Calculus.

Martín Abadi, Andrew D. Gordon

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Five Axioms of Alpha-Conversion.

Andrew D. Gordon, Thomas F. Melham

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Concurrent Haskell.

Simon L. Peyton Jones, Andrew D. Gordon, Sigbjørn Finne

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

Bisimilarity for a First-Order Calculus of Objects with Subtyping.

Andrew D. Gordon, Gareth D. Rees

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Bisimilarity as a theory of functional programming.

Andrew D. Gordon

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1994

A Tutorial on Co-induction and Functional Programming.

Andrew D. Gordon

Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994

A Sound Metalogical Semantics for Input/Output Effects.

Roy L. Crole, Andrew D. Gordon

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion.

Andrew D. Gordon

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

An Operational Semantics for I/O in a Lazy Functional Language.

Andrew D. Gordon

Proceedings of the conference on Functional programming languages and computer architecture, 1993

Factoring an Adequacy Proof (Preliminary Report).

Roy L. Crole, Andrew D. Gordon

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992

Functional programming and input/output.

Andrew Donald Gordon

PhD thesis, 1992

Experience with Embedding Hardware Description Languages in HOL.

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel

Proceedings of the Theorem Provers in Circuit Design, 1992

The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic.

Andrew D. Gordon

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992