PPaperPicks

Po-Chun Chien

6 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×2FSE ×2AAAI ×1ASE ×1

Frequent coauthors

Dirk Beyer
×4
Nian-Ze Lee
×4
Marek Jankola
×3
Thomas Lemberger
×2
Bo-Yuan Huang
×1
Aron Ricardo Perez-Lopez
×1
Florian Lonsing
×1
Samantha Archer
×1
Ahmed Irfan
×1
Clark W. Barrett
×1
Zhengyang Lu
×1
Vijay Ganesh
×1

Papers

  1. HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects
    FSE 2026 ·
    Dirk Beyer
    , Po-Chun Chien,
    Bo-Yuan Huang
    ,
    Nian-Ze Lee
    ,
    Thomas Lemberger
  2. Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper)
    FM 2026 ·
    Aron Ricardo Perez-Lopez
    , Po-Chun Chien,
    Florian Lonsing
    ,
    Samantha Archer
    ,
    Ahmed Irfan
    ,
    Clark W. Barrett
  3. Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)
    AAAI 2025 ·
    Zhengyang Lu
    , Po-Chun Chien,
    Nian-Ze Lee
    ,
    Vijay Ganesh
  4. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
    FSE 2024 ·
    Dirk Beyer
    , Po-Chun Chien,
    Marek Jankola
    ,
    Nian-Ze Lee
  5. BenchCloud: A Platform for Scalable Performance Benchmarking
    ASE 2024 ·
    Dirk Beyer
    , Po-Chun Chien,
    Marek Jankola
  6. Software Verification with CPAchecker 3.0: Tutorial and User Guide
    FM 2024 ·
    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