| 2025 | AAAI | Enhancing SQL Query Generation with Neurosymbolic Reasoning. | Henrijs Princis, Cristina David, Alan Mycroft |
| 2022 | FSCD | Galois Connecting Call-by-Value and Call-by-Name. | Dylan McDermott, Alan Mycroft |
| 2021 | ECOOP | Source code patches from dynamic analysis. | Indigo Orton, Alan Mycroft |
| 2021 | ECOOP | Refactoring traces to identify concurrency improvements. | Indigo Orton, Alan Mycroft |
| 2021 | HPCA | ParaDox: Eliminating Voltage Margins via Heterogeneous Fault Tolerance. | Sam Ainsworth, Lionel Zoubritzky, Alan Mycroft, Timothy M. Jones |
| 2020 | FSCD | Data-Flow Analyses as Effects and Graded Monads. | Andrej Ivaskovic, Alan Mycroft, Dominic Orchard |
| 2020 | HASKELL | A graded Monad for deadlock-free concurrency (functional pearl). | Andrej Ivaskovic, Alan Mycroft |
| 2019 | ESOP | Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order. | Dylan McDermott, Alan Mycroft |
| 2017 | POPL | Polymorphism, subtyping, and type inference in MLsub. | Stephen Dolan, Alan Mycroft |
| 2016 | SAS | Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. | Pritam M. Gharat, Uday P. Khedker, Alan Mycroft |
| 2014 | CC | Liveness-Based Garbage Collection. | Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft |
| 2014 | ECOOP | Programming language evolution workshop report. | Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft |
| 2014 | ICFP | Coeffects: a calculus of context-dependent computation. | Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 2014 | OOPSLA | It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It. | Raphal Proust, Alan Mycroft |
| 2013 | APLAS | Dynamic Alias Protection with Aliasing Contracts. | Janina Voigt, Alan Mycroft |
| 2013 | ICALP | Coeffects: Unified Static Analysis of Context-Dependence. | Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 2013 | MSR | Rendezvous: a search engine for binary code. | Wei Ming Khoo, Alan Mycroft, Ross J. Anderson |
| 2013 | SAS | Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. | Leo White, Alan Mycroft |
| 2012 | ISORC | Schedulability Analysis Abstractions for Safety Critical Java. | Thomas Bgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft |
| 2012 | OOPSLA | Programming language evolution via source code query languages. | Raoul-Gabriel Urma, Alan Mycroft |
| 2012 | SAS | Control Flow Analysis for the Join Calculus. | Peter Calvert, Alan Mycroft |
| 2012 | SAS | Liveness-Based Pointer Analysis. | Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat |
| 2011 | EuroPar | Petri-nets as an Intermediate Representation for Heterogeneous Architectures. | Peter Calvert, Alan Mycroft |
| 2011 | HASKELL | Extending monads with pattern matching. | Tomas Petricek, Alan Mycroft, Don Syme |
| 2010 | EuroPar | Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling. | Jonathan Chee Heng Mak, Karl-Filip Faxn, Sverker Janson, Alan Mycroft |
| 2010 | POPL | Ypnos: declarative, parallel structured grid programming. | Dominic A. Orchard, Max Bolingbroke, Alan Mycroft |
| 2010 | RV | Formally Efficient Program Instrumentation. | Boris Feigin, Alan Mycroft |
| 2010 | SAS | Strictness Meets Data Flow. | Tom Schrijvers, Alan Mycroft |
| 2009 | FASE | Logical Testing. | Kathryn E. Gray, Alan Mycroft |
| 2009 | ISSTA | Limits of parallelism using dynamic dependency graphs. | Jonathan Chee Heng Mak, Alan Mycroft |
| 2009 | SPAA | A lightweight in-place implementation for software thread-level speculation. | Cosmin E. Oancea, Alan Mycroft, Tim Harris |
| 2008 | ECOOP | Kilim: Isolation-Typed Actors for Java. | Sriram Srinivasan, Alan Mycroft |
| 2008 | FASE | Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. | Jonathan J. Davies, Alastair R. Beresford, Alan Mycroft |
| 2008 | ICSE | Software thread-level speculation: an optimistic library implementation. | Cosmin E. Oancea, Alan Mycroft |
| 2008 | PEPM | Jones optimality and hardware virtualization: a report on work in progress. | Boris Feigin, Alan Mycroft |
| 2007 | EuroPar | Delayed Side-Effects Ease Multi-core Programming. | Anton Lokhmotov, Alan Mycroft, Andrew Richards |
| 2007 | PDCAT | Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. | Kyoko Iwasawa, Alan Mycroft |
| 2007 | SPAA | Optimal bit-reversal using vector permutations. | Anton Lokhmotov, Alan Mycroft |
| 2007 | SAS | Programming Language Design and Analysis Motivated by Hardware Evolution. | Alan Mycroft |
| 2006 | ESOP | Haskell Is Not Not ML. | Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones |
| 2006 | ISWC | Applying Bayesian Networks to Sensor-Driven Systems. | Eleftheria Katsiri, Alan Mycroft |
| 2006 | PEPM | Bit-level partial evaluation of synchronous circuits. | Sarah Thompson, Alan Mycroft |
| 2005 | CC | Task Partitioning for Multi-core Network Processors. | Robert Ennals, Richard Sharp, Alan Mycroft |
| 2005 | MDM | Model Checking for Sentient Computing: An Axiomatic Approach. | Eleftheria Katsiri, Alan Mycroft |
| 2004 | CC | Using Multiple Memory Access Instructions for Reducing Code Size. | Neil Johnson, Alan Mycroft |
| 2004 | DATE | Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models. | Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
| 2004 | ESOP | Linear Types for Packet Processing. | Robert Ennals, Richard Sharp, Alan Mycroft |
| 2004 | SAS | Abstract Interpretation of Combinational Asynchronous Circuits. | Sarah Thompson, Alan Mycroft |
| 2003 | CC | Combined Code Motion and Register Allocation Using the Value State Dependence Graph. | Neil Johnson, Alan Mycroft |
| 2003 | FASE | Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. | David J. Scott, Alastair R. Beresford, Alan Mycroft |
| 2003 | FDL | Object-Oriented ASIP Design and Synthesis. | Maziar Goudarzi, Shaahin Hessabi, Alan Mycroft |
| 2001 | SAS | Soft Scheduling for Hardware. | Richard Sharp, Alan Mycroft |
| 2001 | TACAS | Hardware/Software Co-Design Using Functional Languages. | Alan Mycroft, Richard Sharp |
| 2000 | ICALP | A Statically Allocated Parallel Functional Language. | Alan Mycroft, Richard Sharp |
| 1999 | ESOP | Type-Based Decompilation (or Program Reconstruction via Type Reconstruction). | Alan Mycroft |
| 1993 | PEPM | Completeness and predicate-based abstract interpretation. | Alan Mycroft |
| 1992 | LFCS | Incremental Polymorphic Type Checking with Update. | Alan Mycroft |
| 1992 | SAS | Minimal Function Graphs are not Instrumented. | Alan Mycroft, Mads Rosendahl |
| 1991 | ICALP | Uniform Ideals and Strictness Analysis. | Christine Ernoult, Alan Mycroft |
| 1986 | POPL | Data Flow Analysis of Applicative Programs Using Minimal Function Graphs. | Neil D. Jones, Alan Mycroft |
| 1984 | ICALP | On the Relationship of CCS and Petri Nets. | Ursula Goltz, Alan Mycroft |
| 1984 | STACS | Logic Programs and Many-Valued Logic. | Alan Mycroft |
| 1983 | ICALP | Strong Abstract Interpretation Using Power Domains (Extended Abstract). | Alan Mycroft, Flemming Nielson |
| 1983 | ICLP | A Polymorphic Type System for Prolog. | Alan Mycroft, Richard A. O'Keefe |