Publications

2023

1. TOSEM

   Algorithm Selection for Software Verification Using Graph Neural Networks

   Will Leeson, and Matthew B. Dwyer

   ACM Trans. Softw. Eng. Methodol. Dec 2023

   Bib HTML

   @article{10.1145/3637225,
     author = {Leeson, Will and Dwyer, Matthew B.},
     title = {Algorithm Selection for Software Verification Using Graph Neural Networks},
     year = {2023},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     issn = {1049-331X},
     url = {https://doi.org/10.1145/3637225},
     doi = {10.1145/3637225},
     journal = {ACM Trans. Softw. Eng. Methodol.},
     month = dec,
     keywords = {algorithm selection, graph neural networks},
   }

2. 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

   William 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, William 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}
   }