Willem Visser

Registered user since Sun 30 Oct 2016

Name: Willem Visser

Country: South Africa

Affiliation: Stellenbosch University, South Africa

Personal website: http://www.cs.sun.ac.za/~wvisser

Contributions

PLDI 2021 Committee Member in Program Committee within the PLDI-track
ISSTA 2020 Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2020 Author of Impact paper: Model Checking Programs within the Plenary events-track
Author of Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java within the Research Papers-track
ICST 2020 Committee Member in Program Committee within the Research Papers-track
JPF 2019 Committee Member in Program Committee within the JPF 2019-track
JPF 2018 Committee Member in Program Committee within the JPF-track
ICSE 2020 Program Co-Chair in Program Committee within the New Ideas and Emerging Results-track
Committee Member in Program Committee within the Doctoral Symposium-track
NIER Co-Chair in Organizing Committee
ICSE 2019 PC Member in Program Committee within the New Ideas and Emerging Results-track
CHESE 2017 Committee Member in Program Committee within the CHESE 2017-track
ESEC/FSE 2018 Session Chair of Concurrency and Races (part of Research Papers)
ISSTA 2017 Author of JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder within the Demonstrations-track
SPIN 2017 Committee Member in Steering Committee
Committee Member in Program Committee
ISSTA 2018 Author of Test input generation with Java PathFinder: Then and Now within the ISSTA Keynotes-track
Committee Member in Program Committee within the ISSTA Technical Papers-track
* ICSE 2018 * Committee Member in Program board within the Technical Papers -track
SPLASH 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track