Scholar
Alex Aiken
Google Scholar ID: 3vKjkoQAAAAJ
Professor of Computer Science, Stanford University
programming languages
compilers
verification
parallelism
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
8,536
H-index
45
i10-index
125
Publications
20
Co-authors
79
list available
Contact
Email
aaiken@cs.stanford.edu
GitHub
Open ↗
Publications
15 items
Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
2025
Cited
0
Equivalence Checking of ML GPU Kernels
2025
Cited
0
InvBench: Can LLMs Accelerate Program Verification with Invariant Synthesis?
2025
Cited
0
Astra: A Multi-Agent System for GPU Kernel Performance Optimization
2025
Cited
0
On the Duality of Task and Actor Programming Models
2025
Cited
0
Task-Based Programming for Adaptive Mesh Refinement in Compressible Flow Simulations
2025
Cited
0
Mapple: A Domain-Specific Language for Mapping Distributed Heterogeneous Parallel Programs
2025
Cited
0
Automatic Verification of Floating-Point Accumulation Networks
2025
Cited
0
Load more
Resume (English only)
Academic Achievements
ACM Fellow
Recipient of ACM SIGPLAN Programming Languages Achievement Award
Recipient of Phi Beta Kappa Teaching Award
Offers a free public compilers course covering compiler construction, language design, semantics, optimization, and history
Teaches CS242: Programming Languages and CS315B: Programming Supercomputers
Background
Alcatel-Lucent Professor of Computer Science at Stanford University
Computer Science Division Director at SLAC
Research interests focus on programming languages
Former chair of the Stanford Computer Science Department
Married to Jennifer Widom; they have a son, Tim, and a daughter, Emily
Miscellany
Enjoys wilderness hiking; completed the Sierra High Route and trekked west of Lake Tahoe
Took a sabbatical year (2007–2008) traveling the world with family, with a dedicated trip webpage
Delivered commencement speeches at Stanford CS graduations in 2015, 2017, and 2018
Gave a memorial talk for John Backus at PLDI'07
Authored 'Advice for Program Chairs' based on experience chairing POPL and PLDI
Co-authors
79 total
Co-author 1
Jeffrey S. Foster
Computer Science, Tufts University
Co-author 3
Zhihao Jia
Assistant Professor of Computer Science, Carnegie Mellon University
Isil Dillig
UT Austin
Co-author 6
Alex Nicolau
Professor of Computer Science, University of California
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up