CIS6930 Special
Topics: Program Analysis
1. Catalog Description
Techniques for static analysis of programs. Data flow analysis, constraint based analysis, abstract interpretation, type and effect systems, with examples of each. (3)
2. Pre-requisites and Co-requisites
3. Course Objectives
Students will gain knowledge of the underlying theory and algorithms used to implement the most important approaches to static program analysis. While traditionally found in code optimization phases of compilers, static analysis is more recently being used for bug finding (for example race detection in concurrent programs) validation, smell detection, and refactoring.
4. Contribution of course to meeting the professional component (ABET only)
N/A
5. Relationship of course to program outcomes (ABET only)
N/A
6. Instructor
Beverly A. Sanders
Office location: CSE 322
Telephone: (352) 392-1528
E-mail address: sanders@cise.ufl.edu
Web site: www.cise.ufl.edu/~sanders
7. Teaching Assistant
8. Meeting Times
Tuesday 8:35am-10:25am (includes 15min break)
Thursday 9:35am
9. Class/laboratory schedule, i.e., number of sessions each week and duration of each session
3 50-minute class sessions per week
10. Meeting Location
CBD 0316
11. Material and Supply Fees
none
12. Textbooks and Software Required
Textbooks:
Title: Principles of Program Analysis
Authors: Flemming Nielson, Hanne Riis Nielson, Chris Hankin
Publication date and edition: 2005, second printing
ISBN number: 3-540-65410-0
Required Software:
Open source software TBA
13.
Recommended
Additional on-line
reading material
14. Course Outline (given topically rather than chronologically)
a. Introduction
b. Data flow analysis
c. Constraint-based analysis
d. Abstract interpretation
e. Type and effect systems
f. Algorithms
g. Selected topics from the literature with an emphasis on interesting examples of the use of static analysis.
15. Attendance and Expectations
Regular attendance in class is expected. Class will start promptly and important announcements are made at the start of class, thus it is important to be on time.
16. Grading – methods of evaluation
Final exam 30% (Tuesday April 28, 10am-12noon)
Weekly short quizzes 50% (A 5-10 minute open book quiz will be given at the start of class every Tuesday. The lowest 4 will be dropped)
Presentation of a selected paper from the literature 20%
17. Grading Scale
Grades will be curved
18. Make-up Exam Policy
Since 4 quizzes will be dropped, no makeups will be given. The final exam will be given to all students on the date scheduled by the registrar
19. Honesty Policy – All students admitted to the University of Florida have signed a statement of academic honesty committing themselves to be honest in all academic work and understanding that failure to comply with this commitment will result in disciplinary action. This statement is a reminder to uphold your obligation as a UF student and to be honest in all work submitted and exams taken in this course and all others.
20. Accommodation for Students with Disabilities – Students Requesting classroom accommodation must first register with the Dean of Students Office. That office will provide the student with documentation that he/she must provide to the course instructor when requesting accommodation.
21. UF Counseling Services – Resources are available on-campus for students having personal problems or lacking clear career and academic goals. The resources include:
-
- SHCC mental Health, Student Health Care Center, 392-1171, Personal and Counseling.
- Center for Sexual Assault/Abuse Recovery and Education (
-
22.
Software Use – All faculty, staff and student of the
University are required and expected to obey the laws and legal
agreements governing software use. Failure to do so can lead to
monetary damages and/or criminal penalties for the individual
violator. Because such violations are also against University
policies and rules, disciplinary action will be taken as appropriate.
We, the members of the