| 2024 | ICCAD | 2024 ICCAD CAD Contest Problem A: Reinforcement Logic Optimization for a General Cost Function. | Chung-Han Chou, Chih-Jen Hsu, Chi-An Wu, Kuan-Hua Tu, Kwangsoo Han, Zhuo Li |
| 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 |
| 2017 | ICCAD | ICCAD-2017 CAD contest in resource-aware patch generation. | Ching-Yi Huang, Chih-Jen Hsu, Chi-An Wu, Kei-Yong Khoo |
| 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 |
| 2011 | ASPDAC | SoC HW/SW verification and validation. | Chung-Yang Huang, Yu-Fan Yin, Chih-Jen Hsu, Thomas B. Huang, Ting-Mao Chang |
| 2009 | ICCAD | Interpolant generation without constructing resolution graph. | Chih-Jen Hsu, Shao-Lun Huang, Chi-An Wu, Chung-Yang Huang |