CS 260 - Advanced Topics in Translation
Spring 2004


Course Description

This course will focus on static analysis techniques. Static analysis techniques are used at compile-time for predicting safe and computable approximations to the set of values or behaviors arising dynamically at run-time. In this course we will discuss following four main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, Type and Effect Systems.

Instructor:

Tevfik Bultan
bultan@cs.ucsb.edu
Office: Eng. I 2123
Phone: x3735
Office Hours: Monday-Wednesday 2:00-3:00PM, Eng. I 2123

Class Times and Location:

Monday/Wednesday 11:00-12:50 PHELP 1401

Class Webpage:

URL: http://www.cs.ucsb.edu/~bultan/courses/260/

Extra Lecture

There will be an extra lecture on Tuesday June 1st at 1:00pm in Engineering I, room 2114 (CS conference room)

Final

I will give the final at the end of the final lecture on Wednesday June 2nd. You need to turn it in by 5:00pm the next day.

Homeworks

Course Requirements

There will be written homeworks, (possibly) programming assignments, and (possibly) a take home final.

Textbook

Principles of Program Analysis
F. Nielson, H. R. Nielson and C. Hankin
ISBN 3-540-65410-0, Springer-Verlag
URL: http://www.imm.dtu.dk/~riis/PPA/ppa.html