| 2025 | EUROGP | Population Diversity, Information Theory and Genetic Improvement. | William B. Langdon, David Clark |
| 2024 | EUROGP | Genetic Improvement of Last Level Cache. | William B. Langdon, David Clark |
| 2023 | EUROGP | Genetic Improvement of LLVM Intermediate Representation. | William B. Langdon, Afnan A. Al-Subaihin, Aymeric Blot, David Clark |
| 2023 | GECCO | Genetically Improved Software with fewer Data Cache Misses. | William B. Langdon, Justyna Petke, Aymeric Blot, David Clark |
| 2023 | ISSTA | June: A Type Testability Transformation for Improved ATG Performance. | Dan Bruce, David A. Kelly, Hctor D. Menndez, Earl T. Barr, David Clark |
| 2023 | QCE | cuQuantum SDK: A High-Performance Library for Accelerating Quantum Science. | Harun Bayraktar, Ali Charara, David Clark, Saul Cohen, Timothy B. Costa, Yao-Lung L. Fang, Yang Gao, Jack Guan, John A. Gunnels, Azzam Haidar, Andreas Hehn, Markus Hhnerbach, Matthew Jones, Tom Lubowe, Dmitry I. Lyakh, Shinya Morino, Paul Springer, Sam Stanwyck, Igor Terentyev, Satya Varadhan, Jonathan Wong, Takuma Yamaguchi |
| 2022 | GECCO | Measuring failed disruption propagation in genetic programming. | William B. Langdon, Afnan A. Al-Subaihin, David Clark |
| 2021 | GECCO | Dissipative polynomials. | William B. Langdon, Justyna Petke, David Clark |
| 2019 | ICST | Directing a Search Towards Execution Properties with a Learned Fitness Function. | Leonid Joffe, David Clark |
| 2019 | SSBSE | Dorylus: An Ant Colony Based Tool for Automated Test Case Generation. | Dan Bruce, Hctor D. Menndez, David Clark |
| 2019 | SSBSE | Constructing Search Spaces for Search-Based Software Testing Using Neural Networks. | Leonid Joffe, David Clark |
| 2018 | ISSTA | OASIs: oracle assessment and improvement tool. | Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella |
| 2016 | ICST | Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. | Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo |
| 2016 | ISSTA | Test oracle assessment and improvement. | Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella |
| 2016 | SCAM | Similarity of Source Code in the Presence of Pervasive Modifications. | Chaiyong Ragkhitwetsagul, Jens Krinke, David Clark |
| 2015 | ICSE | Information Transformation: An Underpinning Theory for Software Engineering. | David Clark, Robert Feldt, Simon M. Poulding, Shin Yoo |
| 2015 | SOSP | The network and the OS. | David Clark |
| 2014 | ICSE | An analysis of the relationship between conditional entropy and failed error propagation in software testing. | Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman |
| 2014 | SETA | The Nonexistence of (18, 3, 18, 6) Relative Difference Sets. | David Clark, Vladimir D. Tonchev |
| 2011 | ICSE | Model projection: simplifying models in response to restricting the environment. | Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li |
| 2009 | FASE | Control Dependence for Extended Finite State Machines. | Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt |
| 2004 | IFM | UML to B: Formal Verification of Object-Oriented Models. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2004 | KES | Using Consensus Ensembles to Identify Suspect Data. | David Clark |
| 2002 | IFM | From Implicit Specifications to Explicit Designs in Reactive System Development. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2002 | SAFECOMP | Safety and Security Analysis of Object-Oriented Models. | Kevin Lano, David Clark, Kelly Androutsopoulos |
| 2001 | CEC | Applications of genetic algorithms, geostatistics, and fuzzy c-means clustering to image segmentation. | Tuan D. Pham, Michael Wagner, David Clark |
| 2000 | FASE | Structuring and Design of Reactive Systems Using RSDS and B. | Kevin Lano, Kelly Androutsopoulos, David Clark |
| 2000 | SAS | Safety of Strictness Analysis via Term Graph Rewriting. | David Clark, Chris Hankin, Sebastian Hunt |