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 |