SPLASH 2015
Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
SPLASH 2015 (series) / Alex Aiken

Not registered as user yet

Name: Alex Aiken

Affiliation: Stanford University

Contributions

MobileDeLi 2015Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-track
SPLASH 2015Author of Conditionally Correct Superoptimization within the OOPSLA-track
Author of Interactively Verifying Absence of Explicit Information Flows in Android Apps within the OOPSLA-track
Show activities from other conferences

SPLASH 2015-profile
View general profile