Andrew D. Gordon

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 43

Top Venues

Publications

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
Solving Data-centric Tasks using Large Language Models. CoRR (2024)
Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Benjamin G. Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models. CHI (2023)
Ian Drosos, Nicholas Wilson, Andrew D. Gordon, Sruti Srinivasa Ragavan, Jack Williams
FxD: a functional debugger for dysfunctional spreadsheets. VL/HCC (2023)
Advait Sarkar, Ian Drosos, Rob DeLine, Andrew D. Gordon, Carina Negreanu, Sean Rintel, Jack Williams, Benjamin G. Zorn
Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows. CoRR (2023)
Michael Xieyang Liu, Advait Sarkar, Carina Negreanu, Ben Zorn, Jack Williams, Neil Toronto, Andrew D. Gordon
"What It Wants Me To Say": Bridging the Abstraction Gap Between End-User Programmers and Code-Generating Large Language Models. CoRR (2023)
Kasra Ferdowsi, Jack Williams, Ian Drosos, Andrew D. Gordon, Carina Negreanu, Nadia Polikarpova, Advait Sarkar, Benjamin Zorn
COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code. VL/HCC (2023)
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
Co-audit: tools to help humans double-check AI-generated content. CoRR (2023)
Sruti Srinivasa Ragavan, Zhitao Hou, Yun Wang, Andrew D. Gordon, Haidong Zhang, Dongmei Zhang
GridBook: Natural Language Formulas for the Spreadsheet Grid. IUI (2022)
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Conditional Independence by Typing. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Advait Sarkar, Andrew D. Gordon, Carina Negreanu, Christian Pölitz, Sruti Srinivasa Ragavan, Ben Zorn
What is it like to program with artificial intelligence? CoRR (2022)
Advait Sarkar, Carina Negreanu, Ben Zorn, Sruti Srinivasa Ragavan, Christian Pölitz, Andrew D. Gordon
What is it like to program with artificial intelligence? PPIG (2022)
Jack Williams, Andrew D. Gordon
Where-provenance for bidirectional editing in spreadsheets. J. Comput. Lang. 73 (2022)
Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin
Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model. WWW (Companion Volume) (2022)
Carina Negreanu, Alperen Karaoglu, Jack Williams, Shuang Chen, Daniel Fabian, Andrew D. Gordon, Chin-Yew Lin
Rows from Many Sources: Enriching row completions from Wikidata with a pre-trained Language Model. CoRR (2022)
Jack Williams, Andrew D. Gordon
Where-Provenance for Bidirectional Editing in Spreadsheets. VL/HCC (2021)
Sruti Srinivasa Srinivasa Ragavan, Advait Sarkar, Andrew D. Gordon
Spreadsheet Comprehension: Guesswork, Giving Up and Going Back to the Author. CHI (2021)
Jack Williams, Carina Negreanu, Andrew D. Gordon, Advait Sarkar
Understanding and Inferring Units in Spreadsheets. VL/HCC (2020)
Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar
Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays. J. Funct. Program. 30 (2020)
Irene Vlassi Pandi, Earl T. Barr, Andrew D. Gordon, Charles Sutton
OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints. CoRR (2020)
Advait Sarkar, Judith W. Borghouts, Anusha Iyer, Sneha Khullar, Christian Canton, Felienne Hermans, Andrew D. Gordon, Jack Williams
Spreadsheet Use and Programming Experience: An Exploratory Survey. CHI Extended Abstracts (2020)
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Conditional independence by typing. CoRR (2020)
Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams
Gridlets: Reusing Spreadsheet Grids. CHI Extended Abstracts (2020)
Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar
Higher-Order Spreadsheets with Spilled Arrays. ESOP (2020)
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic. Proc. ACM Program. Lang. 3 (POPL) (2019)
Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Kenton P. O'Hara, Neil Toronto
Somewhere Around That Number: An Interview Study of How Spreadsheet Users Manage Uncertainty. CoRR (2019)
Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto
End-User Probabilistic Programming. QEST (2019)
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic. CoRR (2018)
Advait Sarkar, Andrew D. Gordon
How do people learn to use spreadsheets? (Work in progress). PPIG (2018)
Advait Sarkar, Andrew D. Gordon, Simon Peyton Jones, Neil Toronto
Calculation View: multiple-representation editing in spreadsheets. VL/HCC (2018)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. CoRR (2017)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. Log. Methods Comput. Sci. 13 (2) (2017)
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
A text-mining approach to explain unwanted behaviours. EUROSEC (2016)
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
Explaining Unwanted Behaviours in Context. IMPS@ESSoS (2016)
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
On Robust Malware Classifiers by Verifying Unwanted Behaviours. IFM (2016)
Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak
Fabular: regression formulas as probabilistic programming. POPL (2016)
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
A lambda-calculus foundation for universal probabilistic programming. ICFP (2016)
Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik
More Semantics More Robust: Improving Android Malware Classifiers. WISEC (2016)
Gilles Barthe, Andrew D. Gordon, Joost-Pieter Katoen, Annabelle McIver
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181). Dagstuhl Reports 5 (4) (2015)
Diana Borsa, Thore Graepel, Andrew D. Gordon
The Wreath Process: A totally generative model of geometric shape based on nested symmetries. CoRR (2015)
Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon
Practical probabilistic programming with monads. Haskell (2015)
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak
A Lambda-Calculus Foundation for Universal Probabilistic Programming. CoRR (2015)
Miltiadis Allamanis, Daniel Tarlow, Andrew D. Gordon, Yi Wei
Bimodal Modelling of Source Code and Natural Language. ICML (2015)
Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow
Probabilistic Programs as Spreadsheet Queries. ESOP (2015)
Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver
Tabular: a schema-driven probabilistic programming language. POPL (2014)
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
Guiding a general-purpose C verifier to prove cryptographic protocols. J. Comput. Secur. 22 (5) (2014)
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani
Probabilistic programming. FOSE (2014)
John A. Hewson, Paul Anderson, Andrew D. Gordon
Constraint-Based Autonomic Reconfiguration. SASO (2013)
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
A model-learner pattern for bayesian reasoning. POPL (2013)
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. Log. Methods Comput. Sci. 9 (3) (2013)
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. CoRR (2013)
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, Johannes Borgström
Bayesian inference using data flow analysis. ESEC/SIGSOFT FSE (2013)
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
Deriving Probability Density Functions from Probabilistic Functional Programs. TACAS (2013)
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Computational verification of C protocol implementations by symbolic execution. CCS (2012)
John A. Hewson, Paul Anderson, Andrew D. Gordon
A Declarative Approach to Automated Configuration. LISA (2012)
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
Semantic subtyping with an SMT solver. J. Funct. Program. 22 (1) (2012)
Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon
Maintaining Database Integrity with Refinement Types. ECOOP (2011)
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. Formal Aspects in Security and Trust (2011)
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. ESOP (2011)
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Extracting and verifying cryptographic models from C protocol code by symbolic execution. CCS (2011)
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution CoRR (2011)
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. CSF (2011)
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
Roles, stacks, histories: A triple for Hoare. J. Funct. Program. 21 (2) (2011)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Cédric Fournet, Karthikeyan Bhargavan, Andrew D. Gordon
Cryptographic Verification by Typing for a Sample Protocol Implementation. FOSAD (2011)
Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell
Robin Milner 1934--2010: verification, languages, and concurrency. POPL (2011)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Modular verification of security protocol code by typing. POPL (2010)
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
SecPAL: Design and semantics of a decentralized authorization language. J. Comput. Secur. 18 (4) (2010)
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
Semantic subtyping with an SMT solver. ICFP (2010)
Ioannis G. Baltopoulos, Andrew D. Gordon
Secure compilation of a multi-tier web language. TLDI (2009)
Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen
Type Inference for Correspondence Types. Electron. Notes Theor. Comput. Sci. 242 (3) (2009)
Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan
Towards a Verified Reference Implementation of a Trusted Platform Module. Security Protocols Workshop (2009)
Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon
A compositional theory for STM Haskell. Haskell (2009)
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 75 (1) (2008)
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
Code-Carrying Authorization. ESORICS (2008)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Verifying policy-based web services security. ACM Trans. Program. Lang. Syst. 30 (6) (2008)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy
Verified implementations of the information card federated identity-management protocol. AsiaCCS (2008)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement Types for Secure Implementations. CSF (2008)
Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
Service Combinators for Farming Virtual Machines. COORDINATION (2008)
Moritz Y. Becker, Cédric Fournet, Andrew D. Gordon
Design and Semantics of a Decentralized Authorization Language. CSF (2007)
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Andrew D. Gordon
Secure sessions for Web services. ACM Trans. Inf. Syst. Secur. 10 (2) (2007)
Johannes Borgström, Andrew D. Gordon, Andrew Phillips
A Chart Semantics for the Pi-Calculus. EXPRESS (2007)
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 72 (1) (2007)
Luca Aceto, Mario Bravetti, Wan J. Fokkink, Andrew D. Gordon
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 70 (2) (2007)
Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
Service Combinators for Farming Virtual Machines. TGC (2007)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Verified Reference Implementations of WS-Security Protocols. WS-FM (2006)
Andrew D. Gordon
Provable Implementations of Security Protocols. LICS (2006)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Verified Interoperable Implementations of Security Protocols. CSFW (2006)
Andrew D. Gordon
V for Virtual. Electron. Notes Theor. Comput. Sci. 162 (2006)
Luca Aceto, Andrew D. Gordon
Preface. Electron. Notes Theor. Comput. Sci. 162 (2006)
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
A Type Discipline for Authorization Policies. ESOP (2005)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
A semantics for web services authentication. Theor. Comput. Sci. 340 (1) (2005)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Greg O'Shea
An advisor for web services security policies. SWS (2005)
Andrew D. Gordon
Preface for the Special Issue: Foundations of Software Science and Computation Structures. Theor. Comput. Sci. 333 (1-2) (2005)
Andrew D. Gordon, Alan Jeffrey
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. CONCUR (2005)
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Secrecy and group creation. Inf. Comput. 196 (2) (2005)
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon
Deciding validity in a spatial logic for trees. J. Funct. Program. 15 (4) (2005)
Andrew D. Gordon
From Typed Process Calculi to Source-Based Security. SAS (2005)
Andrew D. Gordon, Riccardo Pucella
Validating a web service security abstraction by typing. Formal Aspects Comput. 17 (3) (2005)

Andrew D. Gordon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew D. Gordon