СТ |
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C |
2000 |
Foster J. S., Fahndrich M., Aiken A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.2000 |
СТ |
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs |
2000 |
Su Z., Fahndrich M., Aiken A. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
СТ |
Type Systems for Distributed Data Structures |
2000 |
Liblit B., Aiken A. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
СТ |
A Theory of Type Qualifiers |
1999 |
Foster J. S., Fahndrich M., Aiken A. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
СТ |
A Toolkit for Constructing Type- and Constraint-Based Program Analyses |
1998 |
Aiken A., Fahndrich M., Foster J. S., Su Z. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
СТ |
Memory Management with Explicit Regions |
1998 |
Gay D., Aiken A. |
|
|
|
SIGPLAN Notices |
16.09.1998 |
СТ |
Optimal Representations of Polymorphic Types with Subtyping |
1997 |
Aiken A., Wimmers E. L., Palsberg J. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
СТ |
Soft Typing with Conditional Types |
1994 |
Aiken A., Wimmers E. L., Lakshman T. K. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
СТ |
Cool: A Portable Project for Teaching Compiler Construction |
1996 |
Aiken A. |
|
|
|
SIGPLAN Notices |
11.12.1996 |
СТ |
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages |
1995 |
Aiken A., Fahndrich M., Levien R. |
|
|
|
ACM SIGPLAN Notices |
13.09.1995 |
СТ |
Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation |
1994 |
Huelsbergen L., Larus J. R., Aiken A. |
|
|
|
LISP Pointers |
13.01.1995 |
СТ |
Set Constraints: Results, Applications and Future Directions |
1994 |
Aiken A. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
Directional Type Checking of Logic Programs |
1994 |
Aiken A., Lakshman T. K. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
СТ |
The Complexity of Set Constraints |
1994 |
Aiken A., Kozen D., Vardi M., Wimmers E. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
СТ |
Fine-grain Parallelization and the Wavefront Method |
1990 |
Aiken A., Nicolau A. |
|
|
|
Languages and Compilers for Parallel Computing |
22.10.1992 |
СТ |
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism |
1992 |
Aiken A., Widom J., Hellerstein J. M. |
|
|
|
SIGMOD Record |
13.08.1992 |