Japheth Lim

NICTA and UNSW, Sydney, Australia

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers9 papers

Sort

By YearBy Citation

A Framework for the Automatic Formal Verification of Refinement from Cogent to C

Christine Rizkallah,Japheth Lim, Yutaka Nagashima,Thomas Sewell, Zilin Chen, Liam O'Connor,Toby C. Murray,Gabriele Keller,Gerwin Klein

ITP, pp.323-340, (2016)

Cited by6EIBibtex

Refinement through restraint: bringing down the cost of verification

Liam O'Connor,Zilin Chen,Christine Rizkallah,Sidney Amani,Japheth Lim,Toby Murray, Yutaka Nagashima,Thomas Sewell,Gerwin Klein

Special Interest Group on Programming Languages, no. 9 (2016): 89-102

Cited by31EIBibtex

COGENT: Certified Compilation for a Functional Systems Language

Liam O'Connor,Christine Rizkallah,Zilin Chen,Sidney Amani,Japheth Lim, Yutaka Nagashima,Thomas Sewell, Alex Hixon,Gabriele Keller,Toby C. Murray,Gerwin Klein

arXiv: Programming Languages, (2016)

Cited by8EIBibtex

Cogent: verifying high-assurance file system implementations

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

Architectural Support for Programming Languages and Operating Systems, no. 2 (2016): 175-188

Cited by69EIBibtex

Finite Machine Word Library

Joel Beeren,Matthew Fernandez,Xin Gao,Gerwin Klein,Rafal Kolanski,Japheth Lim,Corey Lewis,Daniel Matichuk,Thomas Sewell

Archive of Formal Proofs, (2016)

EIBibtex

Refinement through restraint: bringing down the cost of verification

Liam O'Connor,Zilin Chen,Christine Rizkallah,Sidney Amani,Japheth Lim,Toby C. Murray, Yutaka Nagashima,Thomas Sewell,Gerwin Klein

ICFP, pp.89-102, (2016)

Cited by31EIBibtex

Cogent: Verifying High-Assurance File System Implementations

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

Special Interest Group on Programming Languages, no. 4 (2016): 175-188

Cited by69EIBibtex

Don't sweat the small stuff: formal verification of C code without the pain

David Greenaway,Japheth Lim,June Andronick,Gerwin Klein

PLDI, no. 6 (2014): 429-439

Cited by37EIBibtex

AutoCorres 1.0

David Greenaway,Japheth Lim

(2014)

Bibtex

View All

Base Info Papers Patents Projects

Japheth LimBinding

Papers9 papers

Japheth Lim