Publications

Book Articles

  1. A Realistic Resource-Constrained Software Pipelining Algorithm. A. Aiken and A. Nicolau. In D. Gelernter et al., editors, Advances in Languages and Compilers for Parallel Processing, pages 274-290, MIT Press, Cambridge, Massachusetts, 1991.
  2. Fine-Grain Parallelization and the Wavefront Method. A. Aiken and A. Nicolau. In D. Gelernter et al., editors, Languages and Compilers for Parallel Computing, pages 1-16, MIT Press, Cambridge, Massachusetts, 1990.

Refereed Journal Articles

  1. An Introduction to Data Representation Synthesis. P. Hawkins, A. Aiken, K. Fisher, M. Rinard, and M. Sagiv. Communications of the ACM, research highlight, 55(12):91-99, December, 2012.
  2. Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities Over Integers. I. Dillig, T. Dillig and A. Aiken. Formal Methods in System Design , invited paper, 39:246-260, January 2011.
  3. Reasoning About the Unknown in Static Analysis. I. Dillig, T. Dillig and A. Aiken. Communications of the ACM, research highlight, 53(8):115-123, August 2010.
  4. A Capability Calculus for Concurrency and Determinism (extended version). T. Terauchi and A. Aiken. Transactions on Programming Languages and Systems, 30(5):1-30, August 2008.
  5. Witnessing Side Effects (Extended Version). T. Terauchi and A. Aiken. Transactions on Programming Languages and Systems, 30(3):1-42, 2008.
  6. Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability. Y. Xie and A. Aiken. Transactions on Programming Languages and Systems, 29(3):1-16, 2007.
  7. Flow-Insensitive Type Qualifiers. J. Foster, J. Kodumal, R. Johnson, and A. Aiken. Transactions on Programming Languages and Systems, 28(6):1035-1087, 2006.
  8. A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. A. Woodruff, C. Olston, A. Aiken, M. Chu, V. Ercegovac, M. Lin, M. Spalding, and M. Stonebraker, Journal of Visual Languages and Computing, 12(5):551-571.
  9. Detecting Races in Relay Ladder Logic Programs. (invited paper) Z. Su, A. Aiken, and M. Fähndrich. Software Tools for Technology Transfer, 3(2000):93-105.
  10. Introduction to Set Constraint-Based Program Analysis. A. Aiken. Science of Computer Programming, 35(1999):79-111, 1999.
  11. Optimal Representations of Polymorphic Types with Subtyping. A. Aiken, E. Wimmers, J. Palsberg. Higher-Order and Symbolic Computation, 12(3), October 1999.
  12. Resource-Constrained Software Pipelining, A. Aiken, A. Nicolau, and S. Novack. IEEE Transactions on Distributed and Parallel Systems, 6(12):1248-1270, December 1995.
  13. Decidability of Systems of Set Constraints with Negative Constraints. A. Aiken, D. Kozen, and E. Wimmers. Information and Computation, 122(1):30-44,October 1995.
  14. Static Analysis Techniques for Predicting the Behavior of Active Database Rules. A. Aiken, J. Widom, and J. M. Hellerstein. ACM Transactions on Database Systems, 20(1):63-84, March 1995.
  15. Safe-A Semantic Technique for Transforming Programs in the Presence of Errors. A. Aiken, J. Williams, and E. Wimmers. ACM Transactions on Programming Languages and Systems, 17(1):63-84, January 1995.
  16. A Theory of Compaction-Based Parallelization. A. Aiken. Theoretical Computer Science, 73(2):121-154, June 1990.
  17. Fine-Grain Compilation for Pipelined Machines. A. Nicolau, K. Pingali, and A. Aiken. Journal of Supercomputing, 2(3):279-295, November 1988.
  18. A Development Environment for Horizontal Microcode (revised). A. Aiken and A. Nicolau. IEEE Transactions on Software Engineering, 14(5): 584-594, May 1988.

