Daragh King

According to our database, Daragh King authored at least 5 papers between 2024 and 2026.

Collaborative distances:

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

2026

LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions.

Daragh King, Vasileios Koutavas, Laura Kovács

Int. J. Softw. Tools Technol. Transf., June, 2026

2025

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning.

Daragh King, Vasileios Koutavas, Laura Kovács

CoRR, December, 2025

FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing.

Daragh King, Vasileios Koutavas, Laura Kovács

CoRR, July, 2025

Llm-Based Generation of Weakest Preconditions and Precise Array Invariants.

Daragh King, Vasileios Koutavas, Laura Kovács

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025

2024

Using the Polyak Step Size in training Convolutional Neural Networks.

Daragh King

Proceedings of the Second Tiny Papers Track at ICLR 2024, 2024