1. Algorithm Selection for Software Verification Using Graph Neural Networks
    Will Leeson, and Matthew B. Dwyer
    ACM Trans. Softw. Eng. Methodol. Dec 2023
  2. Sibyl: Improving Software Engineering Tools with SMT Selection
    Will Leeson, Matthew B Dwyer, and Antonio Filieri
    In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) May 2023


  1. Graves-CPA: A graph-attention verifier selector (competition contribution)
    Will Leeson, and Matthew B Dwyer
    In International Conference on Tools and Algorithms for the Construction and Analysis of Systems May 2022


  1. Natural Language Processing (NLP) in qualitative public health research: a proof of concept study
    William Leeson, Adam Resnick, Daniel Alexander, and 1 more author
    International Journal of Qualitative Methods May 2019