Po-Chun Chien
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper). | Aron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan, Clark W. Barrett |
| 2026 | TACAS | A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module. | Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger |
| 2025 | AAAI | Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract). | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh |
| 2025 | CAV | Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking. | Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh |
| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler |
| 2024 | TACAS | Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. | Zsfia dm, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg |
| 2024 | TACAS | CPAchecker 2.3 with Strategy Selection - (Competition Contribution). | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler |
| 2024 | TACAS | CPV: A Circuit-Based Program Verifier. | Po-Chun Chien, Nian-Ze Lee |
| 2023 | TACAS | Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. | Dirk Beyer, Po-Chun Chien, Nian-Ze Lee |
| 2021 | DATE | Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. | Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jnata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar, Wei Zeng, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang, Hanyu Wang, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee |
| 2021 | ICCAD | Compatible Equivalence Checking of X-Valued Circuits. | Yu-Neng Wang, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, Chung-Yang Ric Huang |
| 2020 | DAC | Time Multiplexing via Circuit Folding. | Po-Chun Chien, Jie-Hong R. Jiang |
| 2019 | ICCAD | Time-Frame Folding: Back to the Sequentiality. | Po-Chun Chien, Jie-Hong R. Jiang |