Alex Aiken

All Publications

• Task-Based Tensor Computations on Modern GPUs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Yadav, R., Garland, M., Aiken, A., Bauer, M. 2025; 9 (PLDI)

  View details for DOI 10.1145/3729262

  View details for Web of Science ID 001532151900005

• Composing Distributed Computations Through Task and Kernel Fusion Yadav, R., Sundram, S., Lee, W., Garland, M., Bauer, M., Aiken, A., Kjolstad, F., ACM ASSOC COMPUTING MACHINERY. 2025: 182-197

  View details for DOI 10.1145/3669940.3707216

  View details for Web of Science ID 001481633300012

• Automatic Tracing in Task-Based Runtime Systems Yadav, R., Bauer, M., Broman, D., Garland, M., Aiken, A., Kjolstad, F., ACM ASSOC COMPUTING MACHINERY. 2025: 84-99

  View details for DOI 10.1145/3669940.3707237

  View details for Web of Science ID 001481633300006

• Quanto: optimizing quantum circuits with automatic generation of circuit identities QUANTUM SCIENCE AND TECHNOLOGY Pointing, J., Padon, O., Jia, Z., Ma, H., Hirth, A., Palsberg, J., Aiken, A. 2024; 9 (4)

  View details for DOI 10.1088/2058-9565/ad5b16

  View details for Web of Science ID 001269783300001

• Recursive Program Synthesis using Paramorphisms Hong, Q., Aiken, A. ASSOC COMPUTING MACHINERY. 2024

  View details for DOI 10.1145/3656381

  View details for Web of Science ID 001264464100006

• CommBench: Micro-Benchmarking Hierarchical Networks with Multi-GPU, Multi-NIC Nodes Hidayetoglu, M., de Gonzalo, S., Slaughter, E., Li, Y., Zimmer, C., Bicer, T., Ren, B., Gropp, W., Hwu, W., Aiken, A., Assoc Computing Machinery ASSOC COMPUTING MACHINERY. 2024: 426-436

  View details for DOI 10.1145/3650200.3656591

  View details for Web of Science ID 001255419500035

• Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code Mirchandaney, S., Aiken, A., Slaughter, E. edited by Diehl, P., Schuchart, J., Valero-Lara, P., Bosilca, G. SPRINGER INTERNATIONAL PUBLISHING AG. 2024: 1-8

  View details for DOI 10.1007/978-3-031-61763-8_1

  View details for Web of Science ID 001284720700001

• Prolego: Time-Series Analysis for Predicting Failures in Complex Systems Das, A., Aiken, A., IEEE IEEE COMPUTER SOC. 2023: 77-86

  View details for DOI 10.1109/ACSOS58161.2023.00025

  View details for Web of Science ID 001122711700009

• Putting People in Their Place: Affordance-Aware Human Insertion into Scenes Kulal, S., Brooks, T., Aiken, A., Wu, J., Yang, J., Lu, J., Efros, A. A., Singh, K., IEEE IEEE COMPUTER SOC. 2023: 17089-17099

  View details for DOI 10.1109/CVPR52729.2023.01639

  View details for Web of Science ID 001062531301038

• Multinode Multi-GPU Two-Electron Integrals: Code Generation Using the Regent Language. Journal of chemical theory and computation Johnson, K. G., Mirchandaney, S., Hoag, E., Heirich, A., Aiken, A., Martinez, T. J. 2022

  Abstract

  The computation of two-electron repulsion integrals (ERIs) is often the most expensive step of integral-direct self-consistent field methods. Formally it scales as O(N4), where N is the number of Gaussian basis functions used to represent the molecular wave function. In practice, this scaling can be reduced to O(N2) or less by neglecting small integrals with screening methods. The contributions of the ERIs to the Fock matrix are of Coulomb (J) and exchange (K) type and require separate algorithms to compute matrix elements efficiently. We previously implemented highly efficient GPU-accelerated J-matrix and K-matrix algorithms in the electronic structure code TeraChem. Although these implementations supported the use of multiple GPUs on a node, they did not support the use of multiple nodes. This presents a key bottleneck to cutting-edge ab initio simulations of large systems, e.g., excited state dynamics of photoactive proteins. We present our implementation of multinode multi-GPU J- and K-matrix algorithms in TeraChem using the Regent programming language. Regent directly supports distributed computation in a task-based model and can generate code for a variety of architectures, including NVIDIA GPUs. We demonstrate multinode scaling up to 45 GPUs (3 nodes) and benchmark against hand-coded TeraChem integral code. We also outline our metaprogrammed Regent implementation, which enables flexible code generation for integrals of different angular momenta.

  View details for DOI 10.1021/acs.jctc.2c00414

  View details for PubMedID 36200649

• Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion Koenig, J. R., Padon, O., Shoham, S., Aiken, A. edited by Fisman, D., Rosu, G. SPRINGER INTERNATIONAL PUBLISHING AG. 2022: 338-356

  View details for DOI 10.1007/978-3-030-99524-9_18

  View details for Web of Science ID 000782396700018

• Unity: Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization Unger, C., Jia, Z., Wu, W., Lin, S., Baines, M., Narvaez, C., Ramakrishnaiah, V., Prajapati, N., McCormick, P., Mohd-Yusof, J., Luo, X., Mudigere, D., Park, J., Smelyanskiy, M., Aiken, A., USENIX Association USENIX ASSOC. 2022: 267-284

  View details for Web of Science ID 001066452200016

• SpDISTAL: Compiling Distributed Sparse Tensor Computations Yadav, R., Aiken, A., Kjolstad, F., IEEE IEEE. 2022

  View details for DOI 10.1109/SC41404.2022.00064

  View details for Web of Science ID 000981934800039

• Task Fusion in Distributed Runtimes Sundram, S., Lee, W., Aiken, A., IEEE IEEE COMPUTER SOC. 2022: 13-25

  View details for DOI 10.1109/PAW-ATM56565.2022.00007

  View details for Web of Science ID 000964595000002

• Quartz: Superoptimization of Quantum Circuits Xu, M., Li, Z., Padon, O., Lin, S., Pointing, J., Hirth, A., Ma, H., Palsberg, J., Aiken, A., Acar, U. A., Jia, Z. edited by Jhala, R., Dillig ASSOC COMPUTING MACHINERY. 2022: 625-640

  View details for DOI 10.1145/3519939.3523433

  View details for Web of Science ID 000850435600042

