Will Leeson

According to our database, Will Leeson authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

Algorithm Selection for Software Verification Using Graph Neural Networks.

Will Leeson, Matthew B. Dwyer

ACM Trans. Softw. Eng. Methodol., March, 2024

2023

Sibyl: Improving Software Engineering Tools with SMT Selection.

Will Leeson, Matthew B. Dwyer, Antonio Filieri

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Algorithm Selection for Software Verification using Graph Attention Networks.

Will Leeson, Matthew B. Dwyer

CoRR, 2022

Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution).

Will Leeson, Matthew B. Dwyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022