Tue. 3:00pm -- 4:30pm
Applied Logic Lab conference room
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.
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
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.
Graduate standing in the Computer Science Department; graduate Programming Languages course, or permission of instructor.
Office: 1420 Computer Science Building, 632-8218
email: cram AT cs DOT sunysb DOT edu