Alex Aiken

Stanford University — United States

Computer Science · Physical Sciences

75h-index20.2kcitations394works0.92yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Parallel Computing and Optimization Techniques(132), Logic, programming, and type systems(115), Formal Methods in Verification(89), Software Testing and Debugging Techniques(89), Software Engineering Research(68)

Publications394 total

High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic
2025· 1 cited
KDRSolvers: Scalable, Flexible, Task-Oriented Krylov Solvers
2025· 1 cited
On the Duality of Task and Actor Programming Models
arXiv (Cornell University)·2025Open Access
Mapple: A Domain-Specific Language for Mapping Distributed Programs
arXiv (Cornell University)·2025Open Access
HiCCL: A Hierarchical Collective Communication Library
2025· 6 cited
Automatic Verification of Floating-Point Accumulation Networks
arXiv (Cornell University)·2025Open Access
SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
arXiv (Cornell University)·2025Open Access
Rottnest: Indexing Data Lakes for Search
2025· 1 cited
SuperCoder: Assembly Program Superoptimization with Large Language Models
arXiv (Cornell University)·2025Open Access
VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
arXiv (Cornell University)·2025Open Access
LogCIoud: Fast Search of Compressed Logs on Object Storage
Proceedings of the VLDB Endowment·2025
CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
arXiv (Cornell University)·2025Open Access
Automatic Tracing in Task-Based Runtime Systems
2025Open Access
Composing Distributed Computations Through Task and Kernel Fusion
2025Open Access
SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas
2025· 1 citedOpen Access
EquiBench: Benchmarking Large Language Models’ Reasoning about Program Semantics via Equivalence Checking
2025Open Access
Automatic Verification of Floating-Point Accumulation Networks
Lecture notes in computer science·2025· 1 citedOpen Access
Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces
arXiv (Cornell University)·2024Open Access
HiCCL: A Hierarchical Collective Communication Library
arXiv (Cornell University)·2024Open Access
Automatic Tracing in Task-Based Runtime Systems
arXiv (Cornell University)·2024Open Access
page 1 of 20Next →

Frequent Co-authors

Ben Liblit(7), Mayur Naik(6), Alice X. Zheng(6), Michael I. Jordan(6), Jeffrey S. Foster(4), David Gay(4), Yichen Xie(4), Rahul Sharma(4), Işıl Dillig(3), Manuel Fähndrich(3), Zhihao Jia(3), Matei Zaharia(3), Daniel Shawcross Wilkerson(2), Michael Bauer(2), Sean Treichler(2), Elliott Slaughter(2), John Whaley(2), Tachio Terauchi(2), Eric Schkufza(2), Edward L. Wimmers(2)