| 2023 | ICCAD | Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching. | Chung-Han Chou, Chih-Jen (Jacky) Hsu, Chi-An (Rocky) Wu, Kuan-Hua Tu, Kei-Yong Khoo |
| 2021 | ICCAD | 2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper. | Yen-Chun Fang, Shao-Lun Huang, Chi-An Wu, Chung-Han Chou, Chih-Jen Hsu, WoeiTzy Jong, Kei-Yong Khoo |
| 2020 | ICCAD | ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk. | Chih-Jen Hsu, Chi-An Wu, Ching-Yi Huang, Kei-Yong Khoo |
| 2019 | ICCAD | 2019 CAD Contest: Logic Regression on High Dimensional Boolean Space. | Ching-Yi Huang, Chi-An (Rocky) Wu, Tung-Yuan Lee, Chih-Jen (Jacky) Hsu, Kei-Yong Khoo |
| 2017 | ICCAD | ICCAD-2017 CAD contest in resource-aware patch generation. | Ching-Yi Huang, Chih-Jen Hsu, Chi-An Wu, Kei-Yong Khoo |
| 2016 | ICCAD | ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite. | Chi-An (Rocky) Wu, Chih-Jen (Jacky) Hsu, Kei-Yong Khoo |
| 2015 | DAC | Sequential equivalence checking of clock-gated circuits. | Yu-Yun Dai, Kei-Yong Khoo, Robert K. Brayton |
| 2015 | ICCAD | ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite. | Chih-Jen Hsu, Chi-An Wu, Wei-Hsun Lin, Kei-Yong Khoo |
| 2014 | ICCAD | ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite. | Chih-Jen Hsu, Wei-Hsun Lin, Chi-An Wu, Kei-Yong Khoo |
| 2013 | ICCAD | ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite. | Chih-Jen Hsu, Wei-Hsun Lin, Hwei-Tseng Wang, Feng Lu, Kei-Yong Khoo |
| 2012 | ICCAD | ICCAD-2012 CAD contest in finding the minimal logic difference for functional ECO and benchmark suite: CAD contest. | WoeiTzy Jong, Hwei-Tseng Wang, Chengta Hsieh, Kei-Yong Khoo |
| 2008 | DATE | Improving Constant-Coefficient Multiplier Verification by Partial Product Identification. | Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo |
| 2005 | ISCAS | Efficient VLSI implementation of N/N integer division. | Kei-Yong Khoo, Alan N. Willson Jr. |
| 2001 | ISCAS | Design of optimal hybrid form FIR filter. | Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr. |
| 2000 | DAC | The use of carry-save representation in joint module selection and retiming. | Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr. |
| 1999 | ICCAD | An implicit connection graph maze routing algorithm for ECO routing. | Jason Cong, Jie Fang, Kei-Yong Khoo |
| 1999 | ICCAD | Bit-level arithmetic optimization for carry-save additions. | Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr. |
| 1999 | ISCAS | A CMOS pipelined carry-save array using true single-phase single-transistor-latch clocking. | Kei-Yong Khoo, Chao-Liang Chen, Alan N. Willson Jr. |
| 1999 | ISCAS | Improved-Booth encoding for low-power multipliers. | Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr. |
| 1997 | ICCAD | Interconnect design for deep submicron ICs. | Jason Cong, David Zhigang Pan, Lei He, Cheng-Kok Koh, Kei-Yong Khoo |
| 1996 | ICCD | Cycle-Based Timing Simulations Using Event-Stream. | Kei-Yong Khoo, Alan N. Willson Jr. |
| 1995 | ISCAS | An Improved Polynomial-Time Algorithm for Designing Digital Filters with Power-of-Two Coefficients. | Chao-Liang Chen, Kei-Yong Khoo, Alan N. Willson Jr. |
| 1995 | ISLPED | Charge recovery on a databus. | Kei-Yong Khoo, Alan N. Willson Jr. |
| 1994 | ISCAS | Low Power CMOS Clock Buffer. | Kei-Yong Khoo, Alan N. Willson Jr. |
| 1993 | DAC | An Efficient Multilayer MCM Router Based on Four-Via Routing. | Kei-Yong Khoo, Jason Cong |
| 1993 | ISCAS | An efficient 175 MHz programmable FIR digital filter. | Kei-Yong Khoo, Alan Y. Kwentus, Alan N. Willson Jr. |
| 1991 | ICCD | A Provable Near-Optimal Algorithm for the Channel Pin Assignment Problem. | Jason Cong, Kei-Yong Khoo |