Program Committee / 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 21, 2022
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Viktor Malík (representing 2LS), Brno University of Technology, Czechia
- Lei Bu (representing BRICK), Nanjing University, China
- Marek Chalupa (representing Bubaak), ISTA, Austria
- Michael Tautschnig (representing CBMC), Queen Mary University of London, UK
- Henrik Wachowitz (representing CPAchecker), 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
- Rafael Sá Menezes (representing ESBMC-kind), University of Manchester, UK
- Martin Spiessl (representing Frama-C-SV), LMU Munich, Germany
- Falk Howar (representing GDart), TU Dortmund, Germany
- Falk Howar (representing GDart-LLVM), TU Dortmund, Germany
- Simmo Saan (representing Goblint), University of Tartu, Estonia
- Will Leeson (representing Graves-CPA), University of Virginia, USA
- Hors Concurs (representing Graves-Par), University of Virginia, USA
- Soha Hussein (representing Java-Ranger), University of Minnesota, USA
- Peter Schrammel (representing JBMC), University of Sussex and Diffblue, UK
- Gidon Ernst (representing Korn), LMU Munich, Germany
- Tong Wu (representing LF-checker), University of Manchester, UK
- Vesal Vojdani (representing Locksmith), University of Tartu, Estonia
- Lei Bu (representing MLB), Nanjing University, China
- Raphaël Monat (representing Mopsa), Inria and University of Lille, France
- Cedric Richter (representing PeSCo-CPA), University of Oldenburg, Germany
- Jie Su (representing PIChecker), Xidian University, China
- Marek Trtik (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
- Raveendra Kumar Medicherla (representing VeriFuzz), Tata Consultancy Services, India
- HaiPeng Qu (representing VeriOover), Ocean University of China, China
Jury from October 15, 2021
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Viktor Malík (representing 2LS), Brno University of Technology, Czechia
- Jera Hensel (representing AProVE), RWTH Aachen, Germany
- Lei Bu (representing BRICK), Nanjing University, China
- Michael Tautschnig (representing CBMC), Queen Mary University of London, UK
- Anton Vasilyev (representing CPA-BAM-SMG), ISP RAS, Russia
- Thomas Bunk (representing CPAchecker 2.1), LMU Munich, Germany
- Ryan Scott (representing Crux), Galois, USA
- Emerson Sales (representing CSeq), Gran Sasso Science Institute, Italy
- Hernán Ponce de León (representing Dartagnan), Bundeswehr University Munich, Germany
- Fei He (representing Deagle), Tsinghua University, China
- Fatimah Aljaafari (representing EBF), Univeristy of Manchester, UK
- Rafael Sá Menezes (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
- Will Leeson (representing Graves-CPA), University of Virginia, United States of America
- Soha Hussein (representing Java-Ranger), University of Minnesota, USA
- Ali Shamakhi (representing JayHorn), Tehran Institute for Advanced Studies, Iran
- Peter Schrammel (representing JBMC), University of Sussex and Diffblue, UK
- Falk Howar (representing JDart), TU Dortmund, Germany
- Gidon Ernst (representing Korn), LMU Munich, Germany
- Henrich Lauko (representing LART), Masaryk University, Brno, Czechia
- Vesal Vojdani (representing Locksmith), University of Tartu, Estonia
- Cedric Richter (representing PeSCo), University of Oldenburg, Germany, Germany
- Xie Li (representing SESL), Academy of Sciences, China
- Marek Chalupa (representing Symbiotic), Masaryk University, Brno, Czechia
- Vince Molnár (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 VeriAbs), Tata Consultancy Services, India
- Raveendra Kumar Medicherla (representing VeriFuzz), Tata Consultancy Services, India