David A. Kelly
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | Multiple Different Black Box Explanations for Image Classifiers. | Hana Chockler, David A. Kelly, Daniel Kroening |
| 2025 | ICCV | I Am Big, You Are Little; I Am Right, You Are Wrong. | David A. Kelly, Akchunya Chanchal, Nathan Blake |
| 2025 | UAI | Explaining Negative Classifications of AI Models in Tumor Diagnosis. | David A. Kelly, Hana Chockler, Nathan Blake |
| 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 | SSBSE | StableYolo: Optimizing Image Generation for Large Language Models. | Harel Berger, Aidan Dakhama, Zishuo Ding, Karine Even-Mendoza, David A. Kelly, Hctor D. Menndez, Rebecca Moussa, Federica Sarro |