CS 661 Formal Compiling Methods, Fall 2001

• Time and Place: Tue, Thu 9:00-10:15 AM, ME 155.
• Professor: Jens Palsberg, CS 222, palsberg@cs.purdue.edu. Office Hours: stop by any time.
• Teaching Assistant: Scott Baxter, Dept. of English, baxters@purdue.edu. Office Hours: TBA.
• Participants.
• Schedule.
• Topics:
  • typed low-level languages
  • software verification (model extraction plus model checking)
  • scalable program analysis (1M lines and beyond)
  • domain-specific languages in commercial use.
• Invited speakers:
  • Matthew Dwyer (Kansas State University) will speak on software verification;
  • Kathleen Fisher (AT&T Labs-Research) will speak on domain-specific languages in commercial use;
  • Neal Glew (Intertrust Technologies) will speak on typed assembly languages; and
  • Jakob Rehof (Microsoft Research) will speak on scalable program analysis.
• Format: The reading list consists of research papers from 1998-2001. Each participant is expected to:
  • present one paper;
  • each week, write a review of one of the two presented papers; the review should be in the style of a review of a paper submitted to a scholarly journal; and
  • during the final exam week, write a short review (250 words) of one of the papers ``accepted'' at the mock program committee meeting, and submit the review to ACM Computing Reviews.
• Grading.
• Resources.
• The course evaluation appeared in Communications of the ACM, 45(12):22-24, December 2002. (Extended version).