| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Alexander Aiken Alexander Aiken, Jeffrey S. Foster , John Kodumal , Tachio Terauchi : Checking and inferring local non-aliasing. PLDI 2003 : 129-140 Ben Liblit , Alexander Aiken, Alice X. Zheng , Michael I. Jordan : Bug isolation via remote program sampling. PLDI 2003 : 141-154 Ben Liblit , Alexander Aiken, Katherine A. Yelick : Type Systems for Distributed Data Sharing. SAS 2003 : 273-294 Saul Schleimer , Daniel Shawcross Wilkerson , Alexander Aiken: Winnowing: Local Algorithms for Document Fingerprinting. SIGMOD Conference 2003 : 76-85 Jeffrey S. Foster , Tachio Terauchi , Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002 : 1-12 Zhendong Su , Alexander Aiken, Joachim Niehren , Tim Priesnitz , Ralf Treinen : The first-order theory of subtyping constraints. POPL 2002 : 203-216 Zhendong Su , Alexander Aiken: Entailment with Conditional Equality Constraints. ESOP 2001 : 170-189 David Gay , Alexander Aiken: Language Support for Regions. PLDI 2001 : 70-80 Allison Woodruff , Chris Olston , Alexander Aiken, Michael Chu , Vuk Ercegovac , Mark Lin , Mybrid Spalding , Michael Stonebraker : DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data. J. Vis. Lang. Comput. 12 (5): 551-571 (2001) Ben Liblit , Alexander Aiken: Type Systems for Distributed Data Structures. POPL 2000 : 199-213 Zhendong Su , Manuel Fähndrich , Alexander Aiken: Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000 : 81-95 Jeffrey S. Foster , Manuel Fähndrich , Alexander Aiken: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000 : 175-198 Alexander Aiken, Manuel Fähndrich , Zhendong Su : Detecting races in Relay Ladder Logic programs. STTT 3 (1): 93-105 (2000) Jeffrey S. Foster , Manuel Fähndrich , Alexander Aiken: A Theory of Type Qualifiers. PLDI 1999 : 192-203 Arvind Krishnamurthy , Alexander Aiken, Phillip Colella , David Gay , Susan L. Graham , Paul N. Hilfinger , Ben Liblit , Carleton Miyamoto , Geoff Pike , Luigi Semenzato , Katherine A. Yelick : Titanium: A High Performance Java Dialect. PPSC 1999 Alexander Aiken, Edward L. Wimmers , Jens Palsberg : Optimal Representations of Polymorphic Types with Subtyping. Higher-Order and Symbolic Computation 12 (3): 237-282 (1999) Alexander Aiken: Introduction to Set Constraint-Based Program Analysis. Sci. Comput. Program. 35 (2): 79-111 (1999) David Gay , Alexander Aiken: Memory Management with Explicit Regions. PLDI 1998 : 313-323 Manuel Fähndrich , Jeffrey S. Foster , Zhendong Su , Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998 : 85-96 Alexander Aiken, David Gay : Barrier Inference. POPL 1998 : 342-354 Chris Olston , Allison Woodruff , Alexander Aiken, Michael Chu , Vuk Ercegovac , Mark Lin , Mybrid Spalding , Michael Stonebraker : DataSplash. SIGMOD Conference 1998 : 550-552 Alexander Aiken, Manuel Fähndrich , Zhendong Su : Detecting Races in Relay Ladder Logic Programs. TACAS 1998 : 184-200 Alexander Aiken, Manuel Fähndrich , Jeffrey S. Foster , Zhendong Su : A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998 : 78-96 Chris Olston , Michael Stonebraker , Alexander Aiken, Joseph M. Hellerstein : VIQING: Visual Interactive Querying. VL 1998 : 162-169 Katherine A. Yelick , Luigi Semenzato , Geoff Pike , Carleton Miyamoto , Ben Liblit , Arvind Krishnamurthy , Paul N. Hilfinger , Susan L. Graham , David Gay , Phillip Colella , Alexander Aiken: Titanium: A High-performance Java Dialect. Concurrency - Practice and Experience 10 (11-13): 825-836 (1998) Manuel Fähndrich , Alexander Aiken: Program Analysis Using Mixed Term and Set Constraints. SAS 1997 : 114-126 Alexander Aiken, Edward L. Wimmers , Jens Palsberg : Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract). TACS 1997 : 47-76 Alexander Aiken, Jolly Chen , Michael Stonebraker , Allison Woodruff : Tioga-2: A Direct Manipulation Database Visualization Environment. ICDE 1996 : 208-217 Alexander Aiken: Constraint-Based Program Analysis (Abstract). SAS 1996 : 1 Alexander Aiken: Cool: A Portable Project for Teaching Compiler Construction. SIGPLAN Notices 31 (7): 19-24 (1996) Alexander Aiken, Manuel Fähndrich : Dynamic Typing and Subtype Inference. FPCA 1995 : 182-191 Alexander Aiken, Manuel Fähndrich , Raph Levien : Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI 1995 : 174-185 Allison Woodruff , Alan Su , Michael Stonebraker , Caroline Paxson , Jolly Chen , Alexander Aiken, Peter Wisnovsky , Cimarron Taylor : Navigation and Coordination Primitives for Multidimensional Visual Browsers. VDB 1995 : 360-371 Alexander Aiken, Jolly Chen , Mark Lin , Mybrid Spalding , Michael Stonebraker , Allison Woodruff : The Tioga-2 Database Visualization Environment. Workshop on Database Issues for Data Visualization 1995 : 181-207 Alexander Aiken, Joseph M. Hellerstein , Jennifer Widom : Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Trans. Database Syst. 20 (1): 3-41 (1995) Alexander Aiken, John H. Williams , Edward L. Wimmers : Safe: A Semantic Technique for Transforming Programs in the Presence of Errors. ACM Trans. Program. Lang. Syst. 17 (1): 63-84 (1995) Alexander Aiken, Alexandru Nicolau , Steven Novack : Resource-Constrained Software Pipelining. IEEE Trans. Parallel Distrib. Syst. 6 (12): 1248-1270 (1995) Alexander Aiken, Dexter Kozen , Edward L. Wimmers : Decidability of Systems of Set Constraints with Negative Constraints Inf. Comput. 122 (1): 30-44 (1995) Lorenz Huelsbergen , James R. Larus , Alexander Aiken: Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation. LISP and Functional Programming 1994 : 79-90 Alexander Aiken, Edward L. Wimmers , T. K. Lakshman : Soft Typing with Conditional Types. POPL 1994 : 163-173 Alexander Aiken: Set Constraints: Results, Applications, and Future Directions. PPCP 1994 : 326-335 Alexander Aiken, T. K. Lakshman : Directional Type Checking of Logic Programs SAS 1994 : 43-60 Allison Woodruff , Peter Wisnovsky , Cimarron Taylor , Michael Stonebraker , Caroline Paxson , Jolly Chen , Alexander Aiken: Zooming and Tunneling in Tioga: Supporting Navigation in Multimedia Space. VL 1994 : 191-193 Alexander Aiken, Dexter Kozen , Moshe Y. Vardi , Edward L. Wimmers : The Complexity of Set Constraints. CSL 1993 : 1-17 Alexander Aiken, Edward L. Wimmers : Type Inclusion Constraints and Type Inference. FPCA 1993 : 31-41 Alexander Aiken, Edward L. Wimmers : Solving Systems of Set Constraints (Extended Abstract) LICS 1992 : 329-340 Alexander Aiken, Jennifer Widom , Joseph M. Hellerstein : Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. SIGMOD Conference 1992 : 59-68 Alexander Aiken, Brian R. Murphy : Implementing Regular Tree Expressions. FPCA 1991 : 427-447 Alexander Aiken, Brian R. Murphy : Static Type Inference in a Dynamically Typed Language. POPL 1991 : 279-290 Alexander Aiken, John H. Williams , Edward L. Wimmers : Program Transformation in the Presence of Errors. POPL 1990 : 210-217 Alexander Aiken: A Theory of Compaction-Based Parallelization. Theor. Comput. Sci. 73 (2): 121-154 (1990) Alexander Aiken, Alexandru Nicolau : Perfect Pipelining: A New Loop Parallelization Technique. ESOP 1988 : 221-235 Alexander Aiken, Alexandru Nicolau : Optimal Loop Parallelization. PLDI 1988 : 308-317 Alexander Aiken, Alexandru Nicolau : A Development Environment for Horizontal Microcode. IEEE Trans. Software Eng. 14 (5): 584-594 (1988) 1 [ 12 ] [ 21 ] [ 22 ] [ 27 ] 2 [ 34 ] [ 46 ] 3 [ 30 ] [ 40 ] 4 [ 34 ] [ 46 ] 5 [ 23 ] [ 24 ] [ 29 ] [ 32 ] [ 33 ] [ 36 ] [ 41 ] [ 42 ] [ 43 ] [ 44 ] 6 [ 32 ] [ 36 ] [ 41 ] [ 43 ] [ 50 ] [ 54 ] 7 [ 30 ] [ 35 ] [ 37 ] [ 40 ] [ 47 ] 8 [ 30 ] [ 40 ] 9 [ 8 ] [ 20 ] [ 31 ] 10 [ 30 ] [ 40 ] 11 [ 16 ] 12 [ 53 ] 13 [ 54 ] 14 [ 11 ] [ 17 ] 15 [ 30 ] [ 40 ] 16 [ 13 ] [ 15 ] 17 [ 16 ] 18 [ 23 ] 19 [ 30 ] [ 40 ] [ 45 ] [ 52 ] [ 53 ] 20 [ 21 ] [ 34 ] [ 46 ] 21 [ 30 ] [ 40 ] 22 [ 6 ] [ 7 ] 23 [ 1 ] [ 2 ] [ 3 ] [ 18 ] 24 [ 49 ] 25 [ 18 ] 26 [ 31 ] [ 34 ] [ 46 ] 27 [ 28 ] [ 39 ] 28 [ 12 ] [ 22 ] 29 [ 30 ] [ 40 ] 30 [ 49 ] 31 [ 51 ] 32 [ 30 ] [ 40 ] 33 [ 21 ] [ 34 ] [ 46 ] 34 [ 12 ] [ 21 ] [ 22 ] [ 27 ] [ 31 ] [ 34 ] [ 46 ] 35 [ 22 ] 36 [ 32 ] [ 33 ] [ 36 ] [ 42 ] [ 44 ] [ 48 ] [ 49 ] 37 [ 12 ] [ 22 ] 38 [ 50 ] [ 54 ] 39 [ 49 ] 40 [ 11 ] 41 [ 8 ] [ 20 ] 42 [ 51 ] 43 [ 5 ] [ 19 ] 44 [ 5 ] [ 9 ] [ 10 ] [ 11 ] [ 15 ] [ 17 ] [ 19 ] [ 28 ] [ 39 ] 45 [ 12 ] [ 22 ] 46 [ 12 ] [ 21 ] [ 22 ] [ 27 ] [ 34 ] [ 46 ] 47 [ 30 ] [ 40 ] [ 52 ] 48 [ 53 ]  ©2004 Association for Computing Machinery |