• DISTAL: The Distributed Tensor Algebra Compiler Yadav, R., Aiken, A., Kjolstad, F. edited by Jhala, R., Dillig ASSOC COMPUTING MACHINERY. 2022: 286-300

  View details for DOI 10.1145/3519939.3523437

  View details for Web of Science ID 000850435600020

• Induction Duality: Primal-Dual Search for Invariants PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Padon, O., Wilcox, J. R., Koenig, J. R., McMillan, K. L., Aiken, A. 2022; 6

  View details for DOI 10.1145/3498712

  View details for Web of Science ID 000777820900051

• Programmatic Concept Learning for Human Motion Description and Synthesis Kulal, S., Mao, J., Aiken, A., Wu, J., IEEE COMP SOC IEEE COMPUTER SOC. 2022: 13833-13842

  View details for DOI 10.1109/CVPR52688.2022.01347

  View details for Web of Science ID 000870759106090

• Performance Variability and Causality in Complex Systems Das, A., Ratner, D., Aikenl, A. edited by Casadei, R., DiNitto, E., Gerostathopoulos, Pianini, D., Dusparic, Wood, T., Nelson, P., Pournaras, E., Bencomo, N., Gotz, S., Krupitzer, C., Raibulet, C. IEEE COMPUTER SOC. 2022: 19-24

  View details for DOI 10.1109/ACSOSC56246.2022.00021

  View details for Web of Science ID 000886623600004

• FLEET-Fast Lanes for Expedited Execution at 10 Terabits: Program Overview IEEE INTERNET COMPUTING Douglis, F., Robertson, S., Berg, E., Micallef, J., Pucci, M., Aiken, A., Bergman, K., Hattink, M., Seok, M. 2021; 25 (3): 79-87

  View details for DOI 10.1109/MIC.2021.3075326

  View details for Web of Science ID 000678087600022

• Hierarchical Motion Understanding via Motion Programs Kulal, S., Mao, J., Aiken, A., Wu, J., IEEE COMP SOC IEEE COMPUTER SOC. 2021: 6564-6572

  View details for DOI 10.1109/CVPR46437.2021.00650

  View details for Web of Science ID 000739917306077

• Adaptive Restarts for Stochastic Synthesisy Koenig, J. R., Padon, O., Aiken, A. edited by Freund, S. N., Yahav, E. ASSOC COMPUTING MACHINERY. 2021: 696-709

  View details for DOI 10.1145/3453483.3454071

  View details for Web of Science ID 000723661700045

• First-Order Quantified Separators Koenig, J. R., Padon, O., Immerman, N., Aiken, A. edited by Donaldson, A. F., Torlak, E. ASSOC COMPUTING MACHINERY. 2020: 703–17

  View details for DOI 10.1145/3385412.3386018

  View details for Web of Science ID 000614622300047

• Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance Slaughter, E., Wu, W., Fu, Y., Brandenburg, L., Garcia, N., Kautz, W., Marx, E., Morris, K. S., Cao, Q., Bosilca, G., Mirchandaney, S., Lee, W., Treichleril, S., McCormick, P., Aiken, A., IEEE IEEE. 2020

  View details for DOI 10.1109/SC41405.2020.00066

  View details for Web of Science ID 000668022000082

• SPoC: Search-based Pseudocode to Code Kulal, S., Pasupat, P., Chandra, K., Lee, M., Padon, O., Aiken, A., Liang, P. edited by Wallach, H., Larochelle, H., Beygelzimer, A., d'Alche-Buc, F., Fox, E., Garnett, R. NEURAL INFORMATION PROCESSING SYSTEMS (NIPS). 2019

  View details for Web of Science ID 000535866903051

• Pygion: Flexible, Scalable Task-Based Parallelism with Python Slaughter, E., Aiken, A., IEEE Comp Soc IEEE COMPUTER SOC. 2019: 58-72

  View details for DOI 10.1109/PAW-ATM49560.2019.00011

  View details for Web of Science ID 000674933500006

• TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions Jia, Z., Padon, O., Thomas, J., Warszawski, T., Zaharia, M., Aiken, A., ACM ASSOC COMPUTING MACHINERY. 2019: 47–62

  View details for DOI 10.1145/3341301.3359630

  View details for Web of Science ID 000524218600004

• A Constraint-Based Approach to Automatic Data Partitioning for Distributed Memory Execution Lee, W., Papadakis, M., Slaughter, E., Aiken, A., Assoc Comp Machinery ASSOC COMPUTING MACHINERY. 2019

  View details for DOI 10.1145/3295500.3356199

  View details for Web of Science ID 000545976800045

• Semantic Program Alignment for Equivalence Checking Churchill, B., Padon, O., Sharma, R., Aiken, A. edited by McKinley, K. S., Fisher, K. ASSOC COMPUTING MACHINERY. 2019: 1027–40

  View details for DOI 10.1145/3314221.3314596

  View details for Web of Science ID 000523190300068

• Active Learning of Points-To Specifications Bastani, O., Sharma, R., Aiken, A., Liang, P. ASSOC COMPUTING MACHINERY. 2018: 678–92

  View details for DOI 10.1145/3192366.3192383

  View details for Web of Science ID 000452469600046

• Dynamic Tracing: Memoization of Task Graphs for Dynamic Task-Based Runtimes Lee, W., Slaughter, E., Bauer, M., Treichler, S., Warszawski, T., Garland, M., Aiken, A., IEEE Press ASSOC COMPUTING MACHINERY. 2018

  View details for Web of Science ID 000494258800034

• Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks Jia, Z., Lin, S., Qi, C. R., Aiken, A. edited by Dy, J., Krause, A. JMLR-JOURNAL MACHINE LEARNING RESEARCH. 2018

  View details for Web of Science ID 000683379202039

• Isometry: A Path-Based Distributed Data Transfer System Jia, Z., Treichler, S., Shipman, G., McCormick, P., Aiken, A., ACM ASSOC COMPUTING MACHINERY. 2018: 295-306

  View details for DOI 10.1145/3205289.3205301

  View details for Web of Science ID 000518187500028

