Registered user since Wed 16 Jun 2021

Name:Alex Aiken
Affiliation:Stanford University, USA

Contributions

PLMW@PLDI 2021 Speaker of An Overview of the Stoke Project within the PLMW@PLDI 2021-track
SPLASH 2010
PLDI 2021 Author of Adaptive Restarts for Stochastic Synthesis within the PLDI-track
Author of Programming Language Research Challenges for Tomorrow's Machines within the Invited Talks-track
PPoPP 2021 Author of Scaling Implicit Parallelism via Dynamic Control Replication within the Main Conference-track
MAPL 2020 Keynote Speaker of Program Optimization for Machine Learning within the MAPL-track
PLDI 2020 Author of First-Order Quantified Separators within the PLDI Research Papers-track
Author of "Ask Me Anything" with Alex Aiken within the Ask Me Anything-track
ECOOP 2019 Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track
ETAPS 2019 Author of Data Representation Synthesis: Past, Present and Future within the Mooly Fest-track
PLDI 2019 Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track
PLMW @ PLDI 2018 Speaker 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 2018 Invited Speaker of Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk) within the PEPM 2018-track
PLDI 2018 Author of Active Learning of Points-To Specifications within the PLDI Research Papers-track
POPL 2018 Author of On Automatically Proving the Correctness of math.h Implementations within the Research Papers-track
SPLASH 2017 Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track
PLDI 2017 Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track
PLDI 2016 Author 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 2015 Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-track
SPLASH 2016 Author of Dependent Partitioning within the OOPSLA-track
SPLASH 2015 Author 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 2015 Author 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 2013 Author of Data-Driven Equivalence Checking within the OOPSLA-track
Author of Language Support for Dynamic, Hierarchical Data Partitioning within the OOPSLA-track
SPLASH 2012 Author of Understanding the behavior of database operations under program control within the OOPSLA Research Papers-track
SPLASH 2011 Author of Testing Atomicity of Composed Concurrent Operations within the OOPSLA-track
Author of Automatic Fine-Grain Locking using Shape Properties within the OOPSLA-track