Kong Woei Susanto

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

Publications

Kong Woei Susanto, Wayne Luk
Automating formal verification of customized soft-processors. FPT (2011)
Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk
Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. SOFSEM (2009)
Wayne Luk, José Gabriel de Figueiredo Coutinho, Timothy John Todman, Yuet Ming Lam, William George Osborne, Kong Woei Susanto, Qiang Liu, W. S. Wong
A high-level compilation toolchain for heterogeneous systems. SoCC (2009)
Lawrence C. Paulson, Kong Woei Susanto
Source-Level Proof Reconstruction for Interactive Theorem Proving. TPHOLs (2007)
Kong Woei Susanto, Thomas F. Melham
An AMBA-ARM7 Formal Verification Platform. ICFEM (2003)
Kong Woei Susanto, Thomas F. Melham
Formally Analyzed Dynamic Synthesis of Hardware. J. Supercomput. 19 (1) (2001)
Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh
Dynamic Specialization of XC6200 FPGAs by Partial Evaluation. FCCM (1998)