CS 661 Formal Compiling Methods, Fall 2001
Time and Place: Tue, Thu 9:00-10:15 AM, ME 155.
Jens Palsberg, CS 222,
Office Hours: stop by any time.
Dept. of English,
Office Hours: TBA.
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
will speak on domain-specific languages in commercial use;
- Neal Glew
will speak on typed assembly languages; and
- Jakob Rehof
will speak on scalable program analysis.
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.
appeared in Communications of the ACM, 45(12):22-24, December 2002.