Yoonseung Kim

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Major compiler verification efforts, such as the CompCert project, have traditionally simplified the verification problem by restricting attention to the correctness of whole-program compilation, leaving open the question of how to verify the correctness of separate compilation. Recently, a number of sophisticated techniques have been proposed for proving(More)
  • 1