• Sign in
  • Sign up
conf.researchr.org / Gernot Heiser
  • ICFP 2016 profile
  • SPLASH 2013 profile
  • VEE 2016 profile
  • VEE 2018 profile
No Photo

Not registered as user

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
xThu 22 May 16:42
using conf.researchr.org (v1.69.0)
Support page
Sign Up