• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Hakjoo Oh, Kihong Heo, +4 authors Kwangkeun Yi
  • Computer Science
  • TOPL
  • 2014 (First Publication: 25 September 2014)
  • In this article, we present a general method for achieving global static analyzers that are precise and sound, yet also scalable. Our method, on top of the abstract interpretation framework, is aContinue Reading