Publications

2024

1. TOSEM

   Algorithm Selection for Software Verification Using Graph Neural Networks

   Will Leeson and Matthew B Dwyer

   ACM Transactions on Software Engineering and Methodology, 2024

   Bib HTML

   @article{leeson2024algorithm,
     title = {Algorithm Selection for Software Verification Using Graph Neural Networks},
     author = {Leeson, Will and Dwyer, Matthew B},
     journal = {ACM Transactions on Software Engineering and Methodology},
     volume = {33},
     number = {3},
     pages = {1--36},
     year = {2024},
     publisher = {ACM New York, NY, USA},
   }

2023

1. ICSE

   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

   Bib HTML

   @inproceedings{leeson2023sibyl,
     title = {Sibyl: Improving Software Engineering Tools with SMT Selection},
     author = {Leeson, Will and Dwyer, Matthew B and Filieri, Antonio},
     booktitle = {2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)},
     year = {2023},
     month = may,
     pages = {2185--2197},
     organization = {IEEE}
   }

2022

1. TACAS

   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

   Bib PDF

   @inproceedings{leeson2022graves,
     title = {Graves-CPA: A graph-attention verifier selector (competition contribution)},
     author = {Leeson, Will and Dwyer, Matthew B},
     booktitle = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
     pages = {440--445},
     year = {2022},
     organization = {Springer}
   }

2019

1. IJQM

   Natural Language Processing (NLP) in qualitative public health research: a proof of concept study

   Will Leeson, Adam Resnick, Daniel Alexander, and 1 more author

   International Journal of Qualitative Methods, May 2019

   Bib HTML

   @article{leeson2019natural,
     title = {Natural Language Processing (NLP) in qualitative public health research: a proof of concept study},
     author = {Leeson, Will and Resnick, Adam and Alexander, Daniel and Rovers, John},
     journal = {International Journal of Qualitative Methods},
     volume = {18},
     pages = {1609406919887021},
     year = {2019},
     publisher = {SAGE Publications Sage CA: Los Angeles, CA}
   }