CS4240: Compilers and Interpreters

Fall 2005

	Office	Phone	email	Office hours
Olin Shivers	CCB 205	5-0091	shivers@cc	TBA

Lectures are Tu/Thu 1:30-3:00, Instructional Center, room 219

Slides for intro-to-SML lecture.

Lexer (due Thu 9/15)
Parser (due Thu 9/29)
Static semantics (due Tue 10/11)
Frame analysis (unofficially due Thu 10/20)
Translation to IR (due Thu 11/3)
Instruction selection (due Tue 11/15)
Live-variable Data-flow analyser (due Fri 11/25)
Register allocation (due Tue 12/6)
Integration (due Tue 12/13)

The course textbook is Modern Compiler Implementation in ML, by Andrew Appel. Try to get the edition that says "Reprinted with corrections, 1999" on page iv; previous editions had lots of errors. You can order the book from Barnes & Noble or Amazon.
Appel maintains a web page for the text book, which includes various files to begin your compiler with, and a a list of errata for the different editions of the book. It will save you confusion later if you take 15 minutes and go through the errata, applying them to your copy.
If you are not an experienced SML programmer, then you will almost certainly need to get an introductory text on SML. I recommend Larry Paulson's ML for the Working Programmer. It has not been ordered for the course, but, again, can certainly be ordered from both Barnes & Noble or Amazon.
You can also find some useful tutorials on the Net. Several are listed below.

SPIM is a simulator written by James Larus for the MIPS-II ISA, a real-world processor architecture that is a very clean RISC design.

James Larus's Assemblers, Linkers, and the SPIM simulator . This is Appendix A of Hennessy & Patterson's Computer Organization and Design: The Hardware/Software Interface, published by Morgan Kaufman. It includes documentation on the MIPS R2000, its assembly code, and the SPIM simulator.
SPIM documentation, in PostScript and PDF format. NOTE: the description of MIPS calling conventions in here is older than that in the Hennessy & Patterson book.
Tiger Runtime System -- needed to actually run your programs.

Peter Lee's Guide to using SML/NJ
Bob Harper's tutorial, Programming in Standard ML
Other ML tutorials
Standard ML of New Jersey home page
SML/NJ "Basis" Library documentation
SML/NJ Library Manual
User Manual for CM , an SML/NJ Configuration Manager
User Manual for ML-Lex, a lexical analyzer generator for ML
User Manual for ML-Yacc, a parser generator for ML
The newsgroup for ML-related topics is comp.lang.ml.
There is an emacs-lisp package that supports editing SML source and interaction with an sml process under emacs. Emacs-lisp source and documentation is available in a tar ball at Bell Labs.