Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alex Aiken
conf.researchr.org general profile
ACSOS 2022 profile
ECOOP 2019 profile
ETAPS 2019 profile
PLDI 2015 profile
PLDI 2016 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
POPL 2022 profile
PPoPP 2021 profile
PPoPP 2023 profile
SPLASH 2011 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
Registered user since Wed 16 Jun 2021
Name:
Alex Aiken
Country:
United States
Affiliation:
Stanford University
Contributions
PPoPP 2023
Author of Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence within the Main Conference-track
ACSOS 2022
Author of Performance Variability and Causality in Complex Systems within the Main Track-track
PLDI 2022
Author of Quartz: Superoptimization of Quantum Circuits within the PLDI-track
Author of (POPL 2022) Induction Duality: Primal-Dual Search for Invariants within the SIGPLAN Track-track
Author of DISTAL: The Distributed Tensor Algebra Compiler within the PLDI-track
POPL 2022
Author of Induction Duality: Primal-Dual Search for Invariants within the POPL-track
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
PLMW@PLDI 2021
Speaker of An Overview of the Stoke Project within the PLMW@PLDI 2021-track
PPoPP 2021
Author of Scaling Implicit Parallelism via Dynamic Control Replication within the Main Conference-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
MAPL 2020
Keynote Speaker of Program Optimization for Machine Learning within the MAPL-track
ECOOP 2019
Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track
PLDI 2019
Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track
ETAPS 2019
Author of Data Representation Synthesis: Past, Present and Future within the Mooly Fest-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
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
PEPM 2018
Invited Speaker of Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk) within the PEPM 2018-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
SPLASH 2016
Author of Dependent Partitioning within the OOPSLA-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
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
MobileDeLi 2015
Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-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
Share
x
Fri 9 Jun 06:19