Not registered as user yet

Name: Alex Aiken

Affiliation: Stanford University

Contributions

ECOOP 2019Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track
ETAPS 2019Author of Data Representation Synthesis: Past, Present and Future within the Mooly Fest-track
PLDI 2019Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track
PLMW @ PLDI 2018Speaker in Speakers within the PLMW @ PLDI 2018-track
Presenter of Crossing the Divide: Becoming a (Programming Languages) Researcher within the PLMW @ PLDI 2018-track
PEPM 2018Invited Speaker of Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk) within the PEPM 2018-track
PLDI 2018Author of Active Learning of Points-To Specifications within the PLDI Research Papers-track
POPL 2018Author of On Automatically Proving the Correctness of math.h Implementations within the Research Papers-track
SPLASH 2017Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track
PLDI 2017Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track
PLDI 2016Author of Verifying Bit Manipulations of Floating-Point within the Research Papers-track
Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track
MobileDeLi 2015Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-track
SPLASH 2016Author of Dependent Partitioning within the OOPSLA-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
PLDI 2015Author of Verification of Producer-Consumer Synchronization in GPU Programs within the Research Papers-track
Author of Composing Concurrency Control within the Research Papers-track
SPLASH 2013Author of Data-Driven Equivalence Checking within the OOPSLA-track
Author of Language Support for Dynamic, Hierarchical Data Partitioning within the OOPSLA-track
SPLASH 2012Author of Understanding the behavior of database operations under program control within the OOPSLA Research Papers-track