• On Automatically Proving the Correctness of math . h Implementations PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Lee, W., Sharma, R., Aiken, A. 2018; 2

  View details for DOI 10.1145/3158135

  View details for Web of Science ID 000688016900047

• Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems Lee, W., Stelle, G., McCormick, P., Aiken, A., IEEE IEEE. 2018: 17–24

  View details for DOI 10.1109/Correctness.2018.00007

  View details for Web of Science ID 000461030500003

• A Distributed Multi-GPU System for Fast Graph Processing PROCEEDINGS OF THE VLDB ENDOWMENT Jia, Z., Kwon, Y., Shipman, G., McCormick, P., Erez, M., Aiken, A. 2017; 11 (3): 297–310

  View details for DOI 10.14778/3157794.3157799

  View details for Web of Science ID 000429425700005

• Seam: Provably Safe Local Edits on Graphs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL Papadakis, M., Bernstein, G., Sharma, R., Aiken, A., Hanrahan, P. 2017; 1

  View details for DOI 10.1145/3133902

  View details for Web of Science ID 000688014000034

• Synthesizing Program Input Grammars Bastani, O., Sharma, R., Aiken, A., Liang, P. ASSOC COMPUTING MACHINERY. 2017: 95–110

  View details for DOI 10.1145/3062341.3062349

  View details for Web of Science ID 000414334200007

• Sound Loop Superoptimization for Google Native Client Churchill, B., Sharma, R., Bastien, J. F., Aiken, A. ASSOC COMPUTING MACHINERY. 2017: 313–26

  View details for DOI 10.1145/3093315.3037754

  View details for Web of Science ID 000401535600023

• Sound Loop Superoptimization for Google Native Client ACM SIGPLAN NOTICES Churchill, B., Sharma, R., Bastien, J. F., Aiken, A. 2017; 52 (4): 313-326

  View details for DOI 10.1145/3093336.3037754

  View details for Web of Science ID 000401540000023

• Integrating External Resources with a Task-Based Programming Model Jia, Z., Treichler, S., Shipman, G., Bauer, M., Watkins, N., Maltzahn, C., McCormick, P., Aiken, A., IEEE IEEE. 2017: 307–16

  View details for DOI 10.1109/HiPC.2017.00043

  View details for Web of Science ID 000426994700034

• Sound Loop Superoptimization for Google Native Client Churchill, B., Sharma, R., Bastien, J. F., Aiken, A., ACM ASSOC COMPUTING MACHINERY. 2017: 313-326

  View details for Web of Science ID 000530090400023

• Control Replication: Compiling Implicit Parallelism to Efficient SPMD with Logical Regions Slaughter, E., Lee, W., Treichler, S., Zhang, W., Bauer, M., Shipman, G., McCormick, P., Aiken, A., Assoc Comp Machinery ASSOC COMPUTING MACHINERY. 2017

  View details for DOI 10.1145/3126908.3126949

  View details for Web of Science ID 000458161700014

• Dependent Partitioning ACM SIGPLAN NOTICES Treichler, S., Bauer, M., Sharma, R., Slaughter, E., Aiken, A. 2016; 51 (10): 344-358

  View details for DOI 10.1145/2983990.2984016

  View details for Web of Science ID 000393581000020

• Verifying Bit-Manipulations of Floating-Point ACM SIGPLAN NOTICES Lee, W., Sharma, R., Aiken, A. 2016; 51 (6): 70-84

  View details for DOI 10.1145/2908080.2908107

  View details for Web of Science ID 000381501000006

• Stratified Synthesis: Automatically Learning the x86-64 Instruction Set ACM SIGPLAN NOTICES Heule, S., Schkufza, E., Sharma, R., Aiken, A. 2016; 51 (6): 237-250

  View details for DOI 10.1145/2908080.2908121

  View details for Web of Science ID 000381501000017

• From invariant checking to invariant inference using randomized search FORMAL METHODS IN SYSTEM DESIGN Sharma, R., Aiken, A. 2016; 48 (3): 235-256

  View details for DOI 10.1007/s10703-016-0248-5

  View details for Web of Science ID 000382702200004

• Stochastic Program Optimization COMMUNICATIONS OF THE ACM Schkufza, E., Sharma, R., Aiken, A. 2016; 59 (2): 114-122

  View details for DOI 10.1145/2863701

  View details for Web of Science ID 000368828200029

• Towards Asynchronous Many-Task In Situ Data Analysis Using Legion Pebay, P., Bennett, J. C., Hollman, D., Treichler, S., McCormick, P. S., Sweeney, C. M., Kolla, H., Aiken, A., IEEE IEEE. 2016: 1033-1037

  View details for DOI 10.1109/IPDPSW.2016.24

  View details for Web of Science ID 000391253600122

• Minimizing GUI Event Traces Clapp, L., Bastani, O., Anand, S., Aiken, A. edited by Zimmermann, T., ClelandHuang, J., Su, Z. ASSOC COMPUTING MACHINERY. 2016: 422–34

  View details for DOI 10.1145/2950290.2950342

  View details for Web of Science ID 000391133400041

• Interactively Verifying Absence of Explicit Information Flows in Android Apps ACM SIGPLAN NOTICES Bastani, O., Anand, S., Aiken, A. 2015; 50 (10): 299-315

  View details for DOI 10.1145/2814270.2814274

  View details for Web of Science ID 000367256500017

• Conditionally Correct Superoptimization ACM SIGPLAN NOTICES Sharma, R., Schkufza, E., Churchill, B., Aiken, A. 2015; 50 (10): 147-162

  View details for DOI 10.1145/2814270.2814278

  View details for Web of Science ID 000367256500009

• Verification of Producer-Consumer Synchronization in GPU Programs ACM SIGPLAN NOTICES Sharma, R., Bauer, M., Aiken, A. 2015; 50 (6): 88-98

  View details for DOI 10.1145/2737924.2737962

  View details for Web of Science ID 000361284200009

• Composing Concurrency Control ACM SIGPLAN NOTICES Ziv, O., Aiken, A., Golan-Gueta, G., Ramalingam, G., Sagiv, M. 2015; 50 (6): 240-249

  View details for DOI 10.1145/2737924.2737970

  View details for Web of Science ID 000361284200023

• Specification Inference Using Context-Free Language Reachability ACM SIGPLAN NOTICES Bastani, O., Anand, S., Aiken, A. 2015; 50 (1): 553-566

  View details for DOI 10.1145/2676726.2676977

  View details for Web of Science ID 000354800500045

