SPLASH 2015 (series) / Sam Blackshear
Registered user since Wed 19 Aug 2015
Name:Sam Blackshear
Country:United States
Affiliation:University of Colorado at Boulder, USA
Personal website:https://www.cs.colorado.edu/~sabl4745/
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
View general profile