Gernot Heiser -

Not registered as user yet

Name:Gernot Heiser

Affiliation:NICTA and UNSW

Personal website: http://www.cse.unsw.edu.au/~gernot/

Contributions

2018

VEE

Committee Member in Steering Committee

2016

VEE

Committee Member in Steering Committee

2013

SPLASH

Author of Code Optimizations Using Formally Verified Properties within the OOPSLA-track