Andrew D. Gordon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
57
Venues
26
Active years
1992–2024
Best venue rank
A*
Where they publish
- A*POPL12 papers
- AESOP6 papers
- A*CCS5 papers
- A*CHI4 papers
- BCONCUR4 papers
- BFOSSACS3 papers
- AICFP2 papers
- CHASKELL2 papers
- BSAS2 papers
- ANAACL1 paper
- AIUI1 paper
- A*WWW1 paper
- BIFM1 paper
- A*ICML1 paper
- A*ICSE1 paper
- ATACAS1 paper
- AECOOP1 paper
- CCoordination1 paper
- AESORICS1 paper
- A*LICS1 paper
- BLPAR1 paper
- CPPDP1 paper
- BMFCS1 paper
- A*ICALP1 paper
- BCSL1 paper
- CICCD1 paper
Papers
57 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | NAACL | Solving Data-centric Tasks using Large Language Models. | Shraddha Barke, Christian Plitz, Carina Negreanu, Benjamin Zorn, Jos Cambronero, Andrew D. Gordon, Vu Le, Elnaz Nouri, Nadia Polikarpova, Advait Sarkar, Brian Slininger, Neil Toronto, Jack Williams |
| 2023 | CHI | "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 |
| 2022 | IUI | GridBook: Natural Language Formulas for the Spreadsheet Grid. | Sruti Srinivasa Ragavan, Zhitao Hou, Yun Wang, Andrew D. Gordon, Haidong Zhang, Dongmei Zhang |
| 2022 | WWW | 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 |
| 2021 | CHI | Spreadsheet Comprehension: Guesswork, Giving Up and Going Back to the Author. | Sruti Srinivasa Ragavan, Advait Sarkar, Andrew D. Gordon |
| 2020 | CHI | Gridlets: Reusing Spreadsheet Grids. | Nima Joharizadeh, Advait Sarkar, Andrew D. Gordon, Jack Williams |
| 2020 | CHI | 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 |
| 2020 | ESOP | Higher-Order Spreadsheets with Spilled Arrays. | Jack Williams, Nima Joharizadeh, Andrew D. Gordon, Advait Sarkar |
| 2016 | ICFP | A lambda-calculus foundation for universal probabilistic programming. | Johannes Borgstrm, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak |
| 2016 | IFM | On Robust Malware Classifiers by Verifying Unwanted Behaviours. | Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik |
| 2016 | POPL | Fabular: regression formulas as probabilistic programming. | Johannes Borgstrm, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak |
| 2015 | ESOP | Probabilistic Programs as Spreadsheet Queries. | Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgstrm, Nicolas Rolland, Thore Graepel, Daniel Tarlow |
| 2015 | HASKELL | Practical probabilistic programming with monads. | Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon |
| 2015 | ICML | Bimodal Modelling of Source Code and Natural Language. | Miltiadis Allamanis, Daniel Tarlow, Andrew D. Gordon, Yi Wei |
| 2014 | ICSE | Probabilistic programming. | Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, Sriram K. Rajamani |
| 2014 | POPL | Tabular: a schema-driven probabilistic programming language. | Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgstrm, John Guiver |
| 2013 | POPL | A model-learner pattern for bayesian reasoning. | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrm, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
| 2013 | TACAS | Deriving Probability Density Functions from Probabilistic Functional Programs. | Sooraj Bhat, Johannes Borgstrm, Andrew D. Gordon, Claudio V. Russo |
| 2012 | CCS | Computational verification of C protocol implementations by symbolic execution. | Mihhail Aizatulin, Andrew D. Gordon, Jan Jrjens |
| 2011 | CCS | Extracting and verifying cryptographic models from C protocol code by symbolic execution. | Mihhail Aizatulin, Andrew D. Gordon, Jan Jrjens |
| 2011 | ECOOP | Maintaining Database Integrity with Refinement Types. | Ioannis G. Baltopoulos, Johannes Borgstrm, Andrew D. Gordon |
| 2011 | ESOP | Measure Transformer Semantics for Bayesian Machine Learning. | Johannes Borgstrm, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
| 2011 | POPL | Robin Milner 1934--2010: verification, languages, and concurrency. | Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell |
| 2010 | ICFP | Semantic subtyping with an SMT solver. | Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy |
| 2010 | POPL | Modular verification of security protocol code by typing. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2009 | HASKELL | A compositional theory for STM Haskell. | Johannes Borgstrm, Karthikeyan Bhargavan, Andrew D. Gordon |
| 2008 | CCS | Verified implementations of the information card federated identity-management protocol. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon, Nikhil Swamy |
| 2008 | Coordination | Service Combinators for Farming Virtual Machines. | Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya |
| 2008 | ESORICS | Code-Carrying Authorization. | Sergio Maffeis, Martn Abadi, Cdric Fournet, Andrew D. Gordon |
| 2006 | LICS | Provable Implementations of Security Protocols. | Andrew D. Gordon |
| 2005 | CONCUR | Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. | Andrew D. Gordon, Alan Jeffrey |
| 2005 | ESOP | A Type Discipline for Authorization Policies. | Cdric Fournet, Andrew D. Gordon, Sergio Maffeis |
| 2005 | SAS | From Typed Process Calculi to Source-Based Security. | Andrew D. Gordon |
| 2004 | CCS | Verifying policy-based security for web services. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2004 | POPL | A semantics for web services authentication. | Karthikeyan Bhargavan, Cdric Fournet, Andrew D. Gordon |
| 2002 | CONCUR | Types for Cryptographic Protocols. | Andrew D. Gordon |
| 2002 | ESOP | Finite-Control Mobile Ambients. | Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot |
| 2002 | LPAR | Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. | Don Syme, Andrew D. Gordon |
| 2002 | POPL | Stack inspection: theory and variants. | Cdric Fournet, Andrew D. Gordon |
| 2001 | FOSSACS | The Complexity of Model Checking Mobile Ambients. | Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot |
| 2001 | POPL | Typing a multi-language intermediate code. | Andrew D. Gordon, Don Syme |
| 2001 | PPDP | Types for Cyphers: Thwarting Mischief and Malice with Type Theory. | Andrew D. Gordon |
| 2001 | SAS | A Type and Effect Analysis of Security Protocols. | Andrew D. Gordon, Alan Jeffrey |
| 2000 | CONCUR | Secrecy and Group Creation. | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
| 2000 | MFCS | Region Analysis and a pi-Calculus wiht Groups. | Silvano Dal-Zilio, Andrew D. Gordon |
| 2000 | POPL | Anytime, Anywhere: Modal Logics for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon |
| 1999 | FOSSACS | Equational Properties of Mobile Ambients. | Andrew D. Gordon, Luca Cardelli |
| 1999 | ICALP | Mobility Types for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli |
| 1999 | POPL | Types for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon |
| 1998 | ESOP | A Bisimulation Method for Cryptographic Protocols. | Martn Abadi, Andrew D. Gordon |
| 1998 | FOSSACS | Mobile Ambients. | Luca Cardelli, Andrew D. Gordon |
| 1997 | CCS | A Calculus for Cryptographic Protocols: The Spi Calculus. | Martn Abadi, Andrew D. Gordon |
| 1997 | CONCUR | Reasoning about Cryptographic Protocols in the Spi Calculus. | Martn Abadi, Andrew D. Gordon |
| 1996 | POPL | Bisimilarity for a First-Order Calculus of Objects with Subtyping. | Andrew D. Gordon, Gareth D. Rees |
| 1996 | POPL | Concurrent Haskell. | Simon L. Peyton Jones, Andrew D. Gordon, Sigbjrn Finne |
| 1994 | CSL | A Sound Metalogical Semantics for Input/Output Effects. | Roy L. Crole, Andrew D. Gordon |
| 1992 | ICCD | The Formal Definition of a Synchronous Hardware-Description Language in Higher Order Logic. | Andrew D. Gordon |