Refereed Conference and Workshop Articles

  1. Specification Inference Using Context-Free Language Reachability, O. Bastani, S. Anand and A. Aiken. In Proceedings of the Symposium on Principles of Programming Languages, to appear, January 2015.
  2. Structure Slicing: Extending Logical Regions with Fields. M. Bauer, S. Treichler, E. Slaughter and A. Aiken. In Proceedings of the Conference on Supercomputing, to appear, November 2014.
  3. Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis. Y. Feng, S. Anand, I. Dillig and A. Aiken. Proceedings of the International Symposium on Foundations of Software Engineering. to appear, November 2014.
  4. Realm: An Event-Based Low-Level Runtime for Distributed Memory Architectures. S. Treichler, M. Bauer and A. Aiken. Proceedings of the International Conference on Parallel Architectures and Compilations Techniques. to appear, August 2014.
  5. Verifying Atomicity via Data Independence. O. Shacham, E. Yahav, G. Gueta, A. Aiken, N. Bronson, M. Sagiv and M. Vechev. Proceedings of the International Symposium on Software Testing and Analysis. to appear, July 2014.
  6. From Invariant Checking to Invariant Inference Using Randomized Search. R. Sharma and A. Aiken. Proceedings of the International Conference on Computer Aided Verification. to appear, Juy 2014.
  7. M3: High-Performance Memory Management from Off-the-Shelf Components. D. Terei, A. Aiken and J. Vitek. Proceedings of the International Symposium on Memory Management. to appear, June 2014.
  8. Stochastic Optimization of Floating Point Programs with Tunable Precision. E. Schkufza, E. Sharma and A. Aiken. Proceedings of the Conference on Programming Language Design and Implementation. to appear, June 2014.
  9. First-class Runtime Generation of High-performance Types using Exotypes. Z. DeVito, D. Ritchie, M. Fisher, A. Aiken and P. Hanrahan. Proceedings of the Conference on Programming Language Design and Implementation. to appear, June 2014.
  10. Singe: Leveraging Warp Specialization for High Performance on GPUs. M. Bauer, S. Treichler and A.Aiken. Proceedings of the Symposium on Principles and Practice of Parallel Programming, to appear, February 2014.
  11. Bias-Variance Tradeoffs in Program Analysis. R. Sharma, A. Aiken and A. Nori. Proceedings of the Symposium on Principles of Programming Languages, to appear, January 2014.
  12. Language Support for Dynamic, Hierarchical Data Partitioning. S. Treichler, M. Bauer and A. Aiken. Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 495-514, October 2013.

    (Extended version with proofs)

  13. Data-Driven Equivalence Checking. R. Sharma, E. Schkufza, B. Churchill and A. Aiken. Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 391-406, October 2013.
  14. Crowd-scale Interactive Formal Reasoning and Analytics. E. Fast, C. Lee, A. Aiken, M. Bernstein, D. Koller and E. Smith. In Proceedings of the Symposium on User Interface Software and Technology, pages 363-372, October, 2013.
  15. Verification as Learning Geometric Concepts. R. Sharma, S. Gupta, B. Hariharan, A. Aiken and A. Nori. In Proceedings of the Static Analysis Symposium, pages 388-411, June 2013.
  16. Terra: A Multi-Stage Language for High Performance Computing. Z. DeVito, J. Hegarty, A. Aiken, P. Hanrahan and J. Vitek. In Proceedings of the Conference on Programming Language Design and Implementation, pages 105-116, June 2013.
  17. A Data Driven Approach for Algebraic Loop Invariants. R. Sharma, S. Gupta, B. Hariharan, A. Aiken, P. Liang and A. V. Nori. In Proceedings of the European Symposium on Programming, pages 574-592, March 2013.
  18. Stochastic Superoptimization. E. Schkufza, R. Sharma and A. Aiken. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems, pages 305-316, March 2013.
  19. Legion: Expressing Locality and Independence with Logical Regions. M. Bauer, S. Treichler, E. Slaughter and A. Aiken. In Proceedings of the Conference on Supercomputing, pages 1-11, November 2012.
  20. Understanding the Behavior of Database Operations under Program Control. J. Tamayo, A. Aiken, N. Bronson and M. Sagiv. Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 983-996, October 2012.
  21. Interpolants as Classifiers. R. Sharma, A. Nori and A. Aiken. Proceedings of the International Conference on Computer Aided Verification, pages 71-87, July 2012.
  22. Minimum Satisfying Assignments for SMT. I. Dillig, T. Dillig, K. McMillan and A. Aiken. Proceedings of the International Conference on Computer Aided Verification. pages 394-409, July 2012.
  23. Automated Error Diagnosis Using Abductive Inference. I. Dillig, T. Dillig and A. Aiken. Proceedings of the Conference on Programming Language Design and Implementation, pages 181-192, June 2012.

    ( extended version with proofs)

  24. Concurrent Data Representation Synthesis. P. Hawkins, A. Aiken, K. Fisher, M. Rinard, and M. Sagiv. Proceedings of the Conference on Programming Language Design and Implementation, pages 417-428, June 2012.
  25. Reasoning About Lock Placements. P. Hawkins, A. Aiken, K. Fisher, M. Rinard, and M. Sagiv. Proceedings of the European Symposium on Programming, pages 336-356, March 2012.
  26. Liszt: A Domain Specific Language for Building Portable Mesh-based PDE Solvers. Z. DeVito, N. Joubert, F. Palacios, S. Oakley, M. Medina, M. Barrientos, E. Elsen, F. Ham, A. Aiken, K. Duraisamy, E. Darve, J. Alonso, P. Hanrahan. In Proceedings of the Conference on Supercomputing, pages 9:1-9:12, November 2011.
  27. Testing Atomicity of Composed Concurrent Operations. O. Shacham, N. Bronson, A. Aiken, M. Sagiv, M. Vechev, and E. Yahav. Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 51-64, October 2011.
  28. Automatic Fine-Grain Locking Using Shape Properties. G. Golan-Gueta, N. Bronson, A. Aiken, G. Ramalingam, M. Sagiv, E. Yahav. Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 225-242, October 2011.
  29. Inferring Data Polymorphism in Systems Code. B. Hackett and A. Aiken. Proceedings of the Symposium on Foundations of Software Engineering, pages 332-342, September 2011.
  30. Simplifying Loop Invariant Generation Using Splitter Predicates. [Full Paper] R. Sharma, I. Dillig, T. Dillig, and A. Aiken. Proceedings of the International Conference on Computer Aided Verification. pages 703-719, July 2011.
  31. Online Detection of Multi-Component Interactions in Production Systems. A. Oliner and A. Aiken. Proceedings of the International Conference on Dependable Systems and Networks, pages 49-60, June 2011.
  32. Data Representation Synthesis. P. Hawkins, A. Aiken, K. Fisher, and M. Sagiv. Proceedings of the Conference on Programming Language Design and Implementation, pages 38-49, June 2011.
  33. Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs. I. Dillig, T. Dillig, A. Aiken, and M. Sagiv. Proceedings of the Conference on Programming Language Design and Implementation. pages 567-577, June 2011.
  34. Programming the Memory Hierarchy Revisited: Supporting Irregular Parallelism in Sequoia. M. Bauer, J. Clark, E. Schkufza, and A. Aiken. Proceedings of the Symposium on Principles and Practice of Parallel Programming, pages 13-24, February 2011.
  35. Precise Reasoning for Programs Using Containers. I. Dillig, T. Dillig, and A. Aiken. Proceedings of the Symposium on Principles of Programming Languages, pages 187-200, January 2011.
  36. Data Structure Fusion. P. Hawkins, A. Aiken, K. Fisher, M.Rinard, and M. Sagiv. Proceedings of the Asian Symposium on Programming Languages and Systems, pages 204-221, November 2010.
  37. Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants. I. Dillig, T. Dillig and A. Aiken. Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 397-410, October 2010.
  38. Community Epidemic Detection using Time-Correlated Anomalies. A. Oliner, A. v. Kulkarni and A. Aiken. Proceedings of the International Symposium on Recent Advances in Intrusion Detection, pages 360-381, September 2010.
  39. Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis. I. Dillig, T. Dillig and A. Aiken. Proceedings of the International Static Analysis Symposium, pages 236-252, September 2010.
  40. A Query Language for Understanding Component Interactions in Production Systems. A. Oliner and A. Aiken. Proceedings of the International Conference on Supercomputing, pages 201-210, June 2010.
  41. Using Correlated Surprise to Infer Shared Influence. A. Oliner, A. V. Kulkarni and A. Aiken. Proceedings of the International Conference on Dependable Systems and Networks, pages 191-200, June 2010.
  42. Fluid Updates: Beyond Strong vs. Weak Updates. I. Dillig, T. Dillig and A. Aiken. Proceedings of the European Symposium on Programming, pages 246-266, March 2010.
  43. Expanding the Frontiers of Computer Science: Designing a Curriculum to Reflect a Diverse Field. M. Sahami, A. Aiken, and J. Zelenski. Proceedings of the Symposium on Computer Science Education, pages 47-51, March 2010.
  44. Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. I. Dillig, T. Dillig, and A. Aiken. Proceedings of the International Conference on Computer Aided Verification, pages 233-247, June 2009.
  45. Alert Detection in System Logs (short paper). A. Oliner, J. Stearley, and A. Aiken. Proceedings of the International Conference on Data Mining, pages 959-964, December 2008.
  46. Binary Translation Using Peephole Superoptimizers. S. Bansal and A. Aiken. Proceedings of the Symposium on Operating System Design and Implementation, pages 177-192, December 2008.
  47. A Tuning Framework for Software-Managed Memory Hierarchies. M. Ren, M. Houston, J.-Y. Park, W. Dally, and A. Aiken. Proceedings of the Conference on Parallel Architectures and Compilation Techniques, pages 280-291, October 2008.
  48. Sound, Complete and Scalable Path-Sensitive Analysis. I. Dillig, T. Dillig, and A. Aiken. Proceedings of the Conference on Programming Language Design and Implementation, pages 270-280, June 2008.
  49. Verifying the Safety of User Pointer Dereferences. S. Bugrara and A. Aiken. Proceedings of the IEEE Symposium on Security and Privacy, pages 325-338, May 2008.
  50. A Portable Runtime Interface For Multi-Level Memory Hierarchies. M. Houston, J.-Y. Park, M. Ren, T. Knight, K. Fatahalian, A. Aiken, W. Dally, and P. Hanrahan. Proceedings of the Symposium on Principles and Practice of Parallel Programming, pages 143-152, February 2008.
  51. Measuring Empirical Computational Complexity. S. Goldsmith, A. Aiken, and D. Wilkerson. Proceedings of the Symposium on Foundations of Software Engineering, pages 395-404, September 2007.

  52. An Overview of the Saturn Project. A. Aiken, S. Bugrara, I. Dillig, T. Dillig, P. Hawkins and B. Hackett. Proceedings of the Workshop on Program Analysis for Software Tools and Engineering, pages 43-48, June 2007.

  53. Static Error Detection Using Semantic Inconsistency Inference. I. Dillig, T. Dillig, and A. Aiken. Proceedings of the Conference on Programming Language Design and Implementation, pages 435-446, June 2007.

  54. Regularly Annotated Set Constraints. J. Kodumal and A. Aiken. Proceedings of the Conference on Programming Language Design and Implementation, pages 331-341, June 2007.

  55. Compilation for Explicitly Managed Memory Hierarchies. T. Knight, J. Park, M. Ren, M. Houston, M. Erez, K. Fatahalian, A. Aiken, W. Dally, P. Hanrahan. Proceedings of the Symposium on Principles and Practice of Parallel Programming, pages 226-236, March 2007.

  56. Conditional Must Not Aliasing for Static Race Detection. M. Naik and A. Aiken. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, pages 327-338, January 2007.

  57. How is Aliasing Used in Systems Software? B. Hackett and A. Aiken. In Proceedings of the International Symposium on Foundations of Software Engineering, pages 69-80, November 2006.

  58. Sequoia: Programming the Memory Hierarchy. K. Fatahalian, T. Knight, M. Houston, M. Erez, D. Horn, L. Leem, H. Park, M. Ren, A. Aiken, W. Dally and P. Hanrahan. In Proceedings of the Conference on Supercomputing, November 2006.

  59. Automatic Generation of Peephole Superoptimizers. S. Bansal and A. Aiken. In Proceedings of the Conference on Architectural Support for Programming Languages and Operating Systems, pages 394-403, October 2006.

  60. A Capability Calculus for Concurrency and Determinism. T. Terauchi and A. Aiken. In Proceedings of the International Conference on Concurrency Theory, pages 218-232, August 2006.

  61. On Typability for Rank-2 Intersection Types with Polymorphic Recursion. T. Terauchi and A. Aiken. In Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, pages 111-122, August 2006.

  62. Statistical Debugging: Simultaneous Identification of Multiple Bugs. A. Zheng M. Jordan, B. Liblit, M. Naik and A. Aiken. In Proceedings of the International Conference on Machine Learning, pages 1105-1112, June 2006.

  63. Static Detection of Security Vulnerabilities in Scripting Languages. Y. Xie and A. Aiken. In Proceedings of the 15th USENIX Security Symposium, pages 179-192, July 2006.

  64. Effective Static Race Detection for Java. M. Naik, A. Aiken, and J. Whaley. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 308-319, June 2006.

  65. Witnessing Side-Effects. T. Terauchi and A. Aiken. In Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming. pages 105-115, September 2005.

  66. Context- and Path-Sensitive Memory Leak Detection. (distinguished paper award) Y. Xie and A. Aiken. In Proceedings of the 5th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 115-125, September 2005.
  67. Banshee: A Scalable Constraint-Based Analysis Toolkit. J. Kodumal and A. Aiken. In Proceedings of the 12th International Static Analysis Symposium, pages 218-234, September 2005.
  68. Secure Information Flow as a Safety Problem. T. Terauchi and A. Aiken. In Proceedings of the 12th International Static Analysis Symposium, pages 352-367, September 2005.
  69. Relational Queries Over Program Traces. S. Goldsmith, R. O'Callahan, and A. Aiken. In Proceedings of the 2005 Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 385-402, October 2005.
  70. Saturn: A SAT-Based Tool for Bug Detection. Y. Xie and A. Aiken. In Proceedings of the 17th International Conference on Computer Aided Verification, pages 139-143, July 2005.
  71. Soundness and its Role in Bug Detection Systems (position paper). Y. Xie, M. Naik, B. Hackett, and A. Aiken. In Proceedings of the Workshop on the Evaluation of Software Defect Detection Tools, June 2005.
  72. Scalable Statistical Bug Isolation. B. Liblit, M. Naik, A. Zheng, A. Aiken and M. I. Jordan. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 15-26, June 2005.
  73. Scalable Error Detection using Boolean Satisfiability. Y. Xie and A. Aiken. Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages, p. 351-363, January 2005.
  74. The Set Constraint/CFL Reachability Connection in Practice. J. Kodumal and A. Aiken. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 207-218, June 2004.
  75. Public Deployment of Cooperative Bug Isolation. B. Liblit, M. Naik, A. Zheng, A. Aiken, and M. I. Jordan. In Proceedings of the Second International Workshop on Remote Analysis and Measurement of Software Systems (RAMSS), pages 57-62, May 2004.
  76. Statistical Debugging of Sampled Programs. A. Zheng, M. I. Jordan, B. Liblit, and A. Aiken. Advances in Neural Information Processing Systems 16 (NIPS), 2004.
  77. Type Systems for Distributed Data Sharing. B. Liblit, A. Aiken, and K. Yelick. Proceedings of the 2003 Static Analysis Symposium, pages 273-294, June 2003.
  78. Sampling User Executions for Bug Isolation. B. Liblit, A. Aiken, A. Zheng, and M. I. Jordan. In Proceedings of the First International Workshop on Remote Analysis and Measurement of Software Systems (RAMSS), pages 5-8, May 2003.
  79. Bug Isolation via Remote Program Sampling. B. Liblit, A. Aiken, A. Zheng, and M. I. Jordan. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 141-154, June 2003.
  80. Checking and Inferring Local Non-Aliasing. A. Aiken, J. Foster, J. Kodumal, and T. Terauchi. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 129-140, June 2003.
  81. Winnowing: Local Algorithms for Document Fingerprinting. S. Schleimer, D. Wilkerson, and A. Aiken. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 76-85, June 2003.
  82. Flow-Sensitive Type Qualifiers. J. Foster, T. Terauchi, and A. Aiken. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 1-12, June 2002.
  83. First-Order Theory of Subtyping Constraints. Z. Su, A. Aiken, J. Niehren, T. Priesnitz, and R. Trienen. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 203-216, January 2002.
  84. Language Support for Regions. D. Gay and A. Aiken. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 70-80, June 2001.
  85. Entailment with Conditional Equality Constraints, Z. Su and A. Aiken. In Proceedings of the European Symposium on Programming, pages 170-189, April 2001.
  86. Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. J. Foster, M. Fähndrich, and A. Aiken. In Proceedings of the 2000 Static Analysis Symposium, pages 175-198, June 2000.
  87. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. D. Wagner, J. Foster, E. Brewer, and A. Aiken. In Proceedings of the 2000 Network and Distributed Systems Security Conference, pages 3-17, February 2000.
  88. Type Systems for Distributed Data Structures. B. Liblit and A. Aiken. Proceedings of the ACM Symposium on Principles of Programming Languages, pages 199-213, January 2000.
  89. Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. M. Fähndrich, Z. Su, and A. Aiken. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 81-95, January 2000.
  90. A Theory of Type Qualifiers. J. Foster, M. Fähndrich, and A. Aiken. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 192-203, Atlanta, Georgia, June 1999.
  91. Partial Online Cycle Elimination in Inclusion Constraint Graphs. M. Fähndrich, J. Foster, Z. Su, and A. Aiken. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 85-96, June 1998.
  92. Memory Management with Explicit Regions. D. Gay and A. Aiken. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 313-323, June 1998.
  93. Detecting Races in Relay Ladder Logic Programs. (best paper award) A. Aiken, M. Fähndrich, and Z. Su. In Proceedings of the 1st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 184-200, April 1998.
  94. A Toolkit for Constructing Type- and Constraint-Based Program Analyses (invited paper). A. Aiken, M. Fähndrich, J. Foster, and Z. Su. In Proceedings of the 2nd International Workshop on Types in Compilation, LNCS #1473, pages 76-96, March 1998.
  95. Titanium: A High-Performance Java Dialect. K. Yelick, L. Semenzato, G. Pike, C. Miyamoto, B. Liblit, A. Krishnamurthy, P. Hilfinger, S. Graham, D. Gay, P. Colella, and A. Aiken. In Proceedings of the 1998 ACM Workshop on Java for High Performance Computing,, pages 1-13, February, 1998.
  96. Attack Resistant Trust Metrics for Public Key Certification. R. Levien and A. Aiken. In Proceedings of the 7th USENIX Security Symposium, pages 229-241, January, 1998.
  97. Barrier Inference. D. Gay and A. Aiken. In Proceedings of the Twenty-Fifth Annual ACM Sigplan Symposium on Principles of Programming Languages, pages 342-354, January, 1998.
  98. Program Analysis Using Mixed Term and Set Constraints. M. Fähndrich and A. Aiken. In Proceedings of the 4th International Static Analysis Symposium, pages 114-126, September, 1997.
  99. Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). A. Aiken, E. Wimmers, and J. Palsberg. Theoretical Aspects of Computer Software (TACS), September, 1997.
  100. Refined Type Inference for ML. M. Fähndrich and A. Aiken. In Proceedings of the 1st Workshop on Types in Compilation, June 1997.
  101. Making Set-Constraint Program Analyses Scale. M. Fähndrich and A. Aiken. The CP'96 Workshop on Set Constraints, August, 1996. Available as UC Berkeley Computer Science Technical Report UCB//CSD-96-917.
  102. Tioga-2: A Direct Manipulation Database Visualization Environment. A. Aiken, J. Chen, M. Stonebraker, and A. Woodruff. Proceedings of the 12th International Conference on Data Engineering, pages 208-217, February, 1996.
  103. The Tioga-2 Database Visualization Environment. A. Aiken, J. Chen, M. Lin, M. Spalding, M. Stonebraker, and A. Woodruff. In Wierse, Grinstein and Lang (Eds.), Database Issues for DataVisualization, IEEE Visualization '95 Workshop, October 1995 (LNCS v. 1183).
  104. Dynamic Typing vs. Subtype Inference. A. Aiken and M. Fähndrich. In Proceedings of the Eighth Conference on Functional Programming and Computer Architecture, pages 182-191, June 1995.
  105. Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages. A. Aiken, M. Fähndrich, and R. Levien. In Proceedings of the  SIGPLAN Conference on Programming Language Design and Implementation, pages 174-185, June 1995. Also available as Berkeley CS Report CSD-95-866. < /li>

  106. Navigation and Coordination Primitives for Multidimensional Browsers. A. Woodruff, A. Su, M. Stonebraker, C. Paxson, J. Chen, A. Aiken, P. Wisnovsky, and C. Taylor. In Stefano Spaccapietra and Ramesh Jain (Eds.), Visual Database Systems 3: Visual Information Management (Proceedings of the 3rd IFIP 2.6 Working Conference on Visual Database Systems), pages 360-371, March 1995, Chapman & Hall.
  107. Zooming and Tunneling in Tioga: Supporting Navigation in Multidimensional Space. A. Woodruff, P. Wisnovsky, C. Taylor, M. Stonebraker, C. Paxson, J. Chen, and A. Aiken. In Proceedings of the IEEE Symposium on Visual Languages, pages 191-193, October 1994.
  108. Directional Type Checking of Logic Programs. A. Aiken and T. K. Lakshman. In Proceedings of the 1st International Static Analysis Symposium, pages 43-64, September 1994.
  109. Using the Run-Time Sizes of Data Structures to Guide Parallel Thread Creation. L. Huelsbergen, J. Larus, and A. Aiken. In Proceedings of the 1994 Symposium on Lisp and Functional Programming, pages 79-90, June 1994.
  110. Set Constraints: Results, Applications, and Future Directions. A. Aiken. In Proceedings of the Second Workshop on the Principles and Practice of Constraint Programming, pages 326-335, May 1994.
  111. Soft Typing with Conditional Types. A. Aiken, E. Wimmers, and T.K. Lakshman. In Proceedings of the Twenty-First Annual ACM Symposium on Principles of Programming Languages, pages 163-173, January 1994.
  112. The Complexity of Set Constraints. A. Aiken, D. Kozen, M. Vardi, and E. Wimmers. In Proceedings of Computer Science Logic 1993, pages 1-17, September 1993.
  113. Type Inclusion Constraints and Type Inference. A. Aiken and E. Wimmers. In Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture, pages 31-41, June 1993.
  114. Solving Systems of Set Constraints. A. Aiken and E. Wimmers. In Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pages 329-340, June 1992.
  115. Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. A. Aiken, J. Widom, and J. M. Hellerstein. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 59-68, June 1992.
  116. Implementing Regular Tree Expressions. A. Aiken and B. Murphy. In Proceedings of the Fifth ACM Conference on Functional Programming and Computer Architecture, Lecture Notes in Computer Science 523, pages 427-447, August 1991.
  117. Static Type Inference in a Dynamically Typed Language. A. Aiken and B. Murphy. In Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, pages 279-290, January 1991.
  118. Program Transformation in the Presence of Errors. A. Aiken, J. Williams, and E. Wimmers. In Proceedings of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 210-217, January 1990.
  119. Optimal Loop Parallelization. A. Aiken and A. Nicolau. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 308-317, June 1988.
  120. Perfect Pipelining: A New Loop Parallelization Technique. A. Aiken and A. Nicolau. In Proceedings of the 1988 European Symposium on Programming, Lecture Notes in Computer Science 300, pages 221-235, March 1988.
  121. A Development Environment for Horizontal Microcode. A. Aiken and A. Nicolau. In Proceedings of the Nineteenth Annual Workshop on Microprogramming, pages 23-31, October 1986.

