| 2002 | POPL | The first-order theory of subtyping constraints. | Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
| 2001 | ESOP | Entailment with Conditional Equality Constraints. | Zhendong Su, Alexander Aiken |
| 2000 | NDSS | A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. | David A. Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken |
| 2000 | POPL | Type Systems for Distributed Data Structures. | Ben Liblit, Alexander Aiken |
| 2000 | POPL | Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. | Zhendong Su, Manuel Fhndrich, Alexander Aiken |
| 2000 | SAS | Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. | Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken |
| 1999 | PLDI | A Theory of Type Qualifiers. | Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken |
| 1998 | PLDI | Partial Online Cycle Elimination in Inclusion Constraint Graphs. | Manuel Fhndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken |
| 1998 | POPL | Barrier Inference. | Alexander Aiken, David Gay |
| 1998 | SIGMOD | DataSplash. | Chris Olston, Allison Woodruff, Alexander Aiken, Michael Chu, Vuk Ercegovac, Mark Lin, Mybrid Spalding, Michael Stonebraker |
| 1998 | TACAS | Detecting Races in Relay Ladder Logic Programs. | Alexander Aiken, Manuel Fhndrich, Zhendong Su |
| 1997 | SAS | Program Analysis Using Mixed Term and Set Constraints. | Manuel Fhndrich, Alexander Aiken |
| 1996 | ICDE | Tioga-2: A Direct Manipulation Database Visualization Environment. | Alexander Aiken, Jolly Chen, Michael Stonebraker, Allison Woodruff |
| 1995 | PLDI | Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. | Alexander Aiken, Manuel Fhndrich, Raph Levien |
| 1994 | POPL | Soft Typing with Conditional Types. | Alexander Aiken, Edward L. Wimmers, T. K. Lakshman |
| 1994 | SAS | Directional Type Checking of Logic Programs | Alexander Aiken, T. K. Lakshman |
| 1993 | CSL | The Complexity of Set Constraints. | Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers |
| 1992 | LICS | Solving Systems of Set Constraints (Extended Abstract) | Alexander Aiken, Edward L. Wimmers |
| 1992 | SIGMOD | Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. | Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein |
| 1991 | POPL | Static Type Inference in a Dynamically Typed Language. | Alexander Aiken, Brian R. Murphy |
| 1990 | POPL | Program Transformation in the Presence of Errors. | Alexander Aiken, John H. Williams, Edward L. Wimmers |
| 1988 | ESOP | Perfect Pipelining: A New Loop Parallelization Technique. | Alexander Aiken, Alexandru Nicolau |
| 1988 | PLDI | Optimal Loop Parallelization. | Alexander Aiken, Alexandru Nicolau |
| 1986 | MICRO | A development environment for horizontal microcode programs. | Alexander Aiken, Alexandru Nicolau |