Japheth Lim

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Formal Verification

Top Venues

Arch. Formal Proofs

Publications

Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
A Framework for the Automatic Formal Verification of Refinement from Cogent to C. ITP (2016)
Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
COGENT: Certified Compilation for a Functional Systems Language. CoRR (2016)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
Refinement through restraint: bringing down the cost of verification. ICFP (2016)
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell
Finite Machine Word Library. Arch. Formal Proofs 2016 (2016)
David Greenaway, Japheth Lim, June Andronick, Gerwin Klein
Don't sweat the small stuff: formal verification of C code without the pain. PLDI (2014)