Not registered as user yet

Name: Alex Aiken

Affiliation: Stanford University

SPLASH 2015 Activities

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