Po-Chun Chien

According to our database, Po-Chun Chien authored at least 41 papers between 2019 and 2025.

Collaborative distances:

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

2025

Btor2-Select: Machine Learning Based Algorithm Selection for Hardware Model Checking.

Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Arie Gurfinkel, Vijay Ganesh

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract).

Zhengyang Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

BenchCloud Release 1.3.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, December, 2024

BenchCloud Release 1.2.1.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, November, 2024

BenchCloud Release 1.2.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, November, 2024

MoXIchecker Release 0.2.

Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, October, 2024

Btor2-SelectMC (HWMCC 2024 Submission).

Zhengyang John Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

Dataset, September, 2024

Btor2-SelectMC (HWMCC 2024 Submission).

Zhengyang John Lu, Po-Chun Chien, Nian-Ze Lee, Vijay Ganesh

Dataset, September, 2024

BenchCloud Release 1.1.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, September, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Dataset, September, 2024

Btor2-Cert (HWMCC 2024 Submission).

Zsófia Ádám, Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, September, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Dataset, July, 2024

MoXIchecker Release 0.1.

Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, July, 2024

BenchCloud: A Platform for Scalable Performance Benchmarking.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Dataset, June, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'.

Daniel Beier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler

Dataset, June, 2024

Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'.

Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee

Dataset, May, 2024

Reproduction Package for TACAS 2024 Article 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'.

Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg

Dataset, April, 2024

Reproduction package for SPIN 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'.

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, January, 2024

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.

Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee

Proc. ACM Softw. Eng., 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).

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

CoRR, 2024

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version).

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

CoRR, 2024

MoXIchecker: An Extensible Model Checker for MoXI.

Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Proceedings of the Verified Software. Theories, Tools and Experiments, 2024

CPV: A Circuit-Based Program Verifier.

Po-Chun Chien, Nian-Ze Lee

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers.

Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Proceedings of the Model Checking Software - 30th International Symposium, 2024

BenchCloud: A Platform for Scalable Performance Benchmarking.

Dirk Beyer, Po-Chun Chien, Marek Jankola

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Reproduction Package for TACAS 2024 Submission 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'.

Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg

Dataset, October, 2023

Reproduction package for VMCAI 2024 submission 'Augmenting Interpolation-Based Model Checking with Auxiliary Invariants'.

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, September, 2023

SoSy-Lab Virtual Machine (Ubuntu 22.04 LTS).

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, August, 2023

Reproduction Package for ASE 2023 Article 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'.

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, August, 2023

Reproduction Package for ASE 2023 Tool-Demo Submission 'CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification'.

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, May, 2023

Reproduction Package for TACAS 2023 Article 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'.

Dirk Beyer, Nian-Ze Lee, Po-Chun Chien

Dataset, February, 2023

Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator.

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification.

Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Reproduction Package for TACAS 2023 Submission 'Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter'.

Dirk Beyer, Nian-Ze Lee, Po-Chun Chien

Dataset, November, 2022

2021

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

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

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, Jônata 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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Time Multiplexing via Circuit Folding.

Po-Chun Chien, Jie-Hong R. Jiang

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

Time-Frame Folding: Back to the Sequentiality.

Po-Chun Chien, Jie-Hong R. Jiang

Proceedings of the International Conference on Computer-Aided Design, 2019