Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alex Aiken
conf.researchr.org general profile
ACSOS 2022 profile
ACSOS 2023 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 2024 profile
PLDI 2025 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
2025
EGRAPHS
Author of Incremental Equality Saturation within the EGRAPHS 2025-track
PLDI
Author of Task-Based Tensor Computations on Modern GPUs within the PLDI Research Papers-track
2024
PLDI
Author of Recursive Program Synthesis using Paramorphisms within the PLDI Research Papers-track
2023
ACSOS
Author of Prolego: Time-Series Analysis for Predicting Failures in Complex Systems within the Main Track-track
Principles and Practice of Parallel Programming
Author of Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence within the Main Conference-track
2022
ACSOS
Author of Performance Variability and Causality in Complex Systems within the Main Track-track
PLDI
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
Author of Induction Duality: Primal-Dual Search for Invariants within the POPL-track
2021
PLDI
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
Speaker of An Overview of the Stoke Project within the PLMW@PLDI 2021-track
Principles and Practice of Parallel Programming
Author of Scaling Implicit Parallelism via Dynamic Control Replication within the Main Conference-track
2020
PLDI
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
MAPS
Keynote Speaker of Program Optimization for Machine Learning within the MAPL-track
2019
ECOOP
Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track
PLDI
Author of Semantic Program Alignment for Equivalence Checking within the PLDI Research Papers-track
ETAPS
Author of Data Representation Synthesis: Past, Present and Future within the Mooly Fest-track
2018
PLMW
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
Author of Active Learning of Points-To Specifications within the PLDI Research Papers-track
POPL
Author of On Automatically Proving the Correctness of math.h Implementations within the Research Papers-track
PEPM
Invited Speaker of Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk) within the PEPM 2018-track
2017
SPLASH
Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track
PLDI
Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track
2016
SPLASH
Author of Dependent Partitioning within the OOPSLA-track
PLDI
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
2015
SPLASH
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
Mobile!
Author of An Interactive Approach to Mobile App Verification within the MobileDeLi-track
PLDI
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
2013
SPLASH
Author of Data-Driven Equivalence Checking within the OOPSLA-track
Author of Language Support for Dynamic, Hierarchical Data Partitioning within the OOPSLA-track
2012
SPLASH
Author of Understanding the behavior of database operations under program control within the OOPSLA Research Papers-track
2011
SPLASH
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 16 May 10:02
