World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
86
Citations
26239
World Ranking
778
National Ranking
418

Research.com Recognitions

  • 2008 - ACM Fellow For contributions to programming language theory and systems.

Overview

Alex Aiken is affiliated with Stanford University in the United States and specializes in the field of computer science. Their research work covers a broad scope within computer science, with particular emphasis on subfields such as artificial intelligence, hardware and architecture, computer vision and pattern recognition, computer networks and communications, and computational theory and mathematics.

The primary topics addressed in Aiken's work include parallel computing and optimization techniques, embedded systems design techniques, advanced data storage technologies, formal methods in verification, logic, programming and type systems, distributed systems and fault tolerance, as well as human pose and action recognition.

Aiken has published numerous papers in a variety of venues, with a concentration in the following publication outlets:

  • arXiv (Cornell University)
  • Zenodo (CERN European Organization for Nuclear Research)
  • Proceedings of the ACM on Programming Languages
  • Artifact Digital Object Group
  • OPAL (Open@LaTrobe) (La Trobe University)

Some recent publications by Alex Aiken include:

  • Multinode Multi-GPU Two-Electron Integrals: Code Generation Using the Regent Language, 2022, Journal of Chemical Theory and Computation
  • Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities, 2021, arXiv (Cornell University)
  • Induction duality: primal-dual search for invariants, 2022, Proceedings of the ACM on Programming Languages
  • MULTIFIDELITY MODELING OF IRRADIATED PARTICLE-LADEN TURBULENCE SUBJECT TO UNCERTAINTY, 2020, International Journal for Uncertainty Quantification
  • FLEET-Fast Lanes for Expedited Execution at 10 Terabits: Program Overview, 2021, IEEE Internet Computing

Their research collaborations include frequent co-authors such as Oded Padon, Elliott Slaughter, Seema Mirchandaney, Wonchan Lee, and Anjiang Wei.

In recognition of their contributions, Alex Aiken was awarded the ACM Fellow distinction in 2008 for work in programming language theory and systems.

Best Publications

  • Winnowing: local algorithms for document fingerprinting

    Saul Schleimer;Daniel S. Wilkerson;Alex Aiken

  • Scalable statistical bug isolation

    Ben Liblit;Mayur Naik;Alice X. Zheng;Alex Aiken

  • A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities.

    David A. Wagner;Jeffrey S. Foster;Eric A. Brewer;Alexander Aiken

  • Bug isolation via remote program sampling

    Ben Liblit;Alex Aiken;Alice X. Zheng;Michael I. Jordan

  • Titanium: a high-performance Java dialect

    Katherine A. Yelick;Katherine A. Yelick;Luigi Semenzato;Luigi Semenzato;Geoff Pike;Geoff Pike;Carleton Miyamoto;Carleton Miyamoto

  • Sequoia: programming the memory hierarchy

    Kayvon Fatahalian;Daniel Reiter Horn;Timothy J. Knight;Larkhoon Leem

  • Effective static race detection for Java

    Mayur Naik;Alex Aiken;John Whaley

  • Legion: expressing locality and independence with logical regions

    Michael Bauer;Sean Treichler;Elliott Slaughter;Alex Aiken

  • Apposcopy: semantics-based detection of Android malware through static analysis

    Yu Feng;Saswat Anand;Isil Dillig;Alex Aiken

  • Static detection of security vulnerabilities in scripting languages

    Yichen Xie;Alex Aiken

  • Flow-sensitive type qualifiers

    Jeffrey S. Foster;Tachio Terauchi;Alex Aiken

  • Type inclusion constraints and type inference

    Alexander Aiken;Edward L. Wimmers

  • A theory of type qualifiers

    Jeffrey S. Foster;Manuel Fähndrich;Alexander Aiken

  • Optimal loop parallelization

    A. Aiken;A. Nicolau

  • Secure information flow as a safety problem

    Tachio Terauchi;Alex Aiken

  • Stochastic superoptimization

    Eric Schkufza;Rahul Sharma;Alex Aiken

  • Liszt: a domain specific language for building portable mesh-based PDE solvers

    Zachary DeVito;Niels Joubert;Francisco Palacios;Stephen Oakley

  • Behavior of database production rules: termination, confluence, and observable determinism

    Alexander Aiken;Jennifer Widom;Joseph M. Hellerstein

  • Soft typing with conditional types

    Alexander Aiken;Edward L. Wimmers;T. K. Lakshman

  • Attack-resistant trust metrics for public key certification

    Raph Levien;Alexander Aiken

  • Titanium: A High Performance Java Dialect.

    Arvind Krishnamurthy;Alexander Aiken;Phillip Colella

Frequent Co-Authors

Isil Dillig
Isil Dillig The University of Texas at Austin
Manuel Fähndrich
Manuel Fähndrich Google (United States)
Mooly Sagiv
Mooly Sagiv Tel Aviv University
Jeffrey S. Foster
Jeffrey S. Foster Tufts University
Ben Liblit
Ben Liblit University of Wisconsin–Madison
Alexandru Nicolau
Alexandru Nicolau University of California, Irvine
Pat Hanrahan
Pat Hanrahan Stanford University
Zhendong Su
Zhendong Su ETH Zurich

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering studying Computer Science in the USA, it’s important to explore online education options that offer flexibility, affordability, and career-focused outcomes. Many students begin their academic journey with an accelerated associates degree online, which can be completed in as little as six months. This fast-track approach allows you to quickly gain foundational skills and enter the workforce or continue with advanced studies.

Others choose to broaden their career prospects with studies in business or engineering. Accredited online business schools offer flexible pathways for those interested in management or entrepreneurship, complementing a technical background.

Cost is often a major factor when choosing a degree program. Fortunately, there are options for the cheapest bachelor degree online, making it possible to earn a recognized credential without incurring excessive student debt. Similarly, an online engineering degree cost can be surprisingly affordable at certain institutions, enabling you to specialize in high-demand fields while keeping expenses manageable.

Whether you’re pursuing an associate, bachelor’s, or branching into business or engineering, online programs can open up new career pathways in tech, business, and beyond.

Best Scientists Citing Alex Aiken

Trending Scientists

Recently Published Articles