A type system for format strings. - Konstantin Weitz; Gene Kim 001; Siwakorn Srisakaokul; Michael D. Ernst (ISSTA, 2014)

A format string checker for Java. - Konstantin Weitz; Siwakorn Srisakaokul; Gene Kim 001; Michael D. Ernst (ISSTA, 2014)

High-Fidelity Lexical Axiom Construction from Verb Glosses. - Gene Kim 001; Lenhart K. Schubert (*SEM@ACL, 2016)