Items where Author is "Kelly, David"

Wang, Huanting and Jacob, Dejice and Kelly, David and Elkhatib, Yehia and Singer, Jeremy and Wang, Zheng (2025) SecureMind : A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair. In: Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management :. Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management . ACM, New York, pp. 27-40. ISBN 9798400716102

Connelly, Angela and Gabalda, Vincent and Garvin, Stephen and Hunter, Katy and Kelly, David and Lawson, Nigel and O'Hare, Paul and White, Iain (2015) Testing innovative technologies to manage flood risk. Proceedings of the ICE - Water Management, 168 (2). pp. 66-73. ISSN 1741-7589