Hanjun Kim Professor School of Electrical and Electronic Engineering, Yonsei University Ph.D. 2013, Department of Computer Science, Princeton University Office: Engineering Hall #3-C415 Phone: +82-2-2123-2770 Email: first_name at yonsei.ac.kr |
|
[Home] [Curriculum Vitae] [Publications] [CoreLab] [Korean] |
PatentsMethod and Apparatus for Verifiying the Validity of Intermediate Representation of a Compiler [abstract]
A processor-implemented method including modifying a first original partial IR corresponding to a specific code region of an original IR to obtain a first modified intermediate representation (IR), generating first original partial binary code corresponding to the first original partial IR, first modified binary code corresponding to the first modified IR, and first verification binary code corresponding to a first verification IR for verifying validity of the first modified IR, executing the first original partial binary code and the first modified binary code, and verifying a validity of the first modified IR by comparing a first original execution result of the first original partial binary code and a first modified execution result of the first modified binary code based on the first verification binary code.
|