• Regent: A High-Productivity Programming Language for HPC with Logical Regions Slaughter, E., Lee, W., Treichler, S., Bauer, M., Aiken, A., ACM ASSOC COMPUTING MACHINERY. 2015

  View details for DOI 10.1145/2807591.2807629

  View details for Web of Science ID 000382162500082

• M-3: High-Performance Memory Management from Off-the-Shelf Components ACM SIGPLAN NOTICES Terei, D., Aiken, A., Vitek, J. 2014; 49 (11): 3-13

  View details for DOI 10.1145/2602988.2602995

  View details for Web of Science ID 000358310800001

• Singe: Leveraging Warp Specialization for High Performance on GPUs ACM SIGPLAN NOTICES Bauer, M., Treichler, S., Aiken, A. 2014; 49 (8): 119-130

  View details for DOI 10.1145/2555243.2555258

  View details for Web of Science ID 000349142100011

• First-class Runtime Generation of High-performance Types using Exotypes 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) DeVito, Z., Ritchie, D., Fisher, M., Aiken, A., Hanrahan, P. ASSOC COMPUTING MACHINERY. 2014: 77–88

  View details for DOI 10.1145/2594291.2594307

  View details for Web of Science ID 000344455800011

• Stochastic Optimization of Floating-Point Programs with Tunable Precision 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) Schkufza, E., Sharma, R., Aiken, A. ASSOC COMPUTING MACHINERY. 2014: 53–64

  View details for DOI 10.1145/2594291.2594302

  View details for Web of Science ID 000344455800009

• Bias-Variance Tradeoffs in Program Analysis 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) Sharma, R., Nori, A. V., Aiken, A. ASSOC COMPUTING MACHINERY. 2014: 127–37

  View details for DOI 10.1145/2535838.2535853

  View details for Web of Science ID 000331120500012

• From Invariant Checking to Invariant Inference Using Randomized Search Sharma, R., Aiken, A. edited by Biere, A., Bloem, R. SPRINGER INTERNATIONAL PUBLISHING AG. 2014: 88-105

  View details for Web of Science ID 000491474200006

• Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis Feng, Y., Anand, S., Dillig, I., Aiken, A., Cheung, S., Orso, A., Storey, M. ASSOC COMPUTING MACHINERY. 2014: 576–87

  View details for DOI 10.1145/2635868.2635869

  View details for Web of Science ID 000452049800050

• Structure Slicing: Extending Logical Regions with Fields Bauer, M., Treichler, S., Slaughter, E., Aiken, A., IEEE IEEE. 2014: 845-856

  View details for DOI 10.1109/SC.2014.74

  View details for Web of Science ID 000393484400069

• Realm: An Event-Based Low-Level Runtime for Distributed Memory Architectures Treichler, S., Bauer, M., Aiken, A., IEEE IEEE. 2014: 263-275

  View details for DOI 10.1145/2628071.2628084

  View details for Web of Science ID 000396396800023

• Data-Driven Equivalence Checking ACM SIGPLAN NOTICES Sharma, R., Schkufza, E., Churchill, B., Aiken, A. 2013; 48 (10): 391-406

  View details for DOI 10.1145/2509136.2509509

  View details for Web of Science ID 000327697300022

• Language Support for Dynamic, Hierarchical Data Partitioning ACM SIGPLAN NOTICES Treichler, S., Bauer, M., Aiken, A. 2013; 48 (10): 495-514

  View details for DOI 10.1145/2509136.2509545

  View details for Web of Science ID 000327697300028

• Terra: A Multi-Stage Language for High-Performance Computing 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) DeVito, Z., Hegarty, J., Aiken, A., Hanrahan, P., Vitek, J. ASSOC COMPUTING MACHINERY. 2013: 105–15

  View details for Web of Science ID 000321865400011

• Stochastic Superoptimization ACM SIGPLAN NOTICES Schkufza, E., Sharma, R., Aiken, A. 2013; 48 (4): 305-315

  View details for Web of Science ID 000321213100025

• Data-Driven Equivalence Checking. Sharma, R., Schkufza, E., Churchill, B., Aiken, A. 2013
• Verification as Learning Geometric Concepts 20th International Static Analysis Symposium (SAS) Sharma, R., Gupta, S., Hariharan, B., Aiken, A., Nori, A. V. SPRINGER-VERLAG BERLIN. 2013: 388–411

  View details for Web of Science ID 000342808500021

• A Data Driven Approach for Algebraic Loop Invariants 22nd European Symposium on Programming (ESOP) Sharma, R., Gupta, S., Hariharan, B., Aiken, A., Liang, P., Nori, A. V. SPRINGER-VERLAG BERLIN. 2013: 574–592

  View details for Web of Science ID 000342810200031

• Crowd-scale Interactive Formal Reasoning and Analytics. Fast, E., Lee, C., Aiken, A., Bernstein, M., Koller, D., Smith, E. 2013
• A Data Driven Approach for Algebraic Loop Invariants Sharma, R., Gupta, S., Hariharan, B., Aiken, A., Liang, P., Nori, A., V. 2013
• Verification as Learning Geometric Concepts. Sharma, R., Gupta, S., Hariharan, B., Aiken, A., Nori, A. 2013
• Language Support for Dynamic, Hierarchical Data Partitioning. Treichler, S., Bauer, M., Aiken, A. 2013
• An Introduction to Data Representation Synthesis COMMUNICATIONS OF THE ACM Hawkins, P., Rinard, M., Aiken, A., Sagiv, M., Fisher, K. 2012; 55 (12): 91-99

  View details for DOI 10.1145/2380656.2380677

  View details for Web of Science ID 000312744900026

• Understanding the Behavior of Database Operations under Program Control ACM SIGPLAN NOTICES Tamayo, J. M., Aiken, A., Bronson, N., Sagiv, M. 2012; 47 (10): 983-995

  View details for DOI 10.1145/2398857.2384688

  View details for Web of Science ID 000311296200057

• Automated Error Diagnosis Using Abductive Inference ACM SIGPLAN NOTICES Dillig, I., Dillig, T., Aiken, A. 2012; 47 (6): 181-191

  View details for DOI 10.1145/2345156.2254087

  View details for Web of Science ID 000307582100017

