@InProceedings{CoDa93,
  title = 	"Partial. Evaluation: Principles \& Perspectives",
  author = 	"C. Consel and O. Danvy",
  booktitle = 	popl93,
  month = 	jan,
  year = 	"1993",
  pages = 	"",
  keyword = 	"tutorial",
  keyword = 	"week 1"
}

@book{JoGoSe93,
  title = 	"Partial Evaluation and Automatic Program Generation",
  author = 	"N. Jones and C. Gomard and P. Sestoft",
  publisher = 	"Prentice Hall",
  year = 	"1993",
  keyword  =	"section on lambda calculus: a review",
  keyword  =	"basic intro",
  keyword = 	"week 1"
}




@InProceedings{WeCoRuSe91,
  title = 	"Automatic online partial evaluation",
  author = 	"D. Weise and R. Conybeare and E. Ruf and S. Seligman",
  booktitle = 	"Functional Programming Languages and Computer Architecture",
  month = 	aug,
  year = 	"1991",
  pages = 	"165-191",
  publisher = 	"Springer-Verlag",
  note = 	"LNCS 202",
  keyword = 	"online",
  keyword = 	"weeks 2 and 3, 2 people"
}

@InCollection{JoSeSo89,
  title = 	"MIX: A Self-Applicable Partial Evaluator for Experiments in
		Compiler Generation",
  author = 	"N. Jones and P. Sestoft and H. Sondergaard",
  booktitle = 	"Lisp \& Symbolic Computing",
  vol = 	2,
  number = 	1,
  month = 	feb,
 year = 	"1989",
  pages = 	"9-50",
  keyword = 	"offline",
  keyword = 	"weeks 2 and 3, 2 people"
}

@InProceedings{CoKh88,
  title = 	"Parameterized partial evaluation",
  author = 	"C. Consel and S. Khoo",
  booktitle = 	pldi91,
  year = 	"1991",
  pages = 	"92-105",
  keyword  =	"tries to tie off and on together",
  keyword  =	"how to do BTA to reduce abstract value domain",
  keyword  =	"not central: lee",
  keyword  =	"denotational sem",
  keyword  =	"getting",
  keyword = 	"week 4"
}

@Article{CoDa89,
  title = 	"Partial evaluation of pattern matching in strings",
  author = 	"C. Consel and O. Danvy",
  booktitle = 	"Information Processing Letters",
  vol = 	30,
  month = 	jan,
  year = 	"1989",
  pages = 	"79-86",
  keyword  =	"an explicit offline example",
  keyword  =	"restructure program (perhaps make less efficient) to do
		better specialization",
  keyword = 	"week 5, 2 people",
  keyword = 	"need 1 more paper"
}

@Article{CoDa,
  title = 	"For a better support of static data flow",
  author = 	"C. Consel and O. Danvy",
  booktitle = 	"Functional Programming Languages and Computer Architecture",
  vol = 	30,
  month = 	aug,
  year = 	"1991",
  pages = 	"79-86",
  publisher = 	"Springer-Verlag",
  pages = 	"496-519",
  note  =	"LNCS 523",
  keyword  =	"an explicit offline example",
  keyword  =	"restructure program (perhaps make less efficient) to do
		better specialization",
  keyword = 	"week 5, 2 people",
  keyword = 	"need 1 more paper"
}





@book{JoGoSe93,
  title = 	"Partial Evaluation and Automatic Program Generation",
  author = 	"N. Jones and C. Gomard and P. Sestoft",
  publisher = 	"Prentice Hall",
  year = 	"1993",
  keyword  =	"section on similix",
  keyword  =	"make BTA beter; why should user have to do it, not the PE",
  keyword  =	"notice the reductions not being made",
  keyword  =	"basic intro",
  keyword = 	"week 6, 2 people"
}
@techreport{Bo93,
  title = 	"Similix 5.0 Manual",
  author = 	"A. Bondorf",
  institution =	"DIKU",
  year = 	"1993",
  keyword = 	"week 6"
}



@InProceedings{CoHaKe92,
  title = 	"Procedure cloning",
  author = 	"K.D. Cooper and M.W. Hall and K. Kennedy",
  booktitle = 	"IEEE International Conference on Computer Languages",
  month = 	"apr",
  year = 	"1992",
  pages = 	"",
  keyword = 	"make PE better",
  keyword = 	"invent PE on own; if code deep enough, compiler can opt",
  keyword = 	"week 7"
}




@Article{PuMaIo88,
  title = 	"The Synthesis Kernel",
  author = 	"C. Pu and H. Massalin and J. Ioannidis",
  booktitle = 	"Computing Systems",
  vol = 	"I",
  number = 	1,
  month = 	"winter",
  year = 	"1988",
  pages = 	"11-31",
  keyword = 	"application",
  keyword = 	"week 8"
}

@InProceedings{BoDa90,
  title = 	"Incremental Partial Evaluation: The Key to High Performance,
		Modularity and Portability in Operating Systems",
  author = 	"C. Consel and C. Pu and J. Walpol",
  booktitle =	pepm93,
  month = 	jun,
  year = 	"1993",
  pages = 	"44-46",
  keyword = 	"application",
  keyword = 	"week 8"
}

@Article{BeWe90,
  title = 	"Compiling Scientific Code Using Partial Evaluation",
  author = 	"A. Berlin and D. Weise",
  booktitle = 	ieeecomputer,
  month = 	"dec",
  year = 	"1990",
  pages = 	"25-37",
  keyword = 	"application",
  keyword = 	"big win, small implementation (just inner loop): important
		to choose PE sites",
  keyword = 	"week 9"
}

@InProceedings{LeLe94,
  title = 	"Deferred compiliation: the automation of run-time code
		generation",
  author = 	"M. Leone and P. Lee",
  note = 	"Submitted for publication",
  month = 	"",
  year = 	"1993",
  pages = 	"",
  keyword = 	"application",
  keyword = 	"week 10"
}