Skip to main content

1 Result(s)

within Chung-Kil Hur Remove this filter Computer Science Remove this filter Logic in AI Remove this filter Logics and Meanings of Programs Remove this filter Mathematical Logic and Formal Languages Remove this filter

and

  1. Chapter and Conference Paper

    AliveInLean: A Verified LLVM Peephole Optimization Verifier

    Ensuring that compiler optimizations are correct...

    Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes in Computer Aided Verification (2019)

    Download PDF (413 KB) View Chapter