• Sign in
  • Sign up
conf.researchr.org / Gernot Heiser
  • 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

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

Share
xTue 30 May 05:44
using conf.researchr.org (v1.60.0)
Support page
Sign Up