Kevin Bierhoff -

Not registered as user

Name:Kevin Bierhoff

Personal website: http://www.cs.cmu.edu/~kbierhof/

Contributions

2011

SPLASH

Author of Automated Program Verification Made SYMPLAR: symbolic permissions for lightweight automated reasoning within the Onward! -track