CS 653: Static and Dynamic Program Analysis (Spring 2006)(CLASS SCHEDULE)
Syllabus for CS 653 (http://www.cs.colostate.edu/~cs653)
Course DescriptionIn this course, we will read and review papers that present static and/or dynamic program analysis techniques aimed at improving program performance or checking program safety. Static analysis (eg. data-flow analysis) determines information about programs at compile time, and dynamic analysis (eg. profiling) observes information about a program while it executes. Another major component of the course will be a program analysis implementation project of the students choosing. This course does not involve a textbook or any exams.
Prerequisites for this course include CS553 or instructor approval.
Date and TimeTuesday and Thursday 11-12:15, Room 310B University Services Center
InstructorDr. Michelle Strout (email@example.com), OH: Tues 3-4pm and Thurs 2-3pm, 227 USC
GradesGrades will be posted on WebCT.
Weekly critical reviews of papers: 40%
Class CommunicationSend me your email address so that I can invite you to join the cs653 yahoo group. We will be using this group as the class mailing list. You are responsible for any emails I send to this list.
Honesty PolicyThe Computer Science Department Student Information Sheet. You must write your own reviews without borrowing text from the paper you are reviewing, the internet, or your friends.
Paper ReviewsEach student will be responsible for writing one critical review of one of the papers covered each week. You need to turn in 13 reviews througout the semester, thus allowing you to not submit a review any 2 of the 15 weeks in the course.
The reviews should be one to two pages that cover the following questions about the paper:
An example review can be found at http://www.cs.colostate.edu/~cs653/example-review.html
Presenting and Leading a Discussion on a PaperEach student will be presenting and leading the discussion for one paper. The presenter must schedule a practice presentation with Dr. Strout at least two days before the in class presentation. Detailed guidelines for the paper presentation are posted at http://www.cs.colostate.edu/~cs653/presentation.html.
Class ParticipationEveryone must read each paper. While you are reading each paper, you should develop at least one question or point relevant for discussion of the paper.
Class ResourcesLinks to various class resources will be posted at http://www.cs.colostate.edu/~cs653/links.html.