Automatic Program Specialization for Interactive Media

Mark Leone maintains a programming languages research nexus.

References

Andersen94: Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. DIKU 1994.
ANSI90: ANSI. ANSI/ISO 9899-1990: Programming Languages - C. American National Standards Institute 1990.
ApMa91: Andrew W Appel, David B MacQueen. Standard ML of New Jersey. 3rd Symposium on Programming Language Implementation and Logic Programming, 1991.
Appel92: Andrew Appel. Compiling with Continuations. Cambridge University Press 1992.
ASeUl86: A V Aho, R Sethi, J D Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley 1986.
BiWe93: Lars Birkedal, Morten Welinder. Partial Ealuation of Standard ML. DIKU-TR-93-22.
BoDa91: A Bondorf, O Danvy. Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. Science of Computer Programming, 16:151-195.
BoDu93: Anders Bondorf, Dirk Dussart. Handwriting Cogen for a CPS-Based Partial Evaluator. Partial Evaluation and Semantics-Based Program Manipulation, 1994.
Bondorf92: Anders Bondorf. Improving binding times without explicit CPS-conversion. ACM Conference on Lisp and Functional Programming, 1992.
Carl96: Stephen Carl. Syntactic Exposures - A Lexically-Scoped Macro Facility for Extensible Compilers. University of Texas at Austin 1996.
ChaBleFi91: Siddhartha Chatterjee, Guy E Blelloch, Allan L Fisher. Size and Access Inference for Data-Parallel Programs. Conference on Programming Language Design and Implementation, 1991.
CHNNV96: Charles Consel, Luke Hornof, Francois Noël, Jacque Noyé, Nicolae Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. Dagstuhl Workshop on Partial Evaluation, 1996.
CoDa89: Charles Consel, Olivier Danvy. Partial Evaluation of Pattern Matching in Strings. Information Processing Letters, 30:79-86.
CoDa98: Charles Consel, Olivier Danvy. Partial Evaluation in Procedural Languages. MIT Press 1998.
Consel88: Charles Consel. New Insights into Partial Evaluation: The Schism Experiment. European Symposium on Programming, 1988.
Consel90: Charles Consel. Binding Time Analysis for Higher Order Untyped Functional Languages. ACM Conference on Lisp and Functional Programming, 1990.
Consel93: Charles Consel. Polyvariant Binding-Time Analysis For Applicative Languages. Partial Evaluation and Semantics-Based Program Manipulation, 1993.
CPHP87: P Caspi, D Pilaud, N Halbwachs, J A Plaice. Lustre: A Declarative Language for Programming Synchronous Systems. Principles of Programming Languages, 1987.
Danvy96: Olivier Danvy. Type-Directed Partial Evaluation. Principles of Programming Languages, 1996.
DaPfe96: Rowan Davies, Frank Pfenning. A Modal Analysis of Staged Computation. Principles of Programming Languages, 1996.
Detlefs96: David Detlefs. An Overview of the Extended Static Checking System. Workshop on Formal Methods in Software Practice, 1996.
Deutsch94: Alain Deutsch. Interprocedural May-Alias analysis for pointers: Beyond k-limiting. Conference on Programming Language Design and Implementation, 1994.
Draves95: Scott Draves. Lightweight Languages for Interactive Graphics. CMU-CS-95-148.
Draves96: Scott Draves. Compiler Generation for Interactive Graphics using Intermediate Code. Dagstuhl Workshop on Partial Evaluation, 1996.
Draves97: Scott Draves. Implementing Bit-addressing with Specialization. International Conference on Functional Programming, 1997.
EngKaOT95: Dawson Engler, M Frans Kaashoek, James O'Toole. Exokernel: An Operating System Architecture for Application-Level Resource Management. Symposium on Operating Systems Principles, 1995.
EnHsKa95: Dawson Engler, Wilson Hsieh, M Frans Kaashoek. `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation. Conference on Programming Language Design and Implementation, 1995.
FriWa84: Daniel P Friedman, Mitchell Wand. Reification: Reflection without Metaphysics. ACM Conference on Lisp and Functional Programming, 1984.
FuNoTa91: Yoshihiko Futamura, Kenroku Nogi, Aki Takano. The essence of generalized partial computation. Theoretical Computer Science, 90(1):61-79.
Futamura71: Y Futamura. Partial evalutaion of computation process - an approach to a compiler-compiler. Systems, Computers, Controls, 2:45-50.
GluJo94: Robert Glück, Jesper Jørgensen. Generating Optimizing Specializers. IEEE Computer Society International Conference on Computer Languages, 1994.
GluJo95: Robert Glück, Jesper Jørgensen. Efficient Multi-Level Generating Extensions for Program Specialization. Programming Language Implementation and Logic Programming, 1995.
GoJo91: Carsten K Gomard, Neil D Jones. A partial evaluator for the untyped lambda-calculus. Journal of Functional Programming, 1:21-69.
GoJoSte96: James Gosling, Bill Joy, Guy Steele. The Java Language Specification. Addison-Wesley 1996.
Graham94: Paul Graham. On Lisp: Advanced Techniques for Common LISP. Prentice-Hall 1994.
GuBoGaMa91: P le Guernic, M le Borgne, T Gauthier, C le Maire. Programing Real-Time applications with Signal. Proceedings of the IEEE, 79(9):1305-1320.
HaRe96: Mark Hayden, Robbert van Renesse. Optimizing Layered Communication Protocols. Cornell-TR96-1613.
Haynes93: Christopher Haynes. Infer: A Statically-typed Dialect of Scheme. Indiana-CS-TR-93-367.
Henglein91: Fritz Henglein. Efficient Type Inference for Higher-Order Binding-Time Analysis. International Conference on Functional Programming Languages and Computer Architecture, 1991.
HePa90: John L Hennessy, David A Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann 1990.
HiDyBru92: Robert Hieb, Kent Dybvig, Carl Bruggeman. Syntactic abstraction in scheme. Indiana University TR #355, 1992.
IEEE91: IEEE. IEEE Standard 1076: VHDL Language Reference Manual. IEEE 1991.
James1882: William James. Subjective Effects of Nitrous Oxide. Mind, 7.
JHHPW93: Simon L Peyton Jones, Cordy Hall, Kevin Hammond, Will Partain, Philip Wadler. The Glasgow Haskell compiler: a technical overview. UK Joint Framework for Information Technology (JFIT), 1993.
JoGoSe93: Neil D Jones, Carsten K Gomard, Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall 1993.
Johnson75: Stephen C Johnson. YACC - Yet Another Compiler-Compiler. Bell Labs 1975.
Jones88: Neil D Jones. Automatic Program Specialization: a Re-examination from Basic Principles. Partial Evaluation and Mixed Computation, 1988.
Jones91: Neil D Jones. Efficient Algebraic Operations on Programs. Algebraic Methodology and Software Technology, 1991.
JoSche86: Ulrik Jørring, William Scherlis. Compilers and Staging Transformations. Principles of Programming Languages, 1986.
JoSeSo85: Neil D Jones, P Sestoft, H Søndergaard. An experiment in partial evaluation: The generation of a compiler generator. Rewriting Techniques and Applications, Dijon, France, 1985.
KeEgHe91: D Keppel, S J Eggers, R R Henry. A Case for Runtime Code Generation. UW-CSE-91-11-04.
KFFD86: Eugene Kohlbecker, Daniel Friedman, Matthias Felleisen, Bruce Duba. Hygienic Macro Expansion. ACM Conference on Lisp and Functional Programming, 1986.
Lee89: Peter Lee. Realistic Compiler Generation. MIT Press 1989.
LeLe96: Peter Lee, Mark Leone. Optimizing ML with Run-Time Code Generation. Conference on Programming Language Design and Implementation, 1996.
Leroy92: Xavier Leroy. Unboxed objects and polymorphic typing. Principles of Programming Languages, 1992.
MiHraCru94: Melanie Mitchell, James Crutchfield, Peter Hraber. Evolving Cellular Automata to Perform Computations: Mechanisms and Impediments. Physica D, 75:361-391.
MiToHa90: Robin Milner, Mads Tofte, Robert Harper. The Definition of Standard ML. MIT 1990.
Mogensen89: Torben Mogensen. Binding Time Aspects of Partial Evaluation. DIKU 1989.
Mosses78: Peter Mosses. SIS, a Compiler-Generator System using Denotational Semantics. Aarhus-TR-1978.
Mossin93: Christian Mossin. Partial evaluation of General Parsers. Partial Evaluation and Semantics-Based Program Manipulation, 1993.
MuVoMa97: Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet. Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. Partial Evaluation and Semantics-Based Program Manipulation, 1997.
PoEnKa97: Massimiliano Polleto, Dawson Engler, M Frans Kasshoek. tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. Conference on Programming Language Design and Implementation, 1997.
ProWa96: Todd Proebsting, Scott Watterson. Filter Fusion. Principles of Programming Languages, 1996.
PuMaIo88: Calton Pu, Henry Massalin, John Ioannidis. The Synthesis Kernel. Computing Systems, 1988.
R4RS: William Clinger, Jonathan Rees. Revised ${}^4$ Report on the Algorithmic Language Scheme. LISP Pointers, IV:1-55.
Reynolds97: John Reynolds. Programming Languages Core Course Notes. unpublished 1997.
Shivers91: Olin Shivers. Control-Flow Analysis of Higher-Order Languages. Carnegie Mellon University, School of Computer Science 1991.
SiHoMcA96: Satnam Singh, Jonathan Hogg, Derek McAuley. Expressing Dynamic Reconfiguaration by Partial Evaluation. Symposium on Field-Programmable Custom Computing Machines, 1996.
SoGluJo96: Morten Sørensen, Robert Glück, Neil Jones. A Positive Supercompiler. Journal of Functional Programming, 6(6):811-838.
Sperber96: Michael Sperber. Self-Applicable Online Partial Evaluation. Dagstuhl Workshop on Partial Evaluation, 1996.
SpeThi95: Michael Sperber, Peter Thiemann. The Essence of LR Parsing. Partial Evaluation and Semantics-Based Program Manipulation, 1995.
SSOG93: J Subhlok, J Stichnoth, D O'Hallaron, T Gross. Exploiting Task and Data Parallelism on a Multicomputer. Principles and Practice of Parallel Programming, 1993.
Steele90: Guy Steele. Common Lisp the Language. Digital Press 1990.
SteLe95: A Stepanov, M Lee. The Standard Template Library. Hewlett Packard Labs HPL-95-11.
Thiemann96: Peter Thiemann. Cogen in six lines. International Conference on Functional Programming, 1996.
ThoDa95: Nicholas Thompson, Roger Dannenberg. Optimizing Software Synthesis Performance. International Computer Music Conference, 1995.
TMCSHL96: D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee. TIL: A Type-Directed Optimizing Compiler for ML. Conference on Programming Language Design and Implementation, 1996.
Wadler88: Philip Wadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming, 1988.
WCRS91: Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman. Automatic online program specialization. International Conference on Functional Programming Languages and Computer Architecture, 1991.