• Concurrent Data Representation Synthesis ACM SIGPLAN NOTICES Hawkins, P., Aiken, A., Fisher, K., Rinard, M., Sagiv, M. 2012; 47 (6): 417-427

  View details for DOI 10.1145/2345156.2254114

  View details for Web of Science ID 000307582100037

• Legion: Expressing Locality and Independence with Logical Regions International Conference for High Performance Computing, Networking, Storage and Analysis (SC) Bauer, M., Treichler, S., Slaughter, E., Aiken, A. IEEE. 2012

  View details for Web of Science ID 000316911000064

• Minimum Satisfying Assignments for SMT. Dillig, I., Dillig, T., McMillan, K., Aiken, A. 2012
• Interpolants as Classifiers. Sharma, R., Nori, A., Aiken, A. 2012
• An Introduction to Data Representation Synthesis. Communications of the ACM Hawkins, P., Aiken, A., Fisher, K., Rinard, M., Sagiv, M. 2012; 12 (55): 91-99
• Automated Error Diagnosis Using Abductive Inference Dillig, I., Dillig, T. 2012
• Reasoning about Lock Placements 21st European Symposium on Programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS) Hawkins, P., Aiken, A., Fisher, K., Rinard, M., Sagiv, M. SPRINGER-VERLAG BERLIN. 2012: 336–356

  View details for Web of Science ID 000310871200017

• Cuts from proofs: a complete and practical technique for solving linear inequalities over integers FORMAL METHODS IN SYSTEM DESIGN Dillig, I., Dillig, T., Aiken, A. 2011; 39 (3): 246-260

  View details for DOI 10.1007/s10703-011-0127-z

  View details for Web of Science ID 000297596900002

• Automatic Fine-Grain Locking using Shape Properties ACM SIGPLAN NOTICES Golan-Gueta, G., Bronson, N., Aiken, A., Ramalingam, G., Sagiv, M., Yahav, E. 2011; 46 (10): 225-241

  View details for DOI 10.1145/2076021.2048086

  View details for Web of Science ID 000298294500015

• Testing Atomicity of Composed Concurrent Operations ACM SIGPLAN NOTICES Shacham, O., Bronson, N., Aiken, A., Sagiv, M., Vechev, M., Yahav, E. 2011; 46 (10): 51-64

  View details for DOI 10.1145/2076021.2048073

  View details for Web of Science ID 000298294500005

• Programming the Memory Hierarchy Revisited: Supporting Irregular Parallelism in Sequoia ACM SIGPLAN NOTICES Bauer, M., Clark, J., Schkufza, E., Aiken, A. 2011; 46 (8): 13-23

  View details for Web of Science ID 000296264900003

• Data Representation Synthesis ACM SIGPLAN NOTICES Hawkins, P., Aiken, A., Fisher, K., Rinard, M., Sagiv, M. 2011; 46 (6): 38-49

  View details for DOI 10.1145/1993316.1993504

  View details for Web of Science ID 000294609500004

• Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs ACM SIGPLAN NOTICES Dillig, I., Dillig, T., Aiken, A., Sagiv, M. 2011; 46 (6): 567-577

  View details for DOI 10.1145/1993316.1993565

  View details for Web of Science ID 000294609500049

• Precise Reasoning for Programs Using Containers ACM SIGPLAN NOTICES Dillig, I., Dillig, T., Aiken, A. 2011; 46 (1): 187-200

  View details for DOI 10.1145/1925844.1926407

  View details for Web of Science ID 000286472700016

• Data Representation Synthesis Hawkins, P., Aiken, A., Fisher, K., Rinard, M., Sagiv, M., ACM SIGPLAN ASSOC COMPUTING MACHINERY. 2011: 38–49

  View details for Web of Science ID 000297656700004

• Precise Reasoning for Programs Using Containers Dillig, I., Dillig, T., Aiken, A., ACM ASSOC COMPUTING MACHINERY. 2011: 187-200

  View details for DOI 10.1145/1926385.1926407

  View details for Web of Science ID 000289656100016

• Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs Dillig, I., Dillig, T., Aiken, A., Sagiv, M., ACM SIGPLAN ASSOC COMPUTING MACHINERY. 2011: 567-577

  View details for Web of Science ID 000297656700049

• Simplifying Loop Invariant Generation Using Splitter Predicates. Sharma, R., Dillig, I., Dillig, T. 2011
• Liszt: A Domain Specific Language for Building Portable Mesh-based PDE Solvers. DeVito, Z., Joubert, N., Palacios, F., Oakley, S., Medina, M., Barrientos, M., Aiken, A. 2011
• Inferring Data Polymorphism in Systems Code. Hackett, B., Aiken, A. 2011
• Advice for Program Chairs. ACM Sigplan Notices Aiken, A. 2011; 4 (46): 19-25
• Online Detection of Multi-Component Interactions in Production Systems IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN) Oliner, A. J., Aiken, A. IEEE. 2011: 49–60

  View details for Web of Science ID 000295616400005

• Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants Conference on Object Oriented Programming Systems, Languages and Applications/SPLASH 2010 Dillig, I., Dillig, T., Aiken, A. ASSOC COMPUTING MACHINERY. 2010: 397–410

  View details for DOI 10.1145/1932682.1869493

  View details for Web of Science ID 000286595800025

• Reasoning About the Unknown in Static Analysis COMMUNICATIONS OF THE ACM Dillig, I., Dillig, T., Aiken, A. 2010; 53 (8): 115-123

  View details for DOI 10.1145/1787234.1787259

  View details for Web of Science ID 000280545500030

• Expanding the Frontiers of Computer Science: Designing a Curriculum to Reflect a Diverse Field 41st ACM Technical Symposium on Computer Science Education Sahami, M., Aiken, A., Zelenski, J. ASSOC COMPUTING MACHINERY. 2010: 47–51

  View details for Web of Science ID 000281141300010

• A Query Language for Understanding Component Interactions in Production Systems. Oliner, A., Aiken, A. 2010
• Data Structure Fusion 8th Asian Symposium on Programming Languages and Systems Hawkins, P., Aiken, A., Fisher, K., Rinard, M., Sagiv, M. SPRINGER-VERLAG BERLIN. 2010: 204–221

  View details for Web of Science ID 000290881800015

