Conceptions of Artificial Intelligence and Singularity. - Pei Wang 002; Kai Liu; Quinn Dougherty (Inf., 2018)

SMAT: The Social Media Analysis Toolkit. - Emmi Bevensee; Maxwell Aliapoulios; Quinn Dougherty; Jason Baumgartner; Damon McCoy; Jeremy Blackburn (ICWSM Workshops, 2020)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation. - Quinn Dougherty; Ronak Mehta (LLM4Code@ICSE, 2025)