Program Committee / Jury
Jury from October 20, 2018
(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
Jury until October 20, 2018
(sorted by verifier name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Peter Schrammel (representing 2LS), University of Sussex
- Jera Hensel (representing AProVE), RWTH Aachen University
- Michael Tautschnig (representing CBMC), Queen Mary University of London
- Vadim Mutilin (representing CPA-BAM-BnB), ISP RAS
- Mikhail Mandrykin (representing CPA-BAM-Slicing), ISP RAS
- Thomas Lemberger (representing CPA-Seq), LMU Munich
- Hussama Ismail (representing DepthK), Federal University of Amazonas
- Felipe Monteiro (representing ESBMC-incr), Federal University of Amazonas
- Mikhail R. Gadelha (representing ESBMC-kind), University of Southampton
- Martin Hruska (representing Forester), Brno University of Technology
- Zhao Duan (representing InterpChecker), Xidian University
- Herbert Oliveira Rocha (representing Map2Check), Federal University of Roraima
- Veronika Šoková (representing PredatorHP), BUT, Brno, Czech Republic
- Franck Cassez (representing Skink), Macquarie University
- Marek Chalupa (representing Symbiotic), Faculty of Informatics of Masaryk University, Brno
- Matthias Heizmann (representing UAutomizer), University of Freiburg
- Alexander Nutz (representing UKojak), University of Freiburg
- Daniel Dietsch (representing UTaipan), University of Freiburg
- Priyanka Darke (representing VeriAbs), Tata Consultancy Services
- Pritom Rajkhowa (representing VIAP), The Hong Kong University of Science and Technology
- Liangze Yin (representing Yogar-CBMC), National University of Defense Technology