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

2022

ESEC/FSE

Committee Member in Program Committee within the New Faculty Symposium-track

2021

ECOOP/ISSTA

PLDI

Committee Member in Program Committee within the PLDI-track

2020

ESEC/FSE

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

Committee Member in Program Committee within the Research Papers-track

ISSTA

Committee Member in Program Committee within the Technical Papers-track

ICSE

2019

JPF

Committee Member in Program Committee within the JPF 2019-track

ICSE

PC Member in Program Committee within the New Ideas and Emerging Results-track

2018

ESEC/FSE

Session Chair of Concurrency and Races (part of Research Papers)

JPF

Committee Member in Program Committee within the JPF-track

ISSTA

ICSE

Committee Member in Program board within the Technical Papers -track

2017

CHESE

Committee Member in Program Committee within the CHESE 2017-track

ISSTA

Author of JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder within the Demonstrations-track

SPIN

2012

SPLASH

Committee Member in External Reviewers within the OOPSLA Research Papers-track