GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
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