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

ESEC/FSE 2022	Committee Member in Program Committee within the New Faculty Symposium-track
ECOOP and ISSTA 2021	Session Chair of Symbolic Execution (part of Discussions with Experts) Author of Symbolic Execution within the Discussions with Experts-track
PLDI 2021	Committee Member in Program Committee within the PLDI-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
ISSTA 2020	Committee Member in Program Committee within the Technical Papers-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
JPF 2019	Committee Member in Program Committee within the JPF 2019-track
ICSE 2019	PC Member in Program Committee within the New Ideas and Emerging Results-track
ESEC/FSE 2018	Session Chair of Concurrency and Races (part of Research Papers)
JPF 2018	Committee Member in Program Committee within the JPF-track
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
CHESE 2017	Committee Member in Program Committee within the CHESE 2017-track
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
SPLASH 2012	Committee Member in External Reviewers within the OOPSLA Research Papers-track