Talks of year 2024
Theses and projects (PhD, MSc, BSc, Project)
-
Evaluation of JVM Garbage Collectors for CPAchecker.
23.
October
2024.
Keyword(s):
CPAchecker,
Benchmarking
Presentation
BibTeX Entry
@misc{MagetEvaluationGCforCPAchecker, author = {Tobias Maget}, title = {Evaluation of JVM Garbage Collectors for CPAchecker}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-10-23-BA_Evaluation_of_JVM_Garbage_Collectors_for_CPAchecker_Maget.pdf}, keyword = {CPAchecker, Benchmarking}, day = {23}, field = {Computer Science}, month = {October}, }
Conference and other Presentations
-
BenchCloud: A Platform for Scalable Performance Benchmarking.
Conference talk
at ASE,
30.
October
2024.
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}, } -
Bridging Hardware and Software Formal Verification.
Conference talk
at FM Doctoral Symposium,
10.
September
2024.
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}, } -
Software Verification with CPAchecker 3.0: Tutorial and User Guide.
Conference talk
at FM 2024,
10.
September
2024.
Keyword(s):
CPAchecker,
Software Model Checking
Presentation
BibTeX Entry
@conferencetalk{FM24-CPAcheckerTutorial, author = {Dirk Beyer and Thomas Lemberger and Philipp Wendler}, title = {Software Verification with CPAchecker 3.0: Tutorial and User Guide}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-10_FM24_CPAchecker_Tutorial.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {10}, field = {Computer Science}, month = {September}, venue = {FM 2024}, } -
The Next Decade of the CPAchecker Development Process.
Conference talk
at 9th International Workshop on CPAchecker (CPA 2024),
09.
September
2024.
Keyword(s):
CPAchecker,
Software Model Checking
Presentation
BibTeX Entry
@conferencetalk{CPA24-CPAcheckerDevelopment, author = {Dirk Beyer and Philipp Wendler}, title = {The Next Decade of the CPAchecker Development Process}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA24_The_Next_Decade_of_the_CPAchecker_Development_Process_Philipp.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>}, } -
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.
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>}, } -
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Conference talk
at AVM,
05.
September
2024.
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}, } -
Extending the MoXI Eco System.
Conference talk
at OSSyM,
21.
July
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
MoXIchecker
Presentation
BibTeX Entry
@conferencetalk{OSSyM24-MoXIchecker, author = {Dirk Beyer}, title = {Extending the MoXI Eco System}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-07-23_OSSyM24_Extending_the_MoXI_Eco_System_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification, MoXIchecker}, day = {21}, field = {Computer Science}, month = {July}, venue = {OSSyM}, } -
Find, Use, and Conserve Tools for Formal Methods.
Conference talk
at Podeski65,
25.
June
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification
Presentation
BibTeX Entry
@conferencetalk{Podelski65-FM-Tools, author = {Dirk Beyer}, title = {Find, Use, and Conserve Tools for Formal Methods}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-06-25_Podelski65_Find_Use_and_Conserve_Tools_for_Formal_Methods_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification}, day = {25}, field = {Computer Science}, month = {June}, venue = {Podeski65}, } -
Multi-Processing for Distributed Summary Synthesis.
Conference talk
at CPA,
9.
September
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{CPA24-MultiDSS, author = {Thomas Lemberger}, title = {Multi-Processing for Distributed Summary Synthesis}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA24_Multi-Processing_for_Distributed_Summary_Synthesis_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {9}, field = {Computer Science}, month = {September}, venue = {CPA}, } -
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants.
Conference talk
at SPIN,
10.
April
2024.
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}, } -
CPV: A Circuit-Based Program Verifier (Competition Contribution).
Conference talk
at TACAS,
08.
April
2024.
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}, } -
Cross-Application of Hardware and Software Verification.
Conference talk
at ConVeY Workhop 2024 (co-located with ETAPS),
06.
April
2024.
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)}, } -
Regression-Test History Data for Flaky-Test Research.
Conference talk
at FTW 2024,
14.
April
2024.
Keyword(s):
Software Testing,
Dataset
Presentation
BibTeX Entry
@conferencetalk{FTW24-CPAchecker-Regression-Test-History-FTW24, author = {Stefan Winter}, title = {Regression-Test History Data for Flaky-Test Research}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-14_FTW24_Regression-Test_History_Data_for_Flaky_Test_Research_Stefan.html}, keyword = {Software Testing, Dataset}, day = {14}, field = {Computer Science}, month = {April}, venue = {FTW 2024}, } -
Fault Localization on Verification Witnesses (Poster Paper).
Conference talk
at ICSE 2024,
14.
April
2024.
Keyword(s):
Software Model Checking,
Verification Witnesses,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{ICSE24-FaultLocalizationOnWitnesses-Poster, author = {Dirk Beyer and Matthias Kettl and Thomas Lemberger}, title = {Fault Localization on Verification Witnesses (Poster Paper)}, year = {2024}, presentation = {https://www.sosy-lab.org/research/pst/2024-03-05_ICSE24_Fault_Localization_on_Verification_Witnesses_Poster.pdf}, keyword = {Software Model Checking, Verification Witnesses, CPAchecker}, day = {14}, field = {Computer Science}, month = {April}, venue = {ICSE 2024}, } -
Towards Cooperative Software Verification with Test Generation and Formal Verification.
Conference talk
at SE,
28.
February
2024.
Keyword(s):
Software Model Checking,
Cooperative Verification,
CPAchecker
Presentation
BibTeX Entry
@conferencetalk{SE24-Coop, author = {Thomas Lemberger}, title = {Towards Cooperative Software Verification with Test Generation and Formal Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-02-28_SE24-Ernst-Denert-Preis_Towards_Cooperative_Software_Verification_with_Test_Generation_and_Formal_Verification_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {28}, field = {Computer Science}, month = {February}, venue = {SE}, }
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.