Alex Aiken

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 89

Top Venues

CoRR

PLDI

Proc. ACM Program. Lang.

Publications

Qiantan Hong, Alex Aiken
Recursive Program Synthesis using Paramorphisms. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ziheng Wang, Emanuel Adamiak, Alex Aiken
A Model for Query Execution Over Heterogeneous Instances. CIDR (2024)
Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad
Composing Distributed Computations Through Task and Kernel Fusion. CoRR (2024)
Ziheng Wang, Alex Aiken
Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. CoRR (2024)
Ziheng Wang, Alex Aiken
Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. ICDE (2024)
Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad
Automatic Tracing in Task-Based Runtime Systems. CoRR (2024)
Seema Mirchandaney, Alex Aiken, Elliott Slaughter
Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code. WAMTA (2024)
Mert Hidayetoglu, Simon Garcia De Gonzalo, Elliott Slaughter, Yu Li, Christopher Zimmer, Tekin Bicer, Bin Ren, William Gropp, Wen-Mei Hwu, Alex Aiken
CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes. ICS (2024)
Wonyeol Lee, Sejun Park, Alex Aiken
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. CoRR (2023)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Training with Mixed-Precision Floating-Point Assignments. CoRR (2023)
Wonyeol Lee, Sejun Park, Alex Aiken
On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. ICML (2023)
Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CVPR (2023)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Training with Mixed-Precision Floating-Point Assignments. Trans. Mach. Learn. Res. 2023 (2023)
Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken
Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines. SC (2023)
Rohan Yadav, Wonchan Lee, Melih Elibol, Manolis Papadakis, Taylor Lee-Patti, Michael Garland, Alex Aiken, Fredrik Kjolstad, Michael Bauer
Legate Sparse: Distributed Sparse Computing in Python. SC (2023)
Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh
Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. CoRR (2023)
Michael Bauer, Elliott Slaughter, Sean Treichler, Wonchan Lee, Michael Garland, Alex Aiken
Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. PPoPP (2023)
Anwesha Das, Alex Aiken
Prolego: Time-Series Analysis for Predicting Failures in Complex Systems. ACSOS (2023)
Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. TACAS (1) (2022)
Ferdinand Kossmann, Zhihao Jia, Alex Aiken
Optimizing Mixture of Experts using Dynamic Recompilations. CoRR (2022)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Programmatic Concept Learning for Human Motion Description and Synthesis. CoRR (2022)
Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken
Induction duality: primal-dual search for invariants. Proc. ACM Program. Lang. 6 (POPL) (2022)
Rohan Yadav, Alex Aiken, Fredrik Kjolstad
DISTAL: The Distributed Tensor Algebra Compiler. CoRR (2022)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: Superoptimization of Quantum Circuits (Extended Version). CoRR (2022)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Programmatic Concept Learning for Human Motion Description and Synthesis. CVPR (2022)
Shiv Sundram, Wonchan Lee, Alex Aiken
Task Fusion in Distributed Runtimes. PAW-ATM@SC (2022)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: superoptimization of Quantum circuits. PLDI (2022)
Colin Unger, Zhihao Jia, Wei Wu, Sina Lin, Mandeep Baines, Carlos Efrain Quintero Narvaez, Vinay Ramakrishnaiah, Nirmal Prajapati, Patrick S. McCormick, Jamaludin Mohd-Yusof, Xi Luo, Dheevatsa Mudigere, Jongsoo Park, Misha Smelyanskiy, Alex Aiken
Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization. OSDI (2022)
Rohan Yadav, Alex Aiken, Fredrik Kjolstad
SpDISTAL: Compiling Distributed Sparse Tensor Computations. SC (2022)
Rohan Yadav, Alex Aiken, Fredrik Kjolstad
DISTAL: the distributed tensor algebra compiler. PLDI (2022)
Rohan Yadav, Alex Aiken, Fredrik Kjolstad
SpDISTAL: Compiling Distributed Sparse Tensor Computations. CoRR (2022)
Anwesha Das, Daniel Ratner, Alex Aiken
Performance Variability and Causality in Complex Systems. ACSOS-C (2022)
Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. CoRR (2021)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Hierarchical Motion Understanding via Motion Programs. CVPR (2021)
Fred Douglis, Seth Robertson, Eric van den Berg, Josephine Micallef, Marc Pucci, Alex Aiken, Keren Bergman, Maarten Hattink, Mingoo Seok
FLEET - Fast Lanes for Expedited Execution at 10 Terabits: Program Overview. IEEE Internet Comput. 25 (3) (2021)
Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen M. Shipman, Patrick S. McCormick, Michael Garland, Alex Aiken
Scaling implicit parallelism via dynamic control replication. PPoPP (2021)
Jason R. Koenig, Oded Padon, Alex Aiken
Adaptive restarts for stochastic synthesis. PLDI (2021)
Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu
Hierarchical Motion Understanding via Motion Programs. CoRR (2021)
Rupanshu Soi, Michael Bauer, Sean Treichler, Manolis Papadakis, Wonchan Lee, Patrick S. McCormick, Alex Aiken, Elliott Slaughter
Index launches: scalable, flexible representation of parallel task groups. SC (2021)
Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken
Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. CoRR (2021)
Elliott Slaughter, Wei Wu, Yuankun Fu, Legend Brandenburg, Nicolai Garcia, Wilhem Kautz, Emily Marx, Kaleb S. Morris, Qinglei Cao, George Bosilca, Seema Mirchandaney, Wonchan Lee, Sean Treichler, Patrick S. McCormick, Alex Aiken
Task bench: a parameterized benchmark for evaluating parallel runtime performance. SC (2020)
Zhihao Jia, Sina Lin, Mingyu Gao, Matei Zaharia, Alex Aiken
Improving the Accuracy, Scalability, and Performance of Graph Neural Networks with Roc. MLSys (2020)
Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken
Redundancy-Free Computation for Graph Neural Networks. KDD (2020)
Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken
First-order quantified separators. PLDI (2020)
Zhihao Jia, Oded Padon, James J. Thomas, Todd Warszawski, Matei Zaharia, Alex Aiken
TASO: optimizing deep learning computation with automatic generation of graph substitutions. SOSP (2019)
Wonchan Lee, Manolis Papadakis, Elliott Slaughter, Alex Aiken
A constraint-based approach to automatic data partitioning for distributed memory execution. SC (2019)
Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken
Semantic program alignment for equivalence checking. PLDI (2019)
Zhihao Jia, James J. Thomas, Todd Warszawski, Mingyu Gao, Matei Zaharia, Alex Aiken
Optimizing DNN Computation with Relaxed Graph Substitutions. MLSys (2019)
Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
SPoC: Search-based Pseudocode to Code. CoRR (2019)
Elliott Slaughter, Wei Wu, Yuankun Fu, Legend Brandenburg, Nicolai Garcia, Wilhem Kautz, Emily Marx, Kaleb S. Morris, Wonchan Lee, Qinglei Cao, George Bosilca, Seema Mirchandaney, Sean Treichler, Patrick S. McCormick, Alex Aiken
Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance. CoRR (2019)
Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee, Oded Padon, Alex Aiken, Percy Liang
SPoC: Search-based Pseudocode to Code. NeurIPS (2019)
Zhihao Jia, Matei Zaharia, Alex Aiken
Beyond Data and Model Parallelism for Deep Neural Networks. MLSys (2019)
Elliott Slaughter, Alex Aiken
Pygion: Flexible, Scalable Task-Based Parallelism with Python. PAW-ATM@SC (2019)
Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
Eventually Sound Points-To Analysis with Specifications. ECOOP (2019)
Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken
Redundancy-Free Computation Graphs for Graph Neural Networks. CoRR (2019)
Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken
Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. CoRR (2018)
Zhihao Jia, Matei Zaharia, Alex Aiken
Beyond Data and Model Parallelism for Deep Neural Networks. CoRR (2018)
Zhihao Jia, Sean Treichler, Galen M. Shipman, Patrick S. McCormick, Alex Aiken
Isometry: A Path-Based Distributed Data Transfer System. ICS (2018)
Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. CORRECTNESS@SC (2018)
Wonyeol Lee, Rahul Sharma, Alex Aiken
On automatically proving the correctness of math.h implementations. Proc. ACM Program. Lang. 2 (POPL) (2018)
Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken
Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. SC (2018)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Active learning of points-to specifications. PLDI (2018)
Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken
Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. ICML (2018)
Zhihao Jia, Yongkee Kwon, Galen M. Shipman, Patrick S. McCormick, Mattan Erez, Alex Aiken
A Distributed Multi-GPU System for Fast Graph Processing. Proc. VLDB Endow. 11 (3) (2017)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Synthesizing program input grammars. PLDI (2017)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Active Learning of Points-To Specifications. CoRR (2017)
Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
Sound Loop Superoptimization for Google Native Client. ASPLOS (2017)
Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, Pat Hanrahan
Seam: provably safe local edits on graphs. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
Eventually Sound Points-To Analysis with Missing Code. CoRR (2017)
Zhihao Jia, Sean Treichler, Galen M. Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn, Patrick S. McCormick, Alex Aiken
Integrating External Resources with a Task-Based Programming Model. HiPC (2017)
Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen M. Shipman, Patrick S. McCormick, Alex Aiken
Control replication: compiling implicit parallelism to efficient SPMD with logical regions. SC (2017)
Alan Heirich, Elliott Slaughter, Manolis Papadakis, Wonchan Lee, Tim Biedert, Alex Aiken
In situ visualization with task-based parallelism. ISAV@SC (2017)
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
Dependent partitioning. OOPSLA (2016)
Wonyeol Lee, Rahul Sharma, Alex Aiken
Verifying bit-manipulations of floating-point. PLDI (2016)
Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic program optimization. Commun. ACM 59 (2) (2016)
Philippe P. Pébay, Janine C. Bennett, David S. Hollman, Sean Treichler, Patrick S. McCormick, Christine Sweeney, Hemanth Kolla, Alex Aiken
Towards Asynchronous Many-Task in Situ Data Analysis Using Legion. IPDPS Workshops (2016)
Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang
Synthesizing Program Input Grammars. CoRR (2016)
Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
Minimizing GUI event traces. SIGSOFT FSE (2016)
Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
Stratified synthesis: automatically learning the x86-64 instruction set. PLDI (2016)
Rahul Sharma, Alex Aiken
From invariant checking to invariant inference using randomized search. Formal Methods Syst. Des. 48 (3) (2016)
Rahul Sharma, Michael Bauer, Alex Aiken
Verification of producer-consumer synchronization in GPU programs. PLDI (2015)
Osbert Bastani, Saswat Anand, Alex Aiken
Interactively verifying absence of explicit information flows in Android apps. OOPSLA (2015)
Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken
Regent: a high-productivity programming language for HPC with logical regions. SC (2015)
Osbert Bastani, Saswat Anand, Alex Aiken
An interactive approach to mobile app verification. MobileDeLi (2015)
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
Composing concurrency control. PLDI (2015)
Osbert Bastani, Saswat Anand, Alex Aiken
Specification Inference Using Context-Free Language Reachability. POPL (2015)
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
Conditionally correct superoptimization. OOPSLA (2015)
Noah Watkins, Zhihao Jia, Galen M. Shipman, Carlos Maltzahn, Alex Aiken, Patrick S. McCormick
Automatic and transparent I/O optimization with storage integrated application runtime support. PDSW@SC (2015)
Lazaro Clapp, Saswat Anand, Alex Aiken
Modelgen: mining explicit information flow specifications from concrete executions. ISSTA (2015)
Rahul Sharma, Alex Aiken
From Invariant Checking to Invariant Inference Using Randomized Search. CAV (2014)
Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken
Structure Slicing: Extending Logical Regions with Fields. SC (2014)
Michael Bauer, Sean Treichler, Alex Aiken
Singe: leveraging warp specialization for high performance on GPUs. PPOPP (2014)
Sean Treichler, Michael Bauer, Alex Aiken
Realm: an event-based low-level runtime for distributed memory architectures. PACT (2014)
Eric Schkufza, Rahul Sharma, Alex Aiken
Stochastic optimization of floating-point programs with tunable precision. PLDI (2014)
David Terei, Alex Aiken, Jan Vitek
: high-performance memory management from off-the-shelf components. ISMM (2014)
Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan
First-class runtime generation of high-performance types using exotypes. PLDI (2014)
Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev
Verifying atomicity via data independence. ISSTA (2014)
Rahul Sharma, Aditya V. Nori, Alex Aiken
Bias-variance tradeoffs in program analysis. POPL (2014)
Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken
Apposcopy: automated detection of Android malware (invited talk). DeMobile@SIGSOFT FSE (2014)
Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken
Apposcopy: semantics-based detection of Android malware through static analysis. SIGSOFT FSE (2014)

Alex Aiken.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alex Aiken