• Fluid Updates: Beyond Strong vs. Weak Updates 19th European Symposium on Programming (ESOP 2010) held at the ETAPES 2010 Dillig, I., Dillig, T., Aiken, A. SPRINGER-VERLAG BERLIN. 2010: 246–266

  View details for Web of Science ID 000279369000013

• Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis 17th International Static Analysis Symposium Dillig, I., Dillig, T., Aiken, A. SPRINGER. 2010: 236–252

  View details for Web of Science ID 000286149800015

• Community Epidemic Detection Using Time-Correlated Anomalies 13th International Symposium on Recent Advances in Intrusion Detection Systems Oliner, A. J., Kulkarni, A. V., Aiken, A. SPRINGER-VERLAG BERLIN. 2010: 360–381

  View details for Web of Science ID 000286486100019

• Using Correlated Surprise to Infer Shared Influence IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Oliner, A. J., Kulkarni, A. V., Aiken, A. IEEE. 2010: 191–200

  View details for Web of Science ID 000287078300020

• Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers 21st International Conference on Computer Aided Verification Dillig, I., Dillig, T., Aiken, A. SPRINGER-VERLAG BERLIN. 2009: 233–247

  View details for Web of Science ID 000270444900016

• A capability calculus for concurrency and determinism ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Terauchi, T., Aiken, A. 2008; 30 (5)

  View details for DOI 10.1145/1387673.1387676

  View details for Web of Science ID 000259445600003

• Sound, complete and scalable path-sensitive analysis ACM SIGPLAN NOTICES Dillig, I., Dillig, T., Aiken, A. 2008; 43 (6): 270-280

  View details for Web of Science ID 000257820400025

• Witnessing side effects ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Terauchi, T., Aiken, A. 2008; 30 (3)

  View details for DOI 10.1145/1353445.1353449

  View details for Web of Science ID 000256425100004

• Sound, Complete and Scalable Path-Sensitive Analysis ACM SIGPLAN Conference on Programming Language Design and Implementation Dillig, I., Dillig, T., Aiken, A. ASSOC COMPUTING MACHINERY. 2008: 270–280

  View details for Web of Science ID 000266617300025

• Binary Translation Using Peephole Superoptimizers. Bansal, S., Aiken, A. 2008
• A Capability Calculus for Concurrency and Determinism (extended version). Transactions on Programming Languages and Systems Terauchi, T., Aiken, A. 2008; 5 (30): 1-30
• Alert Detection in System Logs 8th IEEE International Conference on Data Mining Oliner, A. J., Aiken, A., Stearley, J. IEEE COMPUTER SOC. 2008: 959–964

  View details for DOI 10.1109/ICDM.2008.132

  View details for Web of Science ID 000264173600114

• A Tuning Framework for Software-Managed Memory Hierarchies 17th International Conference on Parallel Architectures and Compilation Techniques Ren, M., Park, J. Y., Houston, M., Aiken, A., Daily, W. J. ASSOC COMPUTING MACHINERY. 2008: 280–291

  View details for Web of Science ID 000267053400028

• Verifying the safety of user pointer dereferences IEEE Symposium on Security and Privacy Bugrara, S., Aiken, A. IEEE COMPUTER SOC. 2008: 325–338

  View details for DOI 10.1109/SP.2008.15

  View details for Web of Science ID 000256560300022

• A Portable Runtime Interface For Multi-Level Memory Hierarchies ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 08) Houston, M., Park, J., Ren, M., Knight, T., Fatahalian, K., Aiken, A., Dally, W. J., Hanrahan, P. ASSOC COMPUTING MACHINERY. 2008: 143–152

  View details for Web of Science ID 000266619600015

• Static error detection using semantic inconsistency inference Conference on Programming Language Design and Implementation Dillig, I., Dillig, T., Aiken, A. ASSOC COMPUTING MACHINERY. 2007: 435–45

  View details for Web of Science ID 000253409000043

• Regularly annotated set constraints Conference on Programming Language Design and Implementation Kodumal, J., Aiken, A. ASSOC COMPUTING MACHINERY. 2007: 331–41

  View details for Web of Science ID 000253409000033

• Conditional Must Not Aliasing for Static Race Detection 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Naik, M., Aiken, A. ASSOC COMPUTING MACHINERY. 2007: 327–338

  View details for Web of Science ID 000267364200035

• Conditional must not aliasing for static race detection 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Naik, M., Aiken, A. ASSOC COMPUTING MACHINERY. 2007: 327–38

  View details for Web of Science ID 000253407700035

• Static Error Detection using Semantic Inconsistency Inference Conference on Programming Language Design and Implementation Dillig, I., Dillig, T., Aiken, A. ASSOC COMPUTING MACHINERY. 2007: 435–445

  View details for Web of Science ID 000266485500041

• Measuring Empirical Computational Complexity. Goldsmith, S., Aiken, A., Wilkerson, D. 2007
• Compilation for Explicitly Managed Memory Hierarchies. Knight, T., Park, J., Ren, M., Houston, M., Erez, M., Fatahalian, K., Aiken, A. 2007
• Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability. Transactions on Programming Languages and Systems Xie, Y., Aiken, A. 2007; 3 (29): 1-16
• Compilation for Explicitly Managed Memory Hierarchies ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Knight, T. J., Park, J. Y., Ren, M., Houston, M., Erez, M., Fatahalian, K., Aiken, A., Dally, W. J., Hanrahan, P. ASSOC COMPUTING MACHINERY. 2007: 226–236

  View details for Web of Science ID 000266870900035

• An Overview of the Saturn Project 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2007) Aiken, A., Bugrara, S., Dillig, I., Dillig, T., Hackett, B., Hawkins, P. ASSOC COMPUTING MACHINERY. 2007: 43–48

  View details for Web of Science ID 000266011900008

• SATURN: A scalable framework for error detection using Boolean satisfiability 5th Joint Meeting of the European Software Engineering Conference/ACM SIGSOFT Symposium on Software Engineering Xie, Y., Aiken, A. ASSOC COMPUTING MACHINERY. 2007

  View details for DOI 10.1145/1232420.1232423

  View details for Web of Science ID 000247072100003

• Regularly Annotated Set Constraints Conference on Programming Language Design and Implementation Kodumal, J., Aiken, A. ASSOC COMPUTING MACHINERY. 2007: 331–341

  View details for Web of Science ID 000266485500031

