--- title: "Alex Aiken — author profile and papers — Elamur Research" description: "Alex Aiken, SLAC National Accelerator Laboratory: 4 papers on Elamur Research (2018–2025), h-index 75 — affiliations, topics, co-authors…" canonical: "https://research.elamur.ai/free/en/authors/alex-aiken/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/alex-aiken/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Alex Aiken # Alex Aiken Alex Aiken has 4 papers in our library, in 2018–2025, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/), [GPU & parallel computing](https://md.research.elamur.ai/free/en/topics/gpu-parallel-computing/); often with [Matei Zaharia](https://md.research.elamur.ai/free/en/authors/matei-zaharia/), [Oded Padon](https://md.research.elamur.ai/free/en/authors/oded-padon/), [Zhihao Jia](https://md.research.elamur.ai/free/en/authors/zhihao-jia/). 4 papers in our library · 2018–2025 [OpenAlex](https://openalex.org/A5087402475) · [ORCID](https://orcid.org/0000-0002-3723-9555) · [Wikidata](https://www.wikidata.org/wiki/Q130825629) · [**h-index 75**](https://openalex.org/authors/A5087402475) · [382 works](https://openalex.org/works?filter=author.id:A5087402475) · [20,331 citations](https://openalex.org/works?filter=author.id:A5087402475&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 4 works in our library](https://md.research.elamur.ai/free/en/authors/alex-aiken/#papers) · [🔗 Cited 364 times in our library](https://md.research.elamur.ai/free/en/authors/alex-aiken/cited-by/) · [7 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #4477](https://md.research.elamur.ai/free/en/paper-stars/page/45/#star-4477) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Alex+Aiken) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Alex+Aiken) · [dblp](https://dblp.org/search?q=Alex+Aiken) · [ACL Anthology](https://aclanthology.org/search/?q=Alex+Aiken) ## Affiliations [🎓**Stanford University** Stanford · United States 2004–2026 · 265 papersEmployment · Professor, Computer Science*current*](https://md.research.elamur.ai/free/en/universities/stanford-university/) · [🔬**SLAC National Accelerator Laboratory** Menlo Park · United States 2018–2026 · 7 papers*current*](https://ror.org/05gzmn429) · [🎓**University of California, Berkeley** Berkeley · United States 1994–2007 · 74 papers](https://md.research.elamur.ai/free/en/universities/university-of-california-berkeley/) · [🔬**IBM Research - Almaden** San Jose · United States 1990–2006 · 11 papers](https://md.research.elamur.ai/free/en/labs/ibm-research-almaden/) · [🎓**Cornell University** Ithaca · United States 1986–1995 · 9 papers](https://md.research.elamur.ai/free/en/universities/cornell-university/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 2 more institutions on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 9 The field of science this work belongs to (OpenAlex fields).[Computer Science · 4 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Information Systems · 3 works](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) · [Computer Vision and Pattern Recognition · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-vision-and-pattern-recognition/) · [Hardware and Architecture · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/hardware-and-architecture/) · [Computer Science Applications · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/computer-science-applications/) · [Software · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Artificial Intelligence · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 2 Research subjects and languages the work is about.[GPU & parallel computing · 1 work](https://md.research.elamur.ai/free/en/topics/gpu-parallel-computing/) · [Reasoning · 1 work](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2025** 1 paper](https://md.research.elamur.ai/free/en/authors/alex-aiken/year/2025/) ### 2010s [**2019** 2 papers](https://md.research.elamur.ai/free/en/authors/alex-aiken/year/2019/) · [**2018** 1 paper](https://md.research.elamur.ai/free/en/authors/alex-aiken/year/2018/) ## Papers The most cited first (OpenAlex and our library). 1. **[Beyond Data and Model Parallelism for Deep Neural Networks](https://md.research.elamur.ai/free/en/papers/jia-2018-beyond-data-model-parallelism-deep/)** *(2018 · 280 citations)* Training large DNNs is now routinely spread across many GPUs, yet mainstream frameworks mostly rely on plain data parallelism or model parallelism. 2. **[SPoC: Search-based Pseudocode to Code](https://md.research.elamur.ai/free/en/papers/kulal-2019-spoc-search-based-pseudocode-code/)** *(2019 · 96 citations)* SPoC addresses the generation of complete, multi-line C++ programs (roughly 10–20 lines) from line-by-line natural-language pseudocode. 3. **[TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions](https://md.research.elamur.ai/free/en/papers/jia-2019-taso-optimizing-deep-learning-computation/)** *(2019 · 72 citations)* Deep learning frameworks such as TensorFlow, PyTorch, TensorRT and TVM speed up computation graphs by rewriting subgraphs into faster equivalent forms. 4. **[EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking](https://md.research.elamur.ai/free/en/papers/wei-2025-equibench-benchmarking-large-language-models/)** *(2025 · 8 citations)* EquiBench asks whether large language models actually grasp what code does or mostly react to how it looks. ## All works 11 works of theirs in our library, the most cited first; 4 with a page here, the others link their original until we summarise them. 1. [**Beyond Data and Model Parallelism for Deep Neural Networks SysML 2019**Zhihao Jia, Matei Zaharia, Alex Aiken*2018 · 280 citations*](https://md.research.elamur.ai/free/en/papers/jia-2018-beyond-data-model-parallelism-deep/) 2. **[Automatic Generation of Peephole Superoptimizers ↗](https://doi.org/10.1145/1168857.1168906) ASPLOS 2006 · no summary yet**Sorav Bansal, Alex Aiken*2006 · 180 citations* 3. **[Statistical debugging ↗](https://doi.org/10.1145/1143844.1143983) International Conference on Machine Learning · no summary yet**Alice X. Zheng et al.*2006 · 149 citations* 4. **[A Data Driven Approach for Algebraic Loop Invariants ↗](https://doi.org/10.1007/978-3-642-37036-6_31) Lecture notes in computer science · no summary yet**Rahul R. Sharma et al.*2013 · 138 citations* 5. [**SPoC: Search-based Pseudocode to Code arXiv:1906.04908**Sumith Kulal, Panupong Pasupat, Kartik Chandra, et al.*2019 · 96 citations*](https://md.research.elamur.ai/free/en/papers/kulal-2019-spoc-search-based-pseudocode-code/) 6. **[Data-Driven Equivalence Checking ↗](https://doi.org/10.1145/2509136.2509509) OOPSLA 2013 · no summary yet**Rahul Sharma et al.*2013 · 87 citations* 7. [**TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions SOSP 2019**Zhihao Jia, Oded Padon, James Thomas, et al.*2019 · 72 citations*](https://md.research.elamur.ai/free/en/papers/jia-2019-taso-optimizing-deep-learning-computation/) 8. **[Stochastic Superoptimization ↗](https://arxiv.org/abs/1211.0557) arXiv:1211.0557 · no summary yet**Eric Schkufza, Rahul Sharma, Alex Aiken*2012 · 31 citations* 9. **[Redundancy-Free Computation Graphs for Graph Neural Networks ↗](https://arxiv.org/abs/1906.03707) arXiv (Cornell University) · no summary yet**Zhihao Jia et al.*2019 · 9 citations* 10. **[EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking](https://md.research.elamur.ai/free/en/papers/wei-2025-equibench-benchmarking-large-language-models/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Anjiang Wei, Jiannan Cao, Ran Li, et al.*2025 · 8 citations* 11. **[Synthesizing Program Input Grammars ↗](https://arxiv.org/abs/1608.01723) arXiv:1608.01723 · no summary yet**Osbert Bastani et al.*2016 · 2 citations* ## Co-authors here 12 of 14 co-authors with a page, the most papers together first. - [Matei Zaharia](https://md.research.elamur.ai/free/en/authors/matei-zaharia/) ×2 - [Oded Padon](https://md.research.elamur.ai/free/en/authors/oded-padon/) ×2 - [Zhihao Jia](https://md.research.elamur.ai/free/en/authors/zhihao-jia/) ×2 - [Diyi Yang](https://md.research.elamur.ai/free/en/authors/diyi-yang/) - [Hongyu Chen](https://md.research.elamur.ai/free/en/authors/hongyu-chen/) - [Jiannan Cao](https://md.research.elamur.ai/free/en/authors/jiannan-cao/) - [Ke Wang](https://md.research.elamur.ai/free/en/authors/ke-wang/) - [Mina Lee](https://md.research.elamur.ai/free/en/authors/mina-lee/) - [Panupong Pasupat](https://md.research.elamur.ai/free/en/authors/panupong-pasupat/) - [Percy Liang](https://md.research.elamur.ai/free/en/authors/percy-liang/) - [Ran Li](https://md.research.elamur.ai/free/en/authors/ran-li/) - [Yuan Liu](https://md.research.elamur.ai/free/en/authors/yuan-liu/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/): [EMNLP 2025](https://md.research.elamur.ai/free/en/venues/emnlp/2025/) - ASPLOS 2006 - International Conference on Machine Learning - Lecture notes in computer science - OOPSLA 2013 - SOSP 2019 - SysML 2019 ## Cited by Papers of our library cite their works 364 times (of the 149,439 papers whose bibliographies we read); [40 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/alex-aiken/cited-by/). Updated 2 November 2026