COMPBENCH — PROGRAM
Days: Saturday, 25 July 2026
Saturday, 25 July 2026
09:00-10:15
Invited Talk
CompBench
Session Chair:
Location:
C1.01
| 09:00-09:45 |
Benchmarking for and with Language Models (abstract) 45 min
1 TU Vienna
|
| 09:45-10:15 |
Coloring Queens with Thousands of Encodings (abstract) 30 min
1 Carnegie Mellon University
|
10:00-11:00
Coffee Break
CompBench
Location:
C1.01
11:00-12:30
Infrastructure
CompBench
Session Chair:
Location:
C1.01
| 11:00-11:30 |
Global Benchmark Database (abstract) 30 min
1 Karlsruhe Institute of Technology
|
| 11:30-12:00 |
Sustainable Benchmarking Tool (abstract) 30 min
1 Karlsruhe Institute of Technology
2 RWTH Aachen University, Leiden University
3 Univ. Rennes, Inria, CNRS, IRISA
4 Univ. Bordeaux, CNRS, Bordeaux INP
|
| 12:00-12:30 |
Reliable Benchmarking: Requirements and Solutions (abstract) 30 min
1 LMU Munich
|
12:00-14:00
Lunch
CompBench
Location:
C1.01
14:00-15:30
Evaluation and Formats
CompBench
Session Chair:
Location:
C1.01
| 14:00-14:30 |
Unsung Heroes -- Assessing Shapley Values of Submissions to FLoC Competitions (abstract) 30 min
1 University of St Andrews
|
| 14:30-15:00 |
Benchmarking behavioural equivalence between Harmony Search and basic Evolution Strategies (abstract) 30 min
1 LIACS, Leiden University
|
| 15:00-15:30 |
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks (abstract) 30 min
1 LMU Munich
|
15:30-16:30
Coffee Break
CompBench
Location:
C1.01
16:00-18:00
Analyzing Benchmarks, Solvers and Performance Drivers
CompBench
Session Chair:
Location:
C1.01
| 16:00-16:30 |
Benchmarking Crimes I've Witnessed While Writing Subgraph-Finding Algorithms (abstract) 30 min
1 University of Glasgow
|
| 16:30-17:00 |
Leveraging Anytime Analysis for Better MaxSAT Solvers and Beyond (abstract) 30 min
1 LIACS, Leiden University
|
| 17:00-17:30 |
ArchSAT: Enabling SAT Solver Performance Improvement Through Hardware Metric Analysis (abstract) 30 min
1 University of Michigan
2 Ambarella Inc.
|
| 17:30-18:00 |
Analyzing Benchmark Selection Methods (abstract) 30 min
1 Lund University and University of Copenhagen
|