The goal of this class is to introduce the student to the most recent techniques that compilers use to analyze and optimize programs. The student will learn about dataflow and constraint based program analyses. He or she will have contact with type systems, and the many variants of inductive techniques to prove properties about programs. The class contains a number of expositive lectures, and some paper discussion. During the discussions, the students will have the opportunity to get in touch with state-of-the-art techniques published in top conferences in the field of programming languages. The class also features three project assignment, which will give the student the opportunity to use llvm, a industrial quality compiler, and twelf, a theorem prover. If you take the course, please, don't forget to provide the instructor with some feedback.
Code: DCC 888/831/030
Department: Computer Science
Time: Tuesday/Thursday, 2:55pm-4:35pm
Room number: ICEx 2013
Discussion list: dcc888 at googlegroups ...