Gene Kim

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Gene Kim, Lenhart K. Schubert
High-Fidelity Lexical Axiom Construction from Verb Glosses. *SEM@ACL (2016)
Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst
A type system for format strings. ISSTA (2014)
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst
A format string checker for Java. ISSTA (2014)