David A. Kelly

According to our database, David A. Kelly authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Real-Time Incremental Explanations for Object Detectors.

Santiago Calderon Pena, Hana Chockler, David A. Kelly

CoRR, 2024

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

You Only Explain Once.

David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar

CoRR, 2023

Multiple Different Explanations for Image Classifiers.

Hana Chockler, David A. Kelly, Daniel Kroening

CoRR, 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, Rebecca Moussa, Federica Sarro

Proceedings of the Search-Based Software Engineering - 15th International Symposium, 2023

June: A Type Testability Transformation for Improved ATG Performance.

Dan Bruce, David A. Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2019

SafeStrings: Representing Strings as Structured Data.

David A. Kelly, Mark Marron, David Clark, Earl T. Barr

CoRR, 2019