SafeStrings: Representing Strings as Structured Data. - David A. Kelly; Mark Marron; David Clark 001; Earl T. Barr (CoRR, 2019)

June: A Type Testability Transformation for Improved ATG Performance. - Dan Bruce; David A. Kelly; Héctor D. Menéndez 001; Earl T. Barr; David Clark 001 (ISSTA, 2023)

StableYolo: Optimizing Image Generation for Large Language Models. - Harel Berger; Aidan Dakhama; Zishuo Ding; Karine Even-Mendoza; David A. Kelly; Héctor D. Menéndez 001; Rebecca Moussa; Federica Sarro (SSBSE, 2023)

Multiple Different Explanations for Image Classifiers. - Hana Chockler; David A. Kelly; Daniel Kroening (CoRR, 2023)

You Only Explain Once. - David A. Kelly; Hana Chockler; Daniel Kroening; Nathan Blake; Aditi Ramaswamy; Melane Navaratnarajah; Aaditya Shivakumar (CoRR, 2023)

MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting. - Nathan Blake; Hana Chockler; David A. Kelly; Santiago Calderon Pena; Akchunya Chanchal (CoRR, 2023)

Real-Time Incremental Explanations for Object Detectors. - Santiago Calderon Pena; Hana Chockler; David A. Kelly (CoRR, 2024)

Causal Explanations for Image Classifiers. - Hana Chockler; David A. Kelly; Daniel Kroening; Youcheng Sun (CoRR, 2024)

DiscreteEntropy.jl: Entropy Estimation of Discrete Random Variables with Julia. - David A. Kelly; Ilaria Pia La Torre (J. Open Source Softw., 2024)

Explaining Negative Classifications of AI Models in Tumor Diagnosis. - David A. Kelly; Hana Chockler; Nathan Blake (UAI, 2025)

To BEE or not to BEE: Estimating more than Entropy with Biased Entropy Estimators. - Ilaria Pia La Torre; David A. Kelly; Héctor Menéndez 001; David Clark 001 (CoRR, 2025)

3D ReX: Causal Explanations in 3D Neuroimaging Classification. - Melane Navaratnarajah; Sophie A. Martin; David A. Kelly; Nathan Blake; Hana Chockler (CoRR, 2025)

SpecReX: Explainable AI for Raman Spectroscopy. - Nathan Blake; David A. Kelly; Akchunya Chanchal; Sarah Kapllani-Mucaj; Geraint Thomas; Hana Chockler (CoRR, 2025)

Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification. - David A. Kelly; Hana Chockler (CoRR, 2025)

I Am Big, You Are Little; I Am Right, You Are Wrong. - David A. Kelly; Akchunya Chanchal; Nathan Blake (CoRR, 2025)