Verily: a web framework for creating more reasonable web applications. - John L. Singleton; Gary T. Leavens (ICSE Companion, 2014)

Spekl: A Layered System for Specification Authoring, Sharing, and Usage. - John L. Singleton; Gary T. Leavens (IRI, 2016)

An algorithm and tool to infer practical postconditions. - John L. Singleton; Gary T. Leavens; Hridesh Rajan; David R. Cok (ICSE (Companion Volume), 2018)

Inferring Concise Specifications of APIs. - John L. Singleton; Gary T. Leavens; Hridesh Rajan; David R. Cok (CoRR, 2019)