Login / Signup
Will Leeson
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Solution Path
Software Engineers
Graph Model
Top Venues
CoRR
TACAS (2)
ICSE
</>
Publications
</>
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)