Home
Contact Information
Publications
Researchers
Focus Areas
FoxNet
Typed Intermediate Languages
Proof-Carrying Code
Logical Frameworks
Staged Computation
Language Design
 
Fox_Project@cs.cmu.edu
http://www.cs.cmu.edu/~fox/
  

The Fox Project
Staged Computation / Bibliography

This is a bibliography of research papers and reports related to Staged Computation from the Fox project at Carnegie Mellon University. The BibTeX source is available. Papers with known URLs in the World-Wide Web have been annotated with their location and can be previewed or retrieved directly. Corrections, additions, and new URLs for papers and implementations are welcome.

Last updated: Fri May 4 2001

  1. Christopher Colby and Peter Lee. A modular implementation of partial evaluation. Technical Report CMU-CS-92-123, School of Computer Science, Carnegie Mellon University, March 1992. Available electronically (Abstract, Postscript).

  2. Rowan Davies. A temporal logic approach to binding-time analysis. In E. Clarke, editor, Proceedings of the Symposium on Logic in Computer Science, pages 184-195, New Brunswick, New Jersey, July 1996. IEEE Computer Society Press. Available electronically.

  3. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. To appear in the Journal of the ACM.

  4. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In Hanne Riis Nielson, editor, Informal Proceedings of the Workshop on Types for Program Analysis, Aarhus, Denmark, May 1995. Available electronically.

  5. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. Technical Report CMU-CS-95-145, School of Computer Science, Carnegie Mellon University, May 1995. Available electronically.

  6. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. In Guy Steele, Jr., editor, Proceedings of the Symposium on Principles of Programming Languages, pages 258-270, St. Petersburg Beach, Florida, January 1996. ACM Press. Available electronically.

  7. Rowan Davies and Frank Pfenning. A modal analysis of staged computation. Technical Report CMU-CS-99-153, School of Computer Science, Carnegie Mellon University, August 1999. Available electronically (Abstract, Postscript, PDF).

  8. Scott Draves. Lightweight languages for interactive graphics. Technical Report CMU-CS-95-148, School of Computer Science, Carnegie Mellon University, May 1995. Thesis proposal. Available electronically (Abstract, HTML, Postscript).

  9. Scott Draves. Compiler generation for interactive graphics using intermediate code. In O. Danvy, R. Glück, and P. Thiemann, editors, Proceedings of the International Seminar on Partial Evaluation, Dagstuhl Castle, Germany, February 1996. Springer-Verlag LNCS 1110. Available electronically (Abstract, HTML, Postscript).

  10. Scott Draves. Automatic Program Specialization for Interactive Media. PhD thesis, School of Computer Science, Carnegie Mellon University, July 1997. Available as Technical Report CMU-CS-97-159. Available electronically (Abstract, Postscript, PDF).

  11. Scott Draves. Implementing bit-addressing with specialization. In Proceedings of the International Conference on Functional Programming, pages 239-250, Amsterdam, the Netherlands, June 1997. ACM Press. Available electronically (Abstract, HTML, Postscript).

  12. Scott Draves. Partial evaluation for media processing. ACM Computing Surveys, 30(3es), September 1998. Available electronically.

  13. Peter Lee and Mark Leone. Optimizing ML with run-time code generation. In Proceedings of the Conference on Programming Language Design and Implementation, pages 137-148, Philadelphia, Pennsylvania, May 1996. ACM Press. Available electronically (Abstract, Postscript).

  14. Mark Leone and Peter Lee. Deferred compilation: The automation of run-time code generation. Technical Report CMU-CS-93-225, School of Computer Science, Carnegie Mellon University, December 1993. Available electronically (Abstract, HTML, Postscript).

  15. Mark Leone and Peter Lee. Lightweight run-time code generation. In Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 97-106, Orlando, Florida, June 1994. Proceedings published as University of Melbourne Department of Computer Science Technical Report 94/9. Available electronically (Abstract, Postscript).

  16. Mark Leone and Peter Lee. Optimizing ML with run-time code generation. Technical Report CMU-CS-95-205, School of Computer Science, Carnegie Mellon University, December 1995. Available electronically (Abstract, Postscript).

  17. Mark Leone and Peter Lee. A declarative approach to run-time code generation. In Informal Proceedings of the Workshop on Compiler Support for Systems Software, Tucson, Arizona, February 1996. Available electronically (Abstract, Postscript).

  18. Mark Leone and Peter Lee. Multi-stage specialization with relative binding times. Technical Report 497, Computer Science Department, Indiana University, November 1997. Available electronically (Abstract, Postscript).

  19. Mark Leone and Peter Lee. Dynamic specialization in the Fabius system. ACM Computing Surveys, 30(3es), September 1998. Available electronically.

  20. Frank Pfenning. On the logical foundations of staged computation. In Julia Lawall, editor, Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation, page 33, Boston, Massachusetts, January 2000. ACM Press. Abstract of invited talk. Available electronically.

  21. Frank Pfenning. Reasoning about staged computation. In W. Taha, editor, Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation, pages 5-6, Montreal, Canada, September 2000. Springer-Verlag LNCS 1924. Abstract of invited talk. Available electronically.

  22. Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. To appear in Mathematical Structures in Computer Science. Notes to an invited talk at the Workshop on Intuitionistic Modal Logics and Applications, Trento, Italy, July 1999. Available electronically.

  23. Philip Wickline, Peter Lee, and Frank Pfenning. Run-time code generation and modal-ML. In Keith D. Cooper, editor, Proceedings of the Conference on Programming Language Design and Implementation, pages 224-235, Montreal, Canada, June 1998. ACM Press. Available electronically (Abstract, Postscript).

  24. Philip Wickline, Peter Lee, and Frank Pfenning. Run-time code generation in modal-ML. Technical Report CMU-CS-98-100, School of Computer Science, Carnegie Mellon University, January 1998. Available electronically (Abstract, Postscript).

  25. Philip Wickline, Peter Lee, Frank Pfenning, and Rowan Davies. Modal types as staging specifications for run-time code generation. ACM Computing Surveys, 30(3es), September 1998. Available electronically (Postscript, PDF).

[ Home | Contact Information | Publications | Researchers ]
[ FoxNet | Typed Intermediate Languages | Proof-Carrying Code ]
[ Logical Frameworks | Staged Computation | Language Design ]

Fox_Project@cs.cmu.edu
http://www.cs.cmu.edu/~fox/