1. SAIG 2000: Montreal, Canada

@proceedings{DBLP:conf/saig/2000,
  editor    = {Walid Taha},
  title     = {Semantics, Applications, and Implementation of Program Generation,
               International Workshop SAIG 2000, Montreal, Canada, September
               20, 2000, Proceedings},
  booktitle = {SAIG},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1924},
  year      = {2000},
  isbn      = {3-540-41054-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Richard B. Kieburtz:
  Implementing Closed Domain-Specific Languages. 1-2
  Electronic Edition (Springer LINK) BibTeX
• Don S. Batory:
  Refinements and Product Line Architectures. 3-4
  Electronic Edition (Springer LINK) BibTeX
• Frank Pfenning:
  Reasoning about Staged Computation. 5-6
  Electronic Edition (Springer LINK) BibTeX
• Gilles Muller:
  Specialization of Systems Programs: Lessons and Perspectives. 7-8
  Electronic Edition (Springer LINK) BibTeX

Technical Papers

• Conal Elliott, Sigbjorn Finne, Oege de Moor:
  Compiling Embedded Languages. 9-27
  Electronic Edition (Springer LINK) BibTeX
• Samuel N. Kamin, Miranda Callahan, Lars Clausen:
  Lightweight and Generative Components 2: Binary-Level Components. 28-50
  Electronic Edition (Springer LINK) BibTeX
• Simon Helsen, Peter Thiemann:
  Fragmental Specialization. 51-71
  Electronic Edition (Springer LINK) BibTeX
• Litong Song, Yoshihiko Futamura:
  A New Termination Approach for Specialization. 72-91
  Electronic Edition (Springer LINK) BibTeX
• Cristiano Calcagno, Eugenio Moggi:
  Multi-Stage Imperative Languages: A Conservative Extension Result. 92-107
  Electronic Edition (Springer LINK) BibTeX
• Adam Fischbach, John Hannan:
  Specification and Correctness of Lambda Lifting. 108-128
  Electronic Edition (Springer LINK) BibTeX
• Henning Makholm:
  On Jones-Optimal Specialization for Strongly Typed Languages. 129-148
  Electronic Edition (Springer LINK) BibTeX

Position Papers

• Norman Ramsey:
  Pragmatic Aspects of Reusable Program Generators. 149-171
  Electronic Edition (Springer LINK) BibTeX
• Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini:
  Type-Based Useless-Code Elimination for Functional Programs. 172-189
  Electronic Edition (Springer LINK) BibTeX
• Rich Vuduc, James Demmel:
  Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW. 190-211
  Electronic Edition (Springer LINK) BibTeX
• Bernd Fischer, Johann Schumann, Thomas Pressburger:
  Generating Data Analysis Programs from Statistical Models. 212-229
  Electronic Edition (Springer LINK) BibTeX