CSE-655: Seminar in Languages
Fall 2001
Class Place and Time:
Tue. 3:00pm -- 4:30pm
Applied Logic Lab conference room
Topics:
This seminar course will concentrate on program analysis,
with emphasis on techniques to extract abstract (finite-state or
pushdown) models from imperative (C) and object oriented (C++/Java)
programs. We will start with some textbook examples of program
analysis for inferring various simple program properties
(uninitialized variables, dead code, etc.) and move on to some of the
latest techniques for extracting control flow models. As a concrete
outcome of the seminar, we will aim to develop a model extractor for a
Java subset that handles exceptions.
Here is a list of papers
that we will go through in the course; and the tentative
schedule.
Participants:
Miti Adiecha,
Samik Basu,
Luis Castro,
Shabbir Dahodwalla,
Dianakar Dhurjati,
Yifei Dong,
Haifeng Guo,
Ajay Gupta,
Arnab Ray,
Bikram Sengupta,
Beata Sarna-Starosta,
Leena Unnikrishnan,
Prem Uppuluri,
V.N. Venkatakrishnan,
Ping Yang
Resources:
A good survey book in the program analysis area is
Nielson, Nielson, and Hankin:
Principles of Program
Analysis. We will begin by going through topics from this
book. Advanced topics will be covered from papers, which will either
be posted here, or distributed in the meetings.
Prerequisites:
Graduate standing in the Computer Science Department; graduate Programming Languages course, or permission of instructor.
Instructor:
C.R. Ramakrishnan
Office: 1420 Computer Science Building, 632-8218
email:
cram AT cs DOT sunysb DOT edu
C.R. Ramakrishnan