• Automatic generation of peephole superoptimizers ACM SIGPLAN NOTICES Bansal, S., Aiken, A. 2006; 41 (11): 394-403

  View details for Web of Science ID 000202972600037

• Flow-insensitive type qualifiers ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Foster, J. S., Johnson, R., Kodumal, J., Aiken, A. 2006; 28 (6): 1035-1087

  View details for Web of Science ID 000242991500003

• Effective static race detection for Java ACM SIGPLAN NOTICES Naik, M., Aiken, A., Whaley, J. 2006; 41 (6): 308-319

  View details for Web of Science ID 000202972100027

• A capability calculus for concurrency and determinism 17th International Conference on Concurrency Theory Terauchi, T., Aiken, A. SPRINGER-VERLAG BERLIN. 2006: 218–232

  View details for Web of Science ID 000240256100015

• On typability for rank-2 intersection types with polymorphic recursion 21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS Terauchi, T., Aiken, A. 2006: 111-?

  View details for Web of Science ID 000240899100012

• Static Detection of Security Vulnerabilities in Scripting Languages. Xie, Y., Aiken, A. 2006
• Sequoia: Programming the Memory Hierarchy. Fatahalian, K., Knight, T., Houston, M., Erez, M., Horn, D., Leem, L., Aiken, A. 2006
• Statistical Debugging: Simultaneous Identification of Multiple Bugs Zheng, A., Jordan, M., Liblit, B., Naik, M., Aiken, A. 2006
• On Typability for Rank-2 Intersection Types with Polymorphic Recursion. Terauchi, T., Aiken, A. 2006
• How is Aliasing Used in Systems Software? Hackett, B., Aiken, A. 2006
• Scalable program analysis using Boolean satisfiability 4th ACM/IEEE International Conference on Formal Methods and Models for Co-Design Aiken, A. IEEE. 2006: 89–89

  View details for Web of Science ID 000240106600011

• Static detection of security vulnerabilities in scripting languages 15th USENIX Security Symposium Xie, Y., Aiken, A. USENIX ASSOC. 2006: 179–192

  View details for Web of Science ID 000245599800013

• Relational queries over program traces 20th Conference on Object-Oriented Programming, Systems, Languages and Applications Goldsmith, S., O'Callahan, R., Aiken, A. ASSOC COMPUTING MACHINERY. 2005: 385–402

  View details for Web of Science ID 000233404900025

• Witnessing side-effects 10th ACM SIGPLAN International Conference on Functional Programming (ICFP) Terauchi, T., Aiken, A. ASSOC COMPUTING MACHINERY. 2005: 105–15

  View details for Web of Science ID 000232089200011

• Scalable statistical bug isolation Conference on Programming Language Design and Implementation Liblit, B., Naik, M., Zheng, A. X., Aiken, A., Jordon, M. I. ASSOC COMPUTING MACHINERY. 2005: 15–26

  View details for Web of Science ID 000230634200003

• Scalable error detection using boolean satisfiability 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Xie, Y. C., Aiken, A. ASSOC COMPUTING MACHINERY. 2005: 351–63

  View details for Web of Science ID 000228342100030

• Context- and Path-Sensitive Memory Leak Detection. Xie, Y., Aiken, A. 2005
• Soundness and its Role in Bug Detection Systems (position paper). Xie, Y., Naik, M., Hackett, B., Aiken, A. 2005
• Banshee: A scalable constraint-based analysis toolkit 12th International Static Analysis Symposium (SAS 2005) Kodumal, J., Aiken, A. SPRINGER-VERLAG BERLIN. 2005: 218–234

  View details for Web of Science ID 000232292300016

• Secure information flow as a safety problem 12th International Static Analysis Symposium (SAS 2005) Terauchi, T., Aiken, A. SPRINGER-VERLAG BERLIN. 2005: 352–367

  View details for Web of Science ID 000232292300024

• Saturn: A SAT-based tool for bug detection 17th International Conference on Computer Aided Verification Xie, Y. C., Aiken, A. SPRINGER-VERLAG BERLIN. 2005: 139–143

  View details for Web of Science ID 000230755800013

• The set constraint/CFL reachability connection in practice Conference on Programming Language Design and Implementation Kodumal, J., Aiken, A. ASSOC COMPUTING MACHINERY. 2004: 207–18

  View details for Web of Science ID 000223120900019

