conf.researchr.org / Gernot Heiser
Not registered as user yet
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 |