CS264 References

This is a list of the papers from cs264, Spring 1995, taught by Prof. Alex Aiken. As the readings for the Fall semester are chosen, they will be added to this list, along with links to e-versions of the papers (in one form or another).

AFL95

Alexander Aiken, Manuel Faehndrich and Raph Levien. Better static memory management: improving region-based analysis of higher-order languages. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 1995, La Jolla, CA. June 1995.

AJ89

A. Appel and T. Jim. Continuation-passing, closure-passing style. In Sixteenth Annual ACM Symposium on Principles of Programming Languages, pages 293-302, jan 1989.

AN88

A. Aiken and A. Nicolau. Optimal loop parallelization. In Proceedings of the 1988 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 308-317, June 1988.

App87

A. Appel. Garbage collection can be faster than stack allocation. Information Processing Letters, 25(4):275-279, June 1987.

App89

A. Appel. Simple generational garbage collection and stack allocation. Software-Practice and Experience, 19(2):171-183, February 1989.

Boy95a

John Tang Boyland. Remote Attribution. Submitted to Compiler Construction '96. DRAFT: DO NOT DISTRIBUTE.

Boy95b

John Tang Boyland. Conditional Attribute Grammars. Submitted to TOPLAS. DRAFT: DO NOT DISTRIBUTE.

CL83

Robert P. Cook and Thomas J. LeBlanc. A symbol table abstraction to implement languages with explicit scope control. IEEE Transactions on Software Engineering, Vol. SE-9, No. 1, January 1983.

ASU86

A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.

BM85

M. Baudinet and D. MacQueen. Tree pattern matching for ML. December 1985.

BW88

H.-J. Boehm and M. Weiser. Garbage collection in an uncooperative environment. Software-Practice and Experience, 18(9):807-820, September 1988.

BF87

Michael G. Burke and Gerald A. Fisher. A practical method for LR and LL syntactic error diagnosis and recovery. ACM Transactions on Programming Languages and Systems, Vol. 9, No. 2, April 1987, pages 164-197.

CDG+93

David E. Culler, Andrea Dusseau, Seth Copen Goldstein, Arvind Krishnamurthy, Steven Lumetta, Thorsten von Eicken, and Katherine Yelick. Parallel programming in Split-C. In Supercomputing '93, pages 262-273, Portland, Oregon, November 1993.

DCG94

J. Dean, C. Chambers, and D. Grove. Identifying profitable specialization in object-oriented languages. In Worshop on Partial Evaluation and Semantics-Based Program Manipulation, June 1994.

DM82

L. Damas and R. Milner. Principle type-schemes for functional programs. In Ninth Annual ACM Symposium on Principles of Programming Languages, pages 207-212, January 1982.

Far88

C. Farnum. Compiler Support for Floating-point Computation. Software-Practice and Experience, 18:701-709, 1988.

Fis84

J. Fisher. The VLIW Machine: A Multiprocessor for Compiling Scientific Code. IEEE Computer, 1984.

FERN84

J. Fisher, J. Ellis, J. Ruttenberg, and A. Nicolau. Parallel Processing: A Smart Compiler and a Dumb Machine. Proceedings of the SIGPLAN '84 Symposium on Compiler Construction,\ 37-47, 1984.

Flex

The flex manual.

GHJ79

S. L. Graham, C. B. Haley, and W. N. Joy. Practical LR error recovery. In Proceedings of the SIGPLAN '79 Symposium on Compiler Construction, August 1979.

GJR79

S. L. Graham, W. N. Joy and O. Roubine. Hashed symbol tables for languages with explicit scope control. ACM SIGPLAN Symposium on Compiler Construction, August 1979.

Harper

R. Harper. Introduction to Standard ML.

Hen92

F. Henglein. Global tagging optimization by type inference. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, pages 205-215, July 1992.

JG82

Fahimeh Jalili and Jean H. Gallier. Building friendly parsers. Conference Record of the Ninth Annual ACM Symposium in Principles of Programming Languages (POPL), January 1982.

Mad95

Bill Maddox. High-level efficient incremental attribution. Submitted to PLDI '96. DRAFT -- DO NOT DISTRIBUTE.

Myc80

A. Mycroft. The theory and practice of transforming call-by-need into call- by-value. In Proceedings of the 4th International Symposium on Programmi ng, pages 269-281, April 1980. In LNCS No. 83.

Paakki95

Jukka Paakki. Attribute grammar paradigms -- a high-level methodology in language implementation. ACM Computing Surveys, Vol. 27, No. 2, June 1995.

Pen86

T. J. Pennello. Very fast LR parsing. In Conference on Object-Oriented Programming: Systems, Languages, and Applications, pages 145-151, July 1986.

PS91

J. Palsberg and M. I. Schwartzbach. Object-oriented type inference. In Proceedings of the ACM Conference on Object-Oriented programming: Systems, Languages, and Applications, October 1991.

Rep82

T. Reps. Optimal-time incremental semantic analysis for syntax-directed editors. In Ninth Annual ACM Symposium on Principles of Programming Languages, pages 169-176, January 1982.

SB91

Jay Sipelstein and Guy E. Blelloch. Collection-Oriented Languages. Proceedings of the IEEE, April 1991 (and CMU-CS-90-127).

Str89

B. Stroustrup. Multiple Inheritance for C++.

Tof93

M. Tofte. Four Lectures on Standard ML. 1993

Tur79

D. A. Turner. A new implementation technique for applicative languages. Software-Practice and Experience, 9:31-49, 1979.

Uncol

T. B. Steele, Jr. A First Version of UNCOL. System Development Corp., Santa Monica, CA.

Wai86

W. M. Waite. The cost of lexical analysis. Software-Practice and Experience, 16(5), May 1986.

Wal88

D. W. Wall. Register windows vs. register allocation. In Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, June 1988.