conf.researchr.org / Gernot Heiser

Not registered as user yet

Name:Gernot Heiser
Affiliation:NICTA and UNSW
Personal website:http://www.cse.unsw.edu.au/~gernot/

Contributions

VEE 2018 Committee Member in Steering Committee
VEE 2016 Committee Member in Steering Committee
SPLASH 2013 Author of Code Optimizations Using Formally Verified Properties within the OOPSLA-track