Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andrew Ruef
conf.researchr.org general profile
ETAPS 2019 profile
SPLASH 2014 profile
Registered user since Thu 15 May 2014
Name:
Andrew Ruef
Contributions
2019
POST
Author of Achieving Safety Incrementally with Checked C within the POST 2019-track
2014
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Share
x
Thu 21 Nov 13:01