We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
2 papers accepted at ASE 2024: BenchCloud and CoVeriTeam GUI

Talks of Po-Chun Chien

Conference and other Presentations
  1. Po-Chun Chien. BenchCloud: A Platform for Scalable Performance Benchmarking. Conference talk at ASE, 30. October 2024. Link to this entry Keyword(s): Benchmarking Presentation
    BibTeX Entry
    @conferencetalk{ASE24-BenchCloud, author = {Po-Chun Chien}, title = {BenchCloud: A Platform for Scalable Performance Benchmarking}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-10-30_ASE_BenchCloud_A_Platform_for_Scalable_Performance_Benchmarking_Po-Chun.pdf}, keyword = {Benchmarking}, day = {30}, field = {Computer Science}, month = {October}, venue = {ASE}, }
  2. Po-Chun Chien. Bridging Hardware and Software Formal Verification. Conference talk at FM Doctoral Symposium, 10. September 2024. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, Btor2, CPAchecker, Witness-Based Validation Presentation
    BibTeX Entry
    @conferencetalk{FM24-BridgingHwSw, author = {Po-Chun Chien}, title = {Bridging Hardware and Software Formal Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-10_FM24_Bridging_Hardware_and_Software_Formal_Verification_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2, CPAchecker, Witness-Based Validation}, day = {10}, field = {Computer Science}, month = {September}, venue = {FM Doctoral Symposium}, }
  3. Po-Chun Chien. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Conference talk at 9th International Workshop on CPAchecker (CPA 2024), 09. September 2024. Link to this entry Keyword(s): CPAchecker, Software Model Checking Presentation
    BibTeX Entry
    @conferencetalk{CPA24-Transferability, author = {Po-Chun Chien}, title = {A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA_A_Transferability_Study_of_Interpolation-Based_HWMC_for_SV_Po-Chun.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {09}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2024/">9th International Workshop on CPAchecker (CPA 2024)</a>}, }
  4. Po-Chun Chien. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Conference talk at AVM, 05. September 2024. Link to this entry Keyword(s): CPAchecker, Software Model Checking Presentation
    BibTeX Entry
    @conferencetalk{AVM24-Transferability, author = {Po-Chun Chien}, title = {A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-05_AVM_A_Transferability_Study_of_Interpolation-Based_HWMC_for_SV_Po-Chun.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {05}, field = {Computer Science}, month = {September}, venue = {AVM}, }
  5. Po-Chun Chien. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. Conference talk at SPIN, 10. April 2024. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{SPIN24-IMCDF, author = {Po-Chun Chien}, title = {Augmenting Interpolation-Based Model Checking with Auxiliary Invariants}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-10_SPIN_Augmenting_IMC_with_Auxiliary_Invariants_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {10}, field = {Computer Science}, month = {April}, venue = {SPIN}, }
  6. Po-Chun Chien. CPV: A Circuit-Based Program Verifier (Competition Contribution). Conference talk at TACAS, 08. April 2024. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, Btor2 Presentation
    BibTeX Entry
    @conferencetalk{SVCOMP24-CPV, author = {Po-Chun Chien}, title = {{CPV}: {A} Circuit-Based Program Verifier (Competition Contribution)}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-08_SVCOMP_CPV_A_Circuit-Based_Program_Verifier_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {08}, field = {Computer Science}, month = {April}, venue = {TACAS}, }
  7. Po-Chun Chien. Cross-Application of Hardware and Software Verification. Conference talk at ConVeY Workhop 2024 (co-located with ETAPS), 06. April 2024. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, Verification Witnesses, Btor2 Presentation
    BibTeX Entry
    @conferencetalk{ConVeY24-CrossApplyHwSwVerification, author = {Po-Chun Chien}, title = {Cross-Application of Hardware and Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-06_ConVeY_Cross-Application_of_HW_SW_Verification_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Verification Witnesses, Btor2}, day = {06}, field = {Computer Science}, month = {April}, venue = {<a href="https://convey.ifi.lmu.de/workshops/2024/spring/program.html">ConVeY Workhop 2024</a> (co-located with ETAPS)}, }
  8. Po-Chun Chien. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Conference talk at ASE, 13. September 2023. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{ASE23-CPADF, author = {Po-Chun Chien}, title = {{CPA-DF}: {A} Tool for Configurable Interval Analysis to Boost Program Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-13_ASE_CPA-DF_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {13}, field = {Computer Science}, month = {September}, venue = {ASE}, }
  9. Po-Chun Chien. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA23-CPADF, author = {Po-Chun Chien}, title = {{CPA-DF}: {A} Tool for Configurable Interval Analysis to Boost Program Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA_CPA-DF_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2023/">8th International Workshop on CPAchecker (CPA 2023)</a>}, }
  10. Po-Chun Chien. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. Conference talk at TACAS, 26. April 2023. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, Btor2 Presentation
    BibTeX Entry
    @conferencetalk{TACAS23-Btor2C, author = {Po-Chun Chien}, title = {Bridging Hardware and Software Analysis with {Btor2C}: {A} Word-Level-Circuit-to-{C} Translator}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-26_TACAS23_Bridging_Hardware_and_Software_Analysis_with_Btor2C_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {26}, field = {Computer Science}, month = {April}, venue = {TACAS}, }
  11. Daniel Baier, Dirk Beyer, Thomas Bunk, Po-Chun Chien, Matthias Kettl, Nian-Ze Lee, Martin Spiessl, Henrik Wachowitz, and Philipp Wendler. CPAchecker (Competition Contribution for SV-COMP ’23). Conference talk at TACAS 2023, 24. April 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{TACAS23-CPAchecker-Poster, author = {Daniel Baier and Dirk Beyer and Thomas Bunk and Po-Chun Chien and Matthias Kettl and Nian-Ze Lee and Martin Spiessl and Henrik Wachowitz and Philipp Wendler}, title = {CPAchecker (Competition Contribution for SV-COMP ’23)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/pst/2023-04-24_TACAS23_CPAchecker_Poster.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, }
  12. Po-Chun Chien. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. Conference talk at 4th Workshop on Cooperative Software Verification (COOP 2023), 23. April 2023. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{COOP23-IMCDF, author = {Po-Chun Chien}, title = {Augmenting Interpolation-Based Model Checking with Auxiliary Invariants}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-23_COOP23_Augmenting_Interpolation-Based_Model_Checking_with_Auxiliary_Invariants_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {23}, field = {Computer Science}, month = {April}, venue = {<a href="https://coop.sosy-lab.org/2023/">4th Workshop on Cooperative Software Verification (COOP 2023)</a>}, }

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Last modified: Tue Dec 17 10:40:26 2024 UTC