Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gernot Heiser
conf.researchr.org general profile
ICFP 2016 profile
SPLASH 2013 profile
VEE 2016 profile
VEE 2018 profile
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
Share
x
Fri 4 Oct 22:22