Alex Aiken -

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