Alex Aiken
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
129
Venues
34
Active years
1996–2025
Best venue rank
A*
Where they publish
- A*PLDI29 papers
- ASC19 papers
- AOOPSLA11 papers
- A*CAV7 papers
- BPPoPP6 papers
- BSAS6 papers
- A*ASPLOS5 papers
- A*POPL5 papers
- A*ICML4 papers
- AICS3 papers
- A*CVPR3 papers
- AESOP3 papers
- A*EMNLP2 papers
- A*ICDE2 papers
- A*ICDM2 papers
- A*OSDI2 papers
- AISSTA2 papers
- ADSN2 papers
- ACIDR1 paper
- ATACAS1 paper
- A*KDD1 paper
- AECOOP1 paper
- A*SOSP1 paper
- NationalHiPC1 paper
- A*UIST1 paper
- BAPLAS1 paper
- ARAID1 paper
- ASIGCSE1 paper
- A*SP1 paper
- BCONCUR1 paper
- A*LICS1 paper
- CMEMOCODE1 paper
- AICFP1 paper
- A*SIGMOD1 paper
Papers
129 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Automatic Tracing in Task-Based Runtime Systems. | Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad |
| 2025 | ASPLOS | Composing Distributed Computations Through Task and Kernel Fusion. | Rohan Yadav, Shiv Sundram, Wonchan Lee, Michael Garland, Michael Bauer, Alex Aiken, Fredrik Kjolstad |
| 2025 | CAV | Automatic Verification of Floating-Point Accumulation Networks. | David Kai Zhang, Alex Aiken |
| 2025 | EMNLP | EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking. | Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang, Ziheng Wang, Yuan Liu, Thiago S. F. X. Teixeira, Diyi Yang, Ke Wang, Alex Aiken |
| 2025 | EMNLP | SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. | Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken |
| 2025 | ICDE | Rottnest: Indexing Data Lakes for Search. | Ziheng Wang, Sasha Krassovsky, Conor Kennedy, Alex Aiken, Weston Pace, Rain Jiang, Huayi Zhang, Chenyu Jiang, Wei Xu |
| 2025 | ICDM | Flexible Windowing for Correlation-Aware Ranking in Anomalous Environments. | Anwesha Das, Henry Hoffmann, Alex Aiken |
| 2025 | ICML | Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces. | Anjiang Wei, Allen Nie, Thiago S. F. X. Teixeira, Rohan Yadav, Wonchan Lee, Ke Wang, Alex Aiken |
| 2025 | SC | High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic. | David Kai Zhang, Alex Aiken |
| 2025 | SC | KDRSolvers: Scalable, Flexible, Task-Oriented Krylov Solvers. | David Kai Zhang, Rohan Yadav, Alex Aiken, Fredrik Kjolstad, Sean Treichler |
| 2024 | CIDR | A Model for Query Execution Over Heterogeneous Instances. | Ziheng Wang, Emanuel Adamiak, Alex Aiken |
| 2024 | ICDE | Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage. | Ziheng Wang, Alex Aiken |
| 2024 | ICS | CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes. | Mert Hidayetoglu, Simon Garcia De Gonzalo, Elliott Slaughter, Yu Li, Christopher Zimmer, Tekin Bicer, Bin Ren, William Gropp, Wen-Mei Hwu, Alex Aiken |
| 2023 | CVPR | Putting People in Their Place: Affordance-Aware Human Insertion into Scenes. | Sumith Kulal, Tim Brooks, Alex Aiken, Jiajun Wu, Jimei Yang, Jingwan Lu, Alexei A. Efros, Krishna Kumar Singh |
| 2023 | ICML | On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters. | Wonyeol Lee, Sejun Park, Alex Aiken |
| 2023 | PPoPP | Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence. | Michael Bauer, Elliott Slaughter, Sean Treichler, Wonchan Lee, Michael Garland, Alex Aiken |
| 2023 | SC | Automated Mapping of Task-Based Programs onto Distributed and Heterogeneous Machines. | Thiago S. F. X. Teixeira, Alexandra Henzinger, Rohan Yadav, Alex Aiken |
| 2023 | SC | Legate Sparse: Distributed Sparse Computing in Python. | Rohan Yadav, Wonchan Lee, Melih Elibol, Manolis Papadakis, Taylor Lee Patti, Michael Garland, Alex Aiken, Fredrik Kjolstad, Michael Bauer |
| 2022 | CVPR | Programmatic Concept Learning for Human Motion Description and Synthesis. | Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu |
| 2022 | OSDI | Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization. | 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 |
| 2022 | PLDI | Quartz: superoptimization of Quantum circuits. | Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia |
| 2022 | PLDI | DISTAL: the distributed tensor algebra compiler. | Rohan Yadav, Alex Aiken, Fredrik Kjolstad |
| 2022 | SC | SpDISTAL: Compiling Distributed Sparse Tensor Computations. | Rohan Yadav, Alex Aiken, Fredrik Kjolstad |
| 2022 | TACAS | Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion. | Jason R. Koenig, Oded Padon, Sharon Shoham, Alex Aiken |
| 2021 | CVPR | Hierarchical Motion Understanding via Motion Programs. | Sumith Kulal, Jiayuan Mao, Alex Aiken, Jiajun Wu |
| 2021 | PLDI | Adaptive restarts for stochastic synthesis. | Jason R. Koenig, Oded Padon, Alex Aiken |
| 2021 | PPoPP | Scaling implicit parallelism via dynamic control replication. | Michael Bauer, Wonchan Lee, Elliott Slaughter, Zhihao Jia, Mario Di Renzo, Manolis Papadakis, Galen M. Shipman, Patrick S. McCormick, Michael Garland, Alex Aiken |
| 2021 | SC | Index launches: scalable, flexible representation of parallel task groups. | Rupanshu Soi, Michael Bauer, Sean Treichler, Manolis Papadakis, Wonchan Lee, Patrick S. McCormick, Alex Aiken, Elliott Slaughter |
| 2020 | KDD | Redundancy-Free Computation for Graph Neural Networks. | Zhihao Jia, Sina Lin, Rex Ying, Jiaxuan You, Jure Leskovec, Alex Aiken |
| 2020 | PLDI | First-order quantified separators. | Jason R. Koenig, Oded Padon, Neil Immerman, Alex Aiken |
| 2020 | SC | Task bench: a parameterized benchmark for evaluating parallel runtime performance. | 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 |
| 2019 | ECOOP | Eventually Sound Points-To Analysis with Specifications. | Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2019 | PLDI | Semantic program alignment for equivalence checking. | Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken |
| 2019 | SC | A constraint-based approach to automatic data partitioning for distributed memory execution. | Wonchan Lee, Manolis Papadakis, Elliott Slaughter, Alex Aiken |
| 2019 | SC | Pygion: Flexible, Scalable Task-Based Parallelism with Python. | Elliott Slaughter, Alex Aiken |
| 2019 | SOSP | TASO: optimizing deep learning computation with automatic generation of graph substitutions. | Zhihao Jia, Oded Padon, James Thomas, Todd Warszawski, Matei Zaharia, Alex Aiken |
| 2018 | ICML | Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks. | Zhihao Jia, Sina Lin, Charles R. Qi, Alex Aiken |
| 2018 | ICS | Isometry: A Path-Based Distributed Data Transfer System. | Zhihao Jia, Sean Treichler, Galen M. Shipman, Patrick S. McCormick, Alex Aiken |
| 2018 | PLDI | Active learning of points-to specifications. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2018 | SC | Dynamic tracing: memoization of task graphs for dynamic task-based runtimes. | Wonchan Lee, Elliott Slaughter, Michael Bauer, Sean Treichler, Todd Warszawski, Michael Garland, Alex Aiken |
| 2018 | SC | Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. | Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken |
| 2017 | ASPLOS | Sound Loop Superoptimization for Google Native Client. | Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken |
| 2017 | HiPC | Integrating External Resources with a Task-Based Programming Model. | Zhihao Jia, Sean Treichler, Galen M. Shipman, Michael Bauer, Noah Watkins, Carlos Maltzahn, Patrick S. McCormick, Alex Aiken |
| 2017 | PLDI | Synthesizing program input grammars. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2017 | SC | In situ visualization with task-based parallelism. | Alan Heirich, Elliott Slaughter, Manolis Papadakis, Wonchan Lee, Tim Biedert, Alex Aiken |
| 2017 | SC | Control replication: compiling implicit parallelism to efficient SPMD with logical regions. | Elliott Slaughter, Wonchan Lee, Sean Treichler, Wen Zhang, Michael Bauer, Galen M. Shipman, Patrick S. McCormick, Alex Aiken |
| 2016 | OOPSLA | Dependent partitioning. | Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken |
| 2016 | PLDI | Stratified synthesis: automatically learning the x86-64 instruction set. | Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2016 | PLDI | Verifying bit-manipulations of floating-point. | Wonyeol Lee, Rahul Sharma, Alex Aiken |
| 2015 | ISSTA | Modelgen: mining explicit information flow specifications from concrete executions. | Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2015 | OOPSLA | Conditionally correct superoptimization. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2015 | OOPSLA | Interactively verifying absence of explicit information flows in Android apps. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | OOPSLA | An interactive approach to mobile app verification. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | PLDI | Verification of producer-consumer synchronization in GPU programs. | Rahul Sharma, Michael Bauer, Alex Aiken |
| 2015 | PLDI | Composing concurrency control. | Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
| 2015 | POPL | Specification Inference Using Context-Free Language Reachability. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | SC | Regent: a high-productivity programming language for HPC with logical regions. | Elliott Slaughter, Wonchan Lee, Sean Treichler, Michael Bauer, Alex Aiken |
| 2015 | SC | Automatic and transparent I/O optimization with storage integrated application runtime support. | Noah Watkins, Zhihao Jia, Galen M. Shipman, Carlos Maltzahn, Alex Aiken, Patrick S. McCormick |
| 2014 | CAV | From Invariant Checking to Invariant Inference Using Randomized Search. | Rahul Sharma, Alex Aiken |
| 2014 | ISSTA | Verifying atomicity via data independence. | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
| 2014 | PLDI | First-class runtime generation of high-performance types using exotypes. | Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan |
| 2014 | PLDI | Stochastic optimization of floating-point programs with tunable precision. | Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2014 | POPL | Bias-variance tradeoffs in program analysis. | Rahul Sharma, Aditya V. Nori, Alex Aiken |
| 2014 | PPoPP | Singe: leveraging warp specialization for high performance on GPUs. | Michael Bauer, Sean Treichler, Alex Aiken |
| 2014 | SC | Structure Slicing: Extending Logical Regions with Fields. | Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken |
| 2013 | ASPLOS | Stochastic superoptimization. | Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2013 | ESOP | A Data Driven Approach for Algebraic Loop Invariants. | Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori |
| 2013 | OOPSLA | Data-driven equivalence checking. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2013 | OOPSLA | Language support for dynamic, hierarchical data partitioning. | Sean Treichler, Michael Bauer, Alex Aiken |
| 2013 | PLDI | Terra: a multi-stage language for high-performance computing. | Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek |
| 2013 | UIST | Crowd-scale interactive formal reasoning and analytics. | Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith |
| 2013 | SAS | Verification as Learning Geometric Concepts. | Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori |
| 2012 | CAV | Minimum Satisfying Assignments for SMT. | Isil Dillig, Thomas Dillig, Kenneth L. McMillan, Alex Aiken |
| 2012 | CAV | Interpolants as Classifiers. | Rahul Sharma, Aditya V. Nori, Alex Aiken |
| 2012 | ESOP | Reasoning about Lock Placements. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | OOPSLA | Understanding the behavior of database operations under program control. | Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv |
| 2012 | PLDI | Automated error diagnosis using abductive inference. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2012 | PLDI | Concurrent data representation synthesis. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2012 | SC | Legion: expressing locality and independence with logical regions. | Michael Bauer, Sean Treichler, Elliott Slaughter, Alex Aiken |
| 2011 | CAV | Simplifying Loop Invariant Generation Using Splitter Predicates. | Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken |
| 2011 | DSN | Online detection of multi-component interactions in production systems. | Adam J. Oliner, Alex Aiken |
| 2011 | OOPSLA | Automatic fine-grain locking using shape properties. | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
| 2011 | OOPSLA | Testing atomicity of composed concurrent operations. | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
| 2011 | PLDI | Precise and compact modular procedure summaries for heap manipulating programs. | Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv |
| 2011 | PLDI | Data representation synthesis. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2011 | POPL | Precise reasoning for programs using containers. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2011 | PPoPP | Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. | Michael Bauer, John Clark, Eric Schkufza, Alex Aiken |
| 2011 | SC | Liszt: a domain specific language for building portable mesh-based PDE solvers. | Zach DeVito, Niels Joubert, Francisco Palacios, Stephen Oakley, Montserrat Medina, Mike Barrientos, Erich Elsen, Frank Ham, Alex Aiken, Karthik Duraisamy, Eric Darve, Juan J. Alonso, Pat Hanrahan |
| 2010 | APLAS | Data Structure Fusion. | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
| 2010 | DSN | Using correlated surprise to infer shared influence. | Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken |
| 2010 | ESOP | Fluid Updates: Beyond Strong vs. Weak Updates. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2010 | ICS | A query language for understanding component interactions in production systems. | Adam J. Oliner, Alex Aiken |
| 2010 | OOPSLA | Symbolic heap abstraction with demand-driven axiomatization of memory invariants. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2010 | RAID | Community Epidemic Detection Using Time-Correlated Anomalies. | Adam J. Oliner, Ashutosh V. Kulkarni, Alex Aiken |
| 2010 | SIGCSE | Expanding the frontiers of computer science: designing a curriculum to reflect a diverse field. | Mehran Sahami, Alex Aiken, Julie Zelenski |
| 2010 | SAS | Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2009 | CAV | Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2008 | ICDM | Alert Detection in System Logs. | Adam J. Oliner, Alex Aiken, Jon Stearley |
| 2008 | OSDI | Binary Translation Using Peephole Superoptimizers. | Sorav Bansal, Alex Aiken |
| 2008 | PLDI | Sound, complete and scalable path-sensitive analysis. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2008 | PPoPP | A portable runtime interface for multi-level memory hierarchies. | Mike Houston, Ji Young Park, Manman Ren, Timothy J. Knight, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan |
| 2008 | SP | Verifying the Safety of User Pointer Dereferences. | Suhabe Bugrara, Alex Aiken |
| 2007 | PLDI | Static error detection using semantic inconsistency inference. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2007 | PLDI | Regularly annotated set constraints. | John Kodumal, Alex Aiken |
| 2007 | POPL | Conditional must not aliasing for static race detection. | Mayur Naik, Alex Aiken |
| 2007 | PPoPP | Compilation for explicitly managed memory hierarchies. | Timothy J. Knight, Ji Young Park, Manman Ren, Mike Houston, Mattan Erez, Kayvon Fatahalian, Alex Aiken, William J. Dally, Pat Hanrahan |
| 2006 | ASPLOS | Automatic generation of peephole superoptimizers. | Sorav Bansal, Alex Aiken |
| 2006 | CONCUR | A Capability Calculus for Concurrency and Determinism. | Tachio Terauchi, Alex Aiken |
| 2006 | ICML | Statistical debugging: simultaneous identification of multiple bugs. | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken |
| 2006 | LICS | On Typability for Rank-2 Intersection Types with Polymorphic Recursion. | Tachio Terauchi, Alex Aiken |
| 2006 | MEMOCODE | Scalable program analysis using Boolean satisfiability. | Alex Aiken |
| 2006 | PLDI | Effective static race detection for Java. | Mayur Naik, Alex Aiken, John Whaley |
| 2006 | SC | Sequoia: programming the memory hierarchy. | Kayvon Fatahalian, Daniel Reiter Horn, Timothy J. Knight, Larkhoon Leem, Mike Houston, Ji Young Park, Mattan Erez, Manman Ren, Alex Aiken, William J. Dally, Pat Hanrahan |
| 2005 | CAV | Saturn: A SAT-Based Tool for Bug Detection. | Yichen Xie, Alex Aiken |
| 2005 | ICFP | Witnessing side-effects. | Tachio Terauchi, Alex Aiken |
| 2005 | OOPSLA | Relational queries over program traces. | Simon Goldsmith, Robert O'Callahan, Alex Aiken |
| 2005 | PLDI | Scalable statistical bug isolation. | Ben Liblit, Mayur Naik, Alice X. Zheng, Alex Aiken, Michael I. Jordan |
| 2005 | POPL | Scalable error detection using boolean satisfiability. | Yichen Xie, Alex Aiken |
| 2005 | SAS | Banshee: A Scalable Constraint-Based Analysis Toolkit. | John Kodumal, Alex Aiken |
| 2005 | SAS | Secure Information Flow as a Safety Problem. | Tachio Terauchi, Alex Aiken |
| 2004 | PLDI | The set constraint/CFL reachability connection in practice. | John Kodumal, Alex Aiken |
| 2003 | PLDI | Checking and inferring local non-aliasing. | Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |
| 2003 | PLDI | Bug isolation via remote program sampling. | Ben Liblit, Alex Aiken, Alice X. Zheng, Michael I. Jordan |
| 2003 | SIGMOD | Winnowing: Local Algorithms for Document Fingerprinting. | Saul Schleimer, Daniel Shawcross Wilkerson, Alex Aiken |
| 2003 | SAS | Type Systems for Distributed Data Sharing. | Ben Liblit, Alex Aiken, Katherine A. Yelick |
| 2002 | PLDI | Flow-Sensitive Type Qualifiers. | Jeffrey S. Foster, Tachio Terauchi, Alex Aiken |
| 2001 | PLDI | Language Support for Regions. | David Gay, Alex Aiken |
| 1998 | PLDI | Memory Management with Explicit Regions. | David Gay, Alex Aiken |
| 1996 | SAS | Constraint-Based Program Analysis (Abstract). | Alex Aiken |