Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. - Nicholas McKay; Thomas F. Melham; Kong Woei Susanto; Satnam Singh (FCCM, 1998)

Formally Analyzed Dynamic Synthesis of Hardware. - Kong Woei Susanto; Thomas F. Melham (J. Supercomput., 2001)

An AMBA-ARM7 Formal Verification Platform. - Kong Woei Susanto; Thomas F. Melham (ICFEM, 2003)

Source-Level Proof Reconstruction for Interactive Theorem Proving. - Lawrence C. Paulson; Kong Woei Susanto (TPHOLs, 2007)

A high-level compilation toolchain for heterogeneous systems. - Wayne Luk; José Gabriel de Figueiredo Coutinho; Timothy John Todman; Yuet Ming Lam; William George Osborne; Kong Woei Susanto; Qiang Liu 011; W. S. Wong (SoCC, 2009)

Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. - Kong Woei Susanto; Tim Todman; José Gabriel F. Coutinho; Wayne Luk (SOFSEM, 2009)

Automating formal verification of customized soft-processors. - Kong Woei Susanto; Wayne Luk (FPT, 2011)