Selected Publications

• McCarthy, J., Fetscher, B., New, M., Feltey, D., Findler, R.B. (2016) A Coq Library For Internal Verification of Running-Times pp. 144–162
• McCarthy, J. (2016) Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis pp. 1–7
• Hu, H.H., Heiner, C., McCarthy, J. (2016) Deploying Exploring Computer Science Statewide pp. 72–77