Extracted from fox-bib.bib with M-x bibtex-extract-matching-entries fox-bib.bib keywords staged Fri May 4 18:48:55 UTC 2001 @Unpublished{Davies?jacm, author = "Rowan Davies and Frank Pfenning", title = "A Modal Analysis of Staged Computation", note = "To appear in the {\em Journal of the ACM}", annote = "Preliminary version available as~\cite{Davies99tr153}", keywords = "staged", } @Unpublished{Pfenning?mscs, author = "Frank Pfenning and Rowan Davies", title = "A Judgmental Reconstruction of Modal Logic", note = "To appear in {\em Mathematical Structures in Computer Science}. Notes to an invited talk at the {\em Workshop on Intuitionistic Modal Logics and Applications}, Trento, Italy, July 1999", urlps = "http://www.cs.cmu.edu/~fp/papers/mscs00.ps.gz", keywords = "staged", } @InProceedings{Pfenning00saig, author = "Frank Pfenning", title = "Reasoning About Staged Computation", editor = "W. Taha", pages = "5--6", booktitle = "Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation", year = "2000", publisher = "Springer-Verlag LNCS 1924", address = "Montreal, Canada", month = sep, note = "Abstract of invited talk", urlpdf = "http://www.cs.cmu.edu/~fp/talks/saig00-talk.pdf", keywords = "staged", } @InProceedings{Pfenning00pepm, author = "Frank Pfenning", title = "On the Logical Foundations of Staged Computation", editor = "Julia Lawall", pages = "33", booktitle = "Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation", year = "2000", publisher = "ACM Press", address = "Boston, Massachusetts", month = jan, note = "Abstract of invited talk", urlps = "http://www.cs.cmu.edu/~fp/talks/pepm00-talk.ps", keywords = "staged", } @TechReport{Davies99tr153, author = "Rowan Davies and Frank Pfenning", title = "A Modal Analysis of Staged Computation", institution = "School of Computer Science, Carnegie Mellon University", year = "1999", month = aug, number = "CMU-CS-99-153", annote = "Extended version of~\cite{Davies96popl}", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-153.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-153.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-153.pdf", keywords = "staged", } @Article{Draves98surveys, author = "Scott Draves", title = "Partial Evaluation for Media Processing", journal = "ACM Computing Surveys", year = "1998", volume = "30", number = "3es", month = sep, urlpdf = "http://www.acm.org/pubs/articles/journals/surveys/1998-30-3es/a21-draves/a21-draves.pdf", keywords = "staged", } @Article{Leone98survesy, author = "Mark Leone and Peter Lee", title = "Dynamic Specialization in the {Fabius} System", journal = "ACM Computing Surveys", year = "1998", month = sep, volume = "30", number = "3es", urlpdf = "http://www.acm.org/pubs/citations/journals/surveys/1998-30-3es/a23-leone/a23-leone.pdf", keywords = "staged", } @Article{Wickline98surveys, author = "Philip Wickline and Peter Lee and Frank Pfenning and Rowan Davies", title = "Modal Types as Staging Specifications for Run-Time Code Generation", journal = "ACM Computing Surveys", volume = "30", number = "3es", month = sep, year = "1998", urlps = "http://www.cs.cmu.edu/~fp/papers/sope98.ps.gz", urlpdf = "http://www.acm.org/pubs/articles/journals/surveys/1998-30-3es/a8-wickline/a8-wickline.pdf", keywords = "staged", } @InProceedings{Wickline98pldi, author = "Philip Wickline and Peter Lee and Frank Pfenning", title = "Run-time Code Generation and Modal-{ML}", editor = "Keith D. Cooper", pages = "224--235", booktitle = "Proceedings of the Conference on Programming Language Design and Implementation", year = "1998", publisher = "ACM Press", address = "Montreal, Canada", month = jun, urlps = "http://www.cs.cmu.edu/~fp/papers/pldi98ccam.ps.gz", urlabstract = "http://foxnet.cs.cmu.edu/papers/fp-pldi98ccam.abstract", annote = "Extended version available as~\cite{Wickline98tr100}", keywords = "staged", } @TechReport{Wickline98tr100, author = "Philip Wickline and Peter Lee and Frank Pfenning", title = "Run-time Code Generation in Modal-{ML}", institution = "School of Computer Science, Carnegie Mellon University", year = "1998", number = "CMU-CS-98-100", month = jan, urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-100.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-100.ps", keywords = "staged", } @TechReport{Leone97tr497, author = "Mark Leone and Peter Lee", title = "Multi-Stage Specialization with Relative Binding Times", institution = "Computer Science Department, Indiana University", year = "1997", number = "497", month = nov, urlps = "http://www.cs.indiana.edu/~mleone/papers/rbt.ps.gz", urlabstract = "http://www.cs.indiana.edu/~mleone/papers/rbt.html", keywords = "staged", } @PhdThesis{Draves97phd, author = "Scott Draves", title = "Automatic Program Specialization for Interactive Media", school = "School of Computer Science, Carnegie Mellon University", year = "1997", month = jul, note = "Available as Technical Report CMU-CS-97-159", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1997/abstracts/97-159.html", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-159.ps", urlpdf = "http://reports-archive.adm.cs.cmu.edu/anon/1997/CMU-CS-97-159.pdf", keywords = "staged", } @InProceedings{Draves97icfp, author = "Scott Draves", title = "Implementing Bit-Addressing with Specialization", booktitle = "Proceedings of the International Conference on Functional Programming", year = "1997", publisher = "ACM Press", address = "Amsterdam, the Netherlands", month = jun, pages = "239--250", urlps = "http://foxnet.cs.cmu.edu/papers/spot-bit-addr.ps", urlhtml = "http://www.cs.cmu.edu/~spot/bit-addr/bit-addr.html", urlabstract = "http://foxnet.cs.cmu.edu/papers/spot-bit-addr.abstract", keywords = "staged", } @InProceedings{Davies96lics, author = "Rowan Davies", title = "A Temporal Logic Approach to Binding-Time Analysis", editor = "E. Clarke", booktitle = "Proceedings of the Symposium on Logic in Computer Science", year = "1996", publisher = "IEEE Computer Society Press", address = "New Brunswick, New Jersey", month = jul, pages = "184--195", urlps = "http://www.cs.cmu.edu/~rowan/papers/circle.ps.gz", keywords = "staged", } @InProceedings{Lee96pldi, author = "Peter Lee and Mark Leone", title = "Optimizing {ML} with Run-Time Code Generation", pages = "137--148", booktitle = "Proceedings of the Conference on Programming Language Design and Implementation", year = "1996", address = "Philadelphia, Pennsylvania", publisher = "ACM Press", month = may, urlps = "http://foxnet.cs.cmu.edu/papers/mleone-pldi96.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/mleone-mlrtcg.abstract", annote = "Extended version available as~\cite{Leone95tr205}", keywords = "staged", } @InProceedings{Leone96wcsss, author = "Mark Leone and Peter Lee", title = "A Declarative Approach to Run-Time Code Generation", booktitle = "Informal Proceedings of the Workshop on Compiler Support for Systems Software", address = "Tucson, Arizona", year = "1996", month = feb, urlabstract = "http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/papers/declarative-rtcg.abstract", urlps = "http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/papers/declarative-rtcg.ps", keywords = "staged", } @InProceedings{Draves96pe, author = "Scott Draves", title = "Compiler Generation for Interactive Graphics using Intermediate Code", booktitle = "Proceedings of the International Seminar on Partial Evaluation", editor = "O. Danvy and R. Gl{\"u}ck and P. Thiemann", year = "1996", publisher = "Springer-Verlag LNCS 1110", address = "Dagstuhl Castle, Germany", month = feb, urlps = "http://www.cs.cmu.edu/~spot/nitrous.ps", urlhtml = "http://www.cs.cmu.edu/~spot/dag/dag.html", urlabstract = "http://foxnet.cs.cmu.edu/papers/spot-dag.abstract", keywords = "staged", } @InProceedings{Davies96popl, author = "Rowan Davies and Frank Pfenning", title = "A Modal Analysis of Staged Computation", editor = "Guy {Steele, Jr.}", booktitle = "Proceedings of the Symposium on Principles of Programming Languages", year = "1996", publisher = "ACM Press", address = "St. Petersburg Beach, Florida", month = jan, pages = "258--270", annote = "Extended version available as~\cite{Davies95tr145}", urlps = "http://www.cs.cmu.edu/~fp/papers/popl96.ps.gz", keywords = "staged", } @TechReport{Leone95tr205, author = "Mark Leone and Peter Lee", title = "Optimizing {ML} with Run-Time Code Generation", institution = "School of Computer Science, Carnegie Mellon University", year = "1995", number = "CMU-CS-95-205", month = dec, urlps = "http://foxnet.cs.cmu.edu/papers/mleone-mlrtcg.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/mleone-mlrtcg.abstract", keywords = "staged", } @InProceedings{Davies95tpa, author = "Rowan Davies and Frank Pfenning", title = "A Modal Analysis of Staged Computation", editor = "Hanne Riis Nielson", booktitle = "Informal Proceedings of the Workshop on Types for Program Analysis", year = "1995", address = "Aarhus, Denmark", month = may, annote = "Extended version available as~\cite{Davies95tr145}", urlps = "http://www.cs.cmu.edu/~fp/papers/tpa95.ps.Z", keywords = "staged", } @TechReport{Draves95tr148, author = "Scott Draves", title = "Lightweight Languages for Interactive Graphics", institution = "School of Computer Science, Carnegie Mellon University", year = "1995", number = "CMU-CS-95-148", month = may, note = "Thesis proposal", urlabstract = "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-148A.ps", urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-148.ps", urlhtml = "http://www.cs.cmu.edu/~spot/nitrous/top.html", keywords = "staged", } @TechReport{Davies95tr145, author = "Rowan Davies and Frank Pfenning", title = "A Modal Analysis of Staged Computation", institution = "School of Computer Science, Carnegie Mellon University", year = "1995", number = "CMU-CS-95-145", month = may, urlps = "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-145.ps", keywords = "staged", } @InProceedings{Leone94pepm, author = "Mark Leone and Peter Lee", title = "Lightweight Run-Time Code Generation", pages = "97--106", booktitle = "Proceedings of the Workshop on Partial Evaluation and Semantics-Based Program Manipulation", year = "1994", address = "Orlando, Florida", month = jun, note = "Proceedings published as University of Melbourne Department of Computer Science Technical Report 94/9", urlps = "http://foxnet.cs.cmu.edu/papers/mleone-pepm94.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/mleone-pepm94.abstract", keywords = "staged", } @TechReport{Leone93tr225, author = "Mark Leone and Peter Lee", title = "Deferred Compilation: The Automation of Run-Time Code Generation", institution = "School of Computer Science, Carnegie Mellon University", year = "1993", number = "CMU-CS-93-225", month = dec, urlps = "http://foxnet.cs.cmu.edu/papers/mleone-rtcg.ps", urlhtml = "http://foxnet.cs.cmu.edu/papers/mleone-rtcg.html", urlabstract = "http://foxnet.cs.cmu.edu/papers/mleone-rtcg.abstract", keywords = "staged", } @TechReport{Colby92tr123, author = "Christopher Colby and Peter Lee", title = "A Modular Implementation of Partial Evaluation", institution = "School of Computer Science, Carnegie Mellon University", year = "1992", number = "CMU-CS-92-123", month = mar, urlps = "http://foxnet.cs.cmu.edu/papers/petel-facet-tr.ps", urlabstract = "http://foxnet.cs.cmu.edu/papers/petel-facet-tr.abstract", keywords = "staged", }