Talks about Benchmarking
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}, } -
Developing a Verifier Based on Parallel Portfolio with CoVeriTeam.
16.
March
2022.
Keyword(s):
Benchmarking
Presentation
BibTeX Entry
@misc{KleinertParPortfolioCoVeriTeam, author = {Tobias Kleinert}, title = {Developing a Verifier Based on Parallel Portfolio with CoVeriTeam}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-16_BA_Parallel_Portfolio_CoVeriTeam.pdf}, keyword = {Benchmarking}, day = {16}, field = {Computer Science}, month = {March}, } -
Cgroups v2 Support for BenchExec.
9.
March
2022.
Keyword(s):
Benchmarking
Presentation
BibTeX Entry
@misc{GlosterCgroupsV2, author = {Robin Gloster}, title = {Cgroups v2 Support for BenchExec}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-09_BA_Cgroups_v2_Support_for_BenchExec_Gloster.pdf}, keyword = {Benchmarking}, day = {9}, field = {Computer Science}, month = {March}, }
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}, } -
Reliable Benchmarking: Requirements and Solutions.
Conference talk
at RRRR 2023 – 2nd Workshop on Reproducibility and Replication of Research Results,
22.
April
2023.
Keyword(s):
Benchmarking
Presentation
BibTeX Entry
@conferencetalk{RRRR23Benchmarking, author = {Philipp Wendler}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-22_RRRR23_Benchmarking_Philipp.pdf}, keyword = {Benchmarking}, day = {22}, field = {Computer Science}, month = {April}, venue = {<a href="https://qcomp.org/rrrr/2023/">RRRR 2023 – 2nd Workshop on Reproducibility and Replication of Research Results</a>}, } -
Benchmarking in Computer Science and Competition on Software Verification.
Conference talk
at Masaryk University, Brno,
21.
March
2023.
Keyword(s):
Benchmarking
Presentation
BibTeX Entry
@conferencetalk{Brno23Benchmarking, author = {Dirk Beyer}, title = {Benchmarking in Computer Science and Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-03-21_Brno23_Benchmarking_Dirk.pdf}, keyword = {Benchmarking}, day = {21}, field = {Computer Science}, month = {March}, venue = {Masaryk University, Brno}, } -
Reliable Benchmarking of Software Verification in the Cloud.
Conference talk
at HPI Potsdam Future SOC Lab Day (Spring 2015),
15.
April
2015.
Keyword(s):
Benchmarking,
Cloud-Based Software Verification
Presentation
BibTeX Entry
@conferencetalk{HPI15VerifierCloud, author = {Philipp Wendler}, title = {Reliable Benchmarking of Software Verification in the Cloud}, year = {2015}, presentation = {https://www.sosy-lab.org/research/prs/2015-04-15_HPI_Reliable_Benchmarking_of_Software_Verification_in_the_Cloud_Philipp.pdf}, keyword = {Benchmarking, Cloud-Based Software Verification}, day = {15}, field = {Computer Science}, month = {April}, venue = {<a href="https://hpi.de/forschung/future-soc-lab.html">HPI Potsdam Future SOC Lab</a> Day (Spring 2015)}, }
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.