Travelled to:1 × United Kingdom
Collaborated with:G.Klein D.Greenaway J.Andronick S.Amani Alex Hixon Z.Chen C.Rizkallah P.Chubb L.O'Connor Joel Beeren Y.Nagashima T.Sewell Joseph Tuong G.Keller T.C.Murray G.Heiser
Talks about:implement (1) without (1) verifi (1) system (1) formal (1) verif (1) sweat (1) stuff (1) small (1) assur (1)
Person: Japheth Lim
DBLP: Lim:Japheth
Contributed to:
2014
2016Wrote 2 papers:
- PLDI-2014-GreenawayLAK #c #verification
- Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
- ASPLOS-2016-AmaniHCRCOBNLST #file system #implementation #named #verification
- CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.