Program Committee / Competition Jury
"The competition jury consists of the chair and one member of each participating team; the team-representing members circulate every year after the candidate-submission deadline. This committee reviews the competition contribution papers and helps the organizer with resolving any disputes that might occur." [Competition Report for SV-COMP 2013]
In more detail, the tasks of the jury comprises the following:
- Each jury member who participates in the competition is assigned a number of (3 or 4) submissions (papers and systems) to review.
- Participating systems are reviewed to determine whether they fulfill the requirements for verifier archives, based on the archives submitted to the repository.
- Teams and paper submissions are reviewed to verify the requirements for qualification, based on the submission data and paper in EasyChair and the results of the qualification runs.
- Some qualified competition candidates are selected to publish (in the LNCS proceedings of TACAS) a contribution paper that gives an overview of the participating system.
- Help the organizer with discussing and resolving any disputes that might occur.
- Adhere to the deadlines with all the duties.
Jury from October 12, 2024
Announced on/after October 12 (sorted by verifier name)
Jury from November 1, 2023
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Viktor Malík (representing 2LS), Brno University of Technology, Czechia
- Zhenbang Chen (representing aise), National University of Defense Technology, China
- Lei Bu (representing BRICK), Nanjing University, China
- Marek Chalupa (representing Bubaak-SpLit), ISTA, Austria
- Marek Chalupa (representing Bubaak), ISTA, Austria
- Levente Bajczi (representing ConcurrentWitness2Test), Budapest University of Technology and Economics, Hungary
- Daniel Baier (representing CPAchecker), LMU Munich, Germany
- Thomas Lemberger (representing CPA-witness2test), LMU Munich, Germany
- Po-Chun Chien (representing CPV), LMU Munich, Germany
- Hernán Ponce de León (representing Dartagnan), Huawei Dresden Research Center, Germany
- Fei He (representing Deagle), Tsinghua University, China
- Fatimah Aljaafari (representing EBF), University of Manchester, UK
- Levente Bajczi (representing EmergenTheta), Budapest University of Technology and Economics, Hungary
- Franz Brauße (representing ESBMC-kind), University of Manchester, UK
- Martin Spiessl (representing Frama-C-SV), LMU Munich, Germany
- Falk Howar (representing GDart), TU Dortmund, Germany
- Simmo Saan (representing Goblint), University of Tartu, Estonia
- Falk Howar (representing The GWIT Tool), TU Dortmund, Germany
- Hassan Mousavi (representing JayHorn), University of Tehran, Tehran Institute for Advanced Studies, Iran
- Peter Schrammel (representing JBMC), University of Sussex and Diffblue, UK
- Zaiyu Cheng (representing JCWIT), University of Manchester, UK
- Gidon Ernst (representing Korn), LMU Munich, Germany
- Martin Spiessl (representing LIV), LMU Munich, Germany
- Martin Spiessl (representing MetaVal), LMU Munich, Germany
- Lei Bu (representing MLB), Nanjing University, China
- Raphaël Monat (representing Mopsa), Inria and University of Lille, France
- Jana (Philipp) Berger (representing NITWIT), RWTH Aachen, Germany
- Veronika Šoková (representing PredatorHP), Brno University of Technology, Czechia
- Ravindra Metta (representing PROTON), TCS, India
- Vesal Vojdani (representing RELAY-SV), University of Tartu, Estonia
- Simmo Saan (representing sv-sanitizers), University of Tartu, Estonia
- Nils Loose (representing SWAT), University of Luebeck, Germany
- Paulína Ayaziová (representing Symbiotic-Witch), Masaryk University, Brno, Czechia
- Martin Jonáš (representing Symbiotic), Masaryk University, Brno, Czechia
- Levente Bajczi (representing Theta), Budapest University of Technology and Economics, Hungary
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Dominik Klumpp (representing UGemCutter), University of Freiburg, Germany
- Frank Schüssele (representing UKojak), University of Freiburg, Germany
- Daniel Dietsch (representing UTaipan), University of Freiburg, Germany
- Priyanka Darke (representing VeriAbsL), Tata Consultancy Services, India
- Priyanka Darke (representing VeriAbs), Tata Consultancy Services, India
- Paulína Ayaziová (representing Witch), Masaryk University, Brno, Czechia
- Marian Lingsch-Rosenfeld (representing WitnessLint), LMU Munich, Germany