Program Committee / Jury
Jury from October 20, 2019
(sorted by tester name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Marie-Christine Jakobs (representing CoVeriTest), TU Darmstadt, Germany
- Lucas Cordeiro (representing ESBMC), University of Manchester, UK
- Sebastian Ruland (representing HybridTiger), TU Darmstadt, Germany
- Martin Nowack (representing KLEE), Imperial College London, UK
- Gidon Ernst (representing Legion), LMU Munich, Germany
- Hoang M. Le (representing LibKluzzer), University of Bremen, Germany
- Thomas Lemberger (representing PRTest), LMU Munich, Germany
- Marek Chalupa (representing Symbiotic), Masaryk University, Germany
- Joxan Jaffar (representing Tracer-X), National University of Singapore, Singapore
- Raveendra Kumar Medicherla (representing VeriFuzz), Tata Consultancy Service, India
Jury from November 25, 2018
(sorted by tester name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Marie-Christine Jakobs (representing CoVeriTest), LMU Munich, Germany
- Sebastian Ruland (representing CPA/Tiger-MGP), TU Darmstadt, Germany
- Rafael Menezes (representing ESBMC-bkind 6.1), Federal University of Amazonas, Brazil
- Mikhail Gadelha (representing ESBMC-falsif 6.1), University of Southampton, UK
- Caroline Lemieux (representing FairFuzz), University of California at Berkeley, USA
- Cristian Cadar (representing KLEE), Imperial College London, UK
- Thomas Lemberger (representing PRTest), LMU Munich, Germany
- Martina Vitovská (representing Symbiotic), Masaryk University, Czechia
- Raveendra Kumar Medicherla (representing VeriFuzz), TCS, India