| 2025 | IJCNN | Conventional Augmentation is More Effective than ImageGPT and GANs? A Comparison of Synthetic Data Evaluation Methods. | Andrew Kennedy, Richard Everson |
| 2023 | IECON | Hybrid Approach for Efficient and Accurate Category-Agnostic Object Detection and Localization with Image Queries in Human-Robot Interaction. | Haolin Fei, Ziwei Wang, Darren Williams, Andrew Kennedy |
| 2017 | ICFP | Driving types into PHP (invited talk). | Andrew Kennedy |
| 2015 | VINCI | The Graph Landscape: a Concept for the Visual Analysis of Graph Set Properties. | Andrew Kennedy, Karsten Klein, An Nguyen |
| 2013 | POPL | Abstraction and invariance for algebraically indexed types. | Robert Atkey, Patricia Johann, Andrew Kennedy |
| 2013 | POPL | High-level separation logic for low-level code. | Jonas Braband Jensen, Nick Benton, Andrew Kennedy |
| 2013 | PPDP | Coq: the world's best macro assembler? | Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-variste Dagand |
| 2013 | VRST | Impact of graphical fidelity on physiological responses in virtual environments. | Vivianette Ocasio-De Jess, Andrew Kennedy, David Whittinghill |
| 2009 | PPDP | Relational semantics for effect-based program transformations: higher-order store. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2007 | ACC | Robust Model Predictive Control of Nonlinear Systems: Handling Rate Constraints. | Prashant Mhaskar, Andrew Kennedy |
| 2007 | ICFP | Compiling with continuations, continued. | Andrew Kennedy |
| 2007 | PPDP | Relational semantics for effect-based program transformations with dynamic allocation. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2006 | APLAS | Reading, Writing and Relations. | Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer |
| 2006 | ECOOP | Variance and Generalized Constraints for C | Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu |
| 2005 | OOPSLA | Generalized algebraic data types and object-oriented programming. | Andrew Kennedy, Claudio V. Russo |
| 2004 | POPL | Formalization of generics for the .NET common language runtime. | Dachuan Yu, Andrew Kennedy, Don Syme |
| 2004 | PPDP | Adventures in interoperability: the SML.NET experience. | Nick Benton, Andrew Kennedy, Claudio V. Russo |
| 2003 | PEPM | CodeBricks: code fragments as building blocks. | Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy |
| 2001 | PLDI | Design and Implementation of Generics for the .NET Common Language Runtime. | Andrew Kennedy, Don Syme |
| 1999 | ICFP | Interlanguage Working Without Tears: Blending SML with Java. | Nick Benton, Andrew Kennedy |
| 1998 | ICFP | Compiling Standard ML to Java Bytecodes. | Nick Benton, Andrew Kennedy, George Russell |
| 1997 | POPL | Relational Parametricity and Units of Measure. | Andrew Kennedy |
| 1994 | ESOP | Dimension Types. | Andrew Kennedy |