Willem Visser Computer Science Division
Stellenbosch University
Private Bag X1
7602 Matieland, South Africa

wvisser -at- cs.sun.ac.za
visserw -at- sun.ac.za
willem -at- gmail.com
+27 21 808 4235

Willem Visser is a professor in the Division of Computer Science at Stellenbosch University (from 2009 till 2013 he was the Head of the Division). His research is mostly focussed around finding bugs in software. More specifically he works on testing, program analysis, symbolic execution, probabilistic symbolic execution and model checking. He is probably most well known for his work on Java PathFinder (JPF) and Symbolic PathFinder (SPF). He previously worked at NASA Ames Research Center, and SEVEN Networks. [Full CV]


News...

ICSE 2016 Program Co-Chair
Co-chair of ICSE 2016 with Laurie Williams.

FSE paper accepted
Our research paper "Statistical Symbolic Execution with Informed Sampling" was accepted at FSE 2014. [Review Copy]

ASE paper accepted
Our research paper "Exact and Approximate Probabilistic Symbolic Execution for Nondeterministic Programs" was accepted at ASE 2014. [PrePrint]


Service

  • Member of the ACM SIGSOFT Executive Committee
  • ICSE Steering Committee
  • SPIN Steering Committee
  • Associate Editor for ACM TOSEM
  • NRF IT Ratings Panel (Member: 2011-2014 Convener: 2013-2014)
  • [Past] ASE Steering Committee: 2008 - 2014

Students