Program Committee / Jury
Jury from October 20, 2019
(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
- Michael Tautschnig (representing CBMC), Amazon Web Services, UK
- Willem Visser (representing COASTAL), Stellenbosch University, South Africa
- Vadim Mutilin (representing CPA-BAM-BnB), ISP RAS, Russia
- Martin Spiessl (representing CPA-Seq), LMU Munich, Germany
- Pavel Andrianov (representing CPALockator), ISP RAS, Russia
- Hernán Ponce de León (representing Dartagnan), Bundeswehr University Munich, Germany
- Henrich Lauko (representing DIVINE), Masaryk University, Czechia
- Felipe R. Monteiro (representing ESBMC), Federal University of Amazonas, Brazil
- Benjamin Quiring (representing GACAL), Northeastern University, USA
- Vaibhav Sharma (representing Java-Ranger), University of Minnesota, USA
- Philipp Ruemmer (representing JayHorn), Uppsala University, Sweden
- Peter Schrammel (representing JBMC), University of Sussex, UK
- Falk Howar (representing JDart), TU Dortmund, Germany
- Omar Inverso (representing Lazy-CSeq), Gran Sasso Science Institute, Italy
- Herbert Rocha (representing Map2Check), Federal University of Roraima, Brazil
- Philipp Berger (representing NITWIT), RWTH Aachen, Germany
- Cedric Richter (representing PeSCo), Paderborn University, Germany
- Saurabh Joshi (representing Pinaka), IIT Hyderabad, India
- Veronika Šoková (representing PredatorHP), Brno University of Technology, Czechia
- Willem Visser (representing SPF), Amazon, USA
- Marek Chalupa (representing Symbiotic), Masaryk University, Czechia
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Alexander Nutz (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
- Liangze Yin (representing Yogar-CBMC), National University of Defense Technology, China
Jury until October 20, 2019
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Peter Schrammel (representing 2LS), University of Sussex, UK
- Jera Hensel (representing AProVE), RWTH Aachen, Germany
- Michael Tautschnig (representing CBMC), Amazon Web Services, UK
- Kareem Khazem (representing CBMC-Path), University College London, UK
- Vadim Mutilin (representing CPA-BAM-BnB), ISP RAS, Russia
- Pavel Andrianov (representing CPA-Lockator), ISP RAS, Russia
- Marie-Christine Jakobs (representing CPA-Seq), LMU Munich, Germany
- Omar Alhawi (representing DepthK), University of Manchester, UK
- Vladimír Štill (representing DIVINE-explicit), Masaryk University, Czechia
- Henrich Lauko (representing DIVINE-SMT), Masaryk University, Czechia
- Mikhail R. Gadelha (representing ESBMC-kind), University of Southampton, UK
- Philipp Ruemmer (representing JayHorn), Uppsala University, Sweden
- Lucas Cordeiro (representing JBMC), University of Manchester, UK
- Cyrille Artho (representing JPF), KTH, Sweden
- Omar Inverso (representing Lazy-CSeq), Gran Sasso Science Institute, Italy
- Herbert Rocha (representing Map2Check), Federal University of Roraima, Brazil
- Cedric Richter (representing PeSCo), University of Paderborn, Germany
- Eti Chaudhary (representing Pinaka), IIT Hyderabad, India
- Veronika Šoková (representing PredatorHP), BUT, Brno, Czechia
- Franck Cassez (representing Skink), Macquarie University, Australia
- Zvonimir Rakamaric (representing SMACK), University of Utah, USA
- Willem Visser (representing SPF), Stellenbosch University, South Africa
- Marek Chalupa (representing Symbiotic), Masaryk University, Czechia
- Matthias Heizmann (representing UAutomizer), University of Freiburg, Germany
- Alexander Nutz (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
- Pritom Rajkhowa (representing VIAP), Hong Kong University of Science and Technology, China
- Liangze Yin (representing Yogar-CBMC), National University of Defense Technology, China
- Haining Feng (representing Yogar-CBMC-Parallel), National University of Defense Technology, China