Gene Kim

According to our database, Gene Kim authored at least 3 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

High-Fidelity Lexical Axiom Construction from Verb Glosses.

Gene Kim, Lenhart K. Schubert

Proceedings of the Fifth Joint Conference on Lexical and Computational Semantics, 2016

2014

A format string checker for Java.

Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014

A type system for format strings.

Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst

Proceedings of the International Symposium on Software Testing and Analysis, 2014