 | 
| |
Online DBLP entries are available for Alexander Aiken and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
-
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
-
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,
Dexter
Kozen,
Edward
L. Wimmers: Decidability of Systems of Set Constraints with Negative
Constraints.
Information
and Computation 122(1): 30-44 (1995)
-
Alexander Aiken,
Joseph
M. Hellerstein,
Jennifer
Widom: Static Analysis Techniques for Predicting the Behavior of Active
Database Rules.
TODS
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.
TOPLAS
17(1): 63-84 (1995)
-
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: 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.
TCS
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.
TSE
14(5): 584-594 (1988)
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
