Sam Blackshear

Registered user since Wed 19 Aug 2015

Name:Sam Blackshear
Country:United States
Affiliation:University of Colorado at Boulder, USA
Research interests:Static analysis, verification

Contributions

SPLASH 2015 Selective Control-Flow Abstraction via Jumping
Selective Control-Flow Abstraction via Jumping
Show activities from other conferences

SPLASH 2015-profile
View general profile