IMRC in KIST Jin-Gu Kang Contents Motivation Target Dependent Properties New Compilation Strategy More Target Independent Bitcode Application Motivation…