Skip to main content

2 Result(s)

within Chapter Remove this filter Chung-Kil Hur Remove this filter Computer Science Remove this filter Logics and Meanings of Programs Remove this filter Software Engineering/Programming and Operating Systems Remove this filter

and

  1. Chapter and Conference Paper

    An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation

    Several automatic verification tools have been recently developed to verify subsets of LLVM’s optimizations. However, none of these tools has robust support to verify memory optimizations.

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

    Download PDF (918 KB) View Chapter

  2. No Access

    Chapter and Conference Paper

    Second-Order Equational Logic (Extended Abstract)

    We extend universal algebra and its equational logic from first to second order as follows.

    Marcelo Fiore, Chung-Kil Hur in Computer Science Logic (2010)