Login / Signup
Will Leeson
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Solution Path
Software Engineering Practices
Graph Model
Top Venues
CoRR
ACM Trans. Softw. Eng. Methodol.
TACAS (2)
ICSE
</>
Publications
</>
Will Leeson
,
Matthew B. Dwyer
Algorithm Selection for Software Verification Using Graph Neural Networks.
ACM Trans. Softw. Eng. Methodol.
33 (3) (2024)
Will Leeson
,
Matthew B. Dwyer
,
Antonio Filieri
Sibyl: Improving Software Engineering Tools with SMT Selection.
ICSE
(2023)
Will Leeson
,
Matthew B. Dwyer
Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution).
TACAS (2)
(2022)
Will Leeson
,
Matthew B. Dwyer
Algorithm Selection for Software Verification using Graph Attention Networks.
CoRR
(2022)