Unrefereed Publications

  1. Advice for Program Chairs. A. Aiken. ACM Sigplan Notices 46(4), pages 19-25, April 2011.
  2. Cool: A Portable Project for Teaching Compiler Construction. A. Aiken. ACM Sigplan Notices 31(7), pages 19-26, July 1996.

Technical Reports Not Published Elsewhere

  1. The Sequoia++ User Manual. M. Bauer, J. Clark, E. Schkufza, and A. Aiken Stanford University Computer Science Technical Report, May 2010.
  2. Chord: A Static Analysis Framework for Java. M. Naik and A. Aiken. Stanford University Computer Science Technical Report, February 2008.
  3. The Saturn Program Analysis System. A. Aiken, S. Bugrara, I. Dillig, T. Dillig, B. Hackett, and P. Hawkins. Stanford University Computer Science Technical Report, December 2006.
  4. Building a Better Backtrace: Techniques for Postmortem Program Analysis. B. Liblit and A. Aiken. UC Berkeley Computer Science Technical Report CSD-02-1203, October 2002.
  5. Tracking Down Exceptions in Standard ML Programs. M. Fähndrich, J. Foster, A. Aiken, and J. Cu. UC Berkeley Computer Science Technical Report CSD-98-996, February 1998.
  6. FL Language Manual: Parts 1 and 2. J. Backus, J. Williams, E. Wimmers, P. Lucas, and A. Aiken. IBM Research Report RJ 7100, IBM Almaden Research Center, San Jose, California, October 1989.
  7. The FL Project: The Design of a Functional Language. A. Aiken, J. Williams, and E. Wimmers. September, 1993.

  8. Compaction-Based Parallelization (Ph.D. thesis). A. Aiken. Technical Report 88-922, Computer Science Department, Cornell University, August 1988.
  9. Loop Quantization: An Analysis and Algorithm A. Aiken and A. Nicolau. Technical Report 87-821, Computer Science Department, Cornell University, March 1987.