Will Leeson

According to our database, Will Leeson authored at least 5 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 Datasets.

Will Leeson, Matthew Dwyer, Antonio Filieri

Dataset, January, 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