• Public Deployment of Cooperative Bug Isolation. Liblit, B., Naik, M., Zheng, A., Aiken, A., Jordan, M., I. 2004
• Statistical Debugging of Sampled Programs. Zheng, A., Jordan, M., I., Liblit, B., Aiken, A. 2004
• Type Systems for Distributed Data Sharing. Liblit, B., Aiken, A., Yelick, K. 2003
• Bug Isolation via Remote Program Sampling. Liblit, B., Aiken, A., Zheng, A., Jordan, M., I. 2003
• Sampling User Executions for Bug Isolation. Liblit, B., Aiken, A., Zheng, A., Jordan, M., I. 2003
• Checking and Inferring Local Non-Aliasing Aiken, A., Foster, J., Kodumal, J., Terauchi, T. 2003
• Winnowing: Local Algorithms for Document Fingerprinting. Schleimer, S., Wilkerson, D., Aiken, A. 2003
• Flow-Sensitive Type Qualifiers. Foster, J., Terauchi, T., Aiken, A. 2002
• First-Order Theory of Subtyping Constraints Su, Z., Aiken, A., Niehren, J., Priesnitz, T., Trienen, R. 2002
• Entailment with Conditional Equality Constraints, Su, Z., Aiken, A. 2001
• Language Support for Regions. Gay, D., Aiken, A. 2001
• A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. Wagner, D., Foster, J., Brewer, E., Aiken, A. 2000
• Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. Foster, J., Fähndrich, M., Aiken, A. 2000
• Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. Fähndrich, M., Su, Z., Aiken, A. 2000
• Type Systems for Distributed Data Structures. Liblit, B., Aiken, A. 2000
• Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation Aiken, A., Wimmers, E., Palsberg, J. 1999; 3 (12)
• Introduction to Set Constraint-Based Program Analysis. Science of Computer Programming Aiken, A. 1999; 1999 (35): 79-111
• A Theory of Type Qualifiers. Foster, J., Fähndrich, M., Aiken, A. 1999
• A Toolkit for Constructing Type- and Constraint-Based Program Analyses (invited paper). Aiken, A., Fähndrich, M., Foster, J., Su, Z. 1998
• Barrier Inference. Gay, D., Aiken, A. 1998
• Partial Online Cycle Elimination in Inclusion Constraint Graphs. Fähndrich, M., Foster, J., Su, Z., Aiken, A. 1998
• Detecting Races in Relay Ladder Logic Programs. Aiken, A., Fähndrich, M., Su, Z. 1998
• Titanium: A High-Performance Java Dialect. Yelick, K., Semenzato, L., Pike, G., Miyamoto, C., Liblit, B., Krishnamurthy, A., Aiken, A. 1998
• Memory Management with Explicit Regions. Gay, D., Aiken, A. 1998
• Attack Resistant Trust Metrics for Public Key Certification. Levien, R., Aiken, A. 1998
• Program Analysis Using Mixed Term and Set Constraints. Fähndrich, M., Aiken, A. 1997
• Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). Aiken, A., Wimmers, E., Palsberg, J. 1997
• Refined Type Inference for ML. Fähndrich, M., Aiken, A. 1997
• Making Set-Constraint Program Analyses Scale. Fähndrich, M., Aiken, A. 1996
• Cool: A Portable Project for Teaching Compiler Construction. CM Sigplan Notices Aiken, A. 1996; 7 (31): 19-26
• Tioga-2: A Direct Manipulation Database Visualization Environment. Aiken, A., Chen, J., Stonebraker, M., Woodruff, A. 1996
• STATIC ANALYSIS TECHNIQUES FOR PREDICTING THE BEHAVIOR OF ACTIVE DATABASE RULES ACM TRANSACTIONS ON DATABASE SYSTEMS Aiken, A., Hellerstein, J. M., Widom, J. 1995; 20 (1): 3-41

  View details for Web of Science ID A1995RJ62400002

• Decidability of Systems of Set Constraints with Negative Constraints. Information and Computation Aiken, A., Kozen, D., Wimmers, E. 1995; 1 (122): 30-44
• Navigation and Coordination Primitives for Multidimensional Browsers. Woodruff, A., Su, A., Stonebraker, M., Paxson, C., Chen, J., Aiken, A. edited by Woodruff, A., Su, A., Stonebraker, M. 1995
• Dynamic Typing vs. Subtype Inference. Aiken, A., Fähndrich, M. 1995
• Resource-Constrained Software Pipelining, IEEE Transactions on Distributed and Parallel Systems Aiken, A., Nicolau, A., Novack, S. 1995; 12 (6): 1248-1270
• The Tioga-2 Database Visualization Environment. Aiken, A., Chen, J., Lin, M., Spalding, M., Stonebraker, M., Woodruff, A. 1995
• Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages. Aiken, A., Fähndrich, M., Levien, R. 1995
• Safe-A Semantic Technique for Transforming Programs in the Presence of Errors. ACM Transactions on Programming Languages and Systems Aiken, A., Williams, J., Wimmers, E. 1995; 1 (17): 63-84
• Soft Typing with Conditional Types. Aiken, A., Wimmers, E., Lakshman, T., K. 1994
• Zooming and Tunneling in Tioga: Supporting Navigation in Multidimensional Space. Woodruff, A., Wisnovsky, P., Taylor, C., Stonebraker, M., Paxson, C., Chen, J., Aiken, A. 1994
• Using the Run-Time Sizes of Data Structures to Guide Parallel Thread Creation. Huelsbergen, L., Larus, J., Aiken, A. 1994
• Set Constraints: Results, Applications, and Future Directions. Aiken, A. 1994
• Directional Type Checking of Logic Programs. Aiken, A., Lakshman, T., K. 1994
• Type Inclusion Constraints and Type Inference. Aiken, A., Wimmers, E. 1993
• The Complexity of Set Constraints. Aiken, A., Kozen, D., Vardi, M., Wimmers, E. 1993
• Solving Systems of Set Constraints. Aiken, A., Wimmers, E. 1992
• Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. Aiken, A., Widom, J., Hellerstein, J., M. 1992
• IMPLEMENTING REGULAR TREE EXPRESSIONS LECTURE NOTES IN COMPUTER SCIENCE Aiken, A., Murphy, B. R. 1991; 523: 427-447

  View details for Web of Science ID A1991GJ20300022

• A Realistic Resource-Constrained Software Pipelining Algorithm Advances in Languages and Compilers for Parallel Processing Aiken, A., Nicolau, A. edited by Aiken, A., Nicolau, A., Gelernter et al., D. MIT Press, Cambridge, Massachusetts. 1991: 274–290
• Static Type Inference in a Dynamically Typed Language. Aiken, A., Murphy, B. 1991
• A Theory of Compaction-Based Parallelization. Theoretical Computer Science Aiken, A. 1990; 2 (73): 121-154
• Fine-Grain Parallelization and the Wavefront Method Languages and Compilers for Parallel Computing Aiken, A., Nicolau, A. edited by Aiken, A., Nicolau, A., Gelernter et al., D. MIT Press, Cambridge, Massachusetts. 1990: 1–16
• Program Transformation in the Presence of Errors. Aiken, A., Williams, J., Wimmers, E. 1990
• Fine-Grain Compilation for Pipelined Machines Journal of Supercomputing Nicolau, A., Pingali, K., Aiken, A. 1988; 3 (2): 279-295
• Optimal Loop Parallelization. Aiken, A., Nicolau, A. 1988
• A Development Environment for Horizontal Microcode (revised). IEEE Transactions on Software Engineering Aiken, A., Nicolau, A. 1988; 5 (14): 584-594
• Perfect Pipelining: A New Loop Parallelization Technique. Aiken, A., Nicolau, A. 1988
• A Development Environment for Horizontal Microcode. Aiken, A., Nicolau, A. 1986
• A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. Journal of Visual Languages and Computing Woodruff, A., Olston, C., Aiken, A., Chu, M., Ercegovac, V., Lin, M. ; 5 (12): 551-571
• Detecting Races in Relay Ladder Logic Programs. Software Tools for Technology Transfer Su, Z., Aiken, A., Fähndrich, M. ; 2000 (3): 93-105