Kong Woei Susanto

According to our database, Kong Woei Susanto authored at least 7 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Automating formal verification of customized soft-processors.

Kong Woei Susanto, Wayne Luk

Proceedings of the 2011 International Conference on Field-Programmable Technology, 2011

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

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

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, W. S. Wong

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

2007

Source-Level Proof Reconstruction for Interactive Theorem Proving.

Lawrence C. Paulson, Kong Woei Susanto

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

2003

An AMBA-ARM7 Formal Verification Platform.

Kong Woei Susanto, Thomas F. Melham

Proceedings of the Formal Methods and Software Engineering, 2003

2001

Formally Analyzed Dynamic Synthesis of Hardware.

Kong Woei Susanto, Thomas F. Melham

J. Supercomput., 2001

1998

Dynamic Specialization of XC6200 FPGAs by Partial Evaluation.

Nicholas McKay, Thomas F. Melham, Kong Woei Susanto, Satnam Singh

Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998