Translators II (CIS 801) Home Page

Translators II (CIS 801) Fall '01

About this course

Official course description
University/College/Department policies

People

Primary Instructor (Matthew B. Dwyer)
Instructor (John Hatcliff)
Project groups

Readings

Required Course Text

Escape Analysis Papers:

  1. Fast Escape Analysis and Stack Allocation for Object-Based Programs
  2. Escape Analysis for Java
  3. Escape Analysis for Object-Oriented Languages: Application to Java (with supplementary material in Escape Analysis : Correctness Proof, Implementation and Experimental Results)
  4. Compositional Pointer and Escape Analysis for Java Programs (NB: may need to scroll down to find the paper)

Additional reading

Optional book: Advanced Compiler Design & Implementation, Muchnick
Additional Readings and Resources: Additional Papers:
  1. Introduction to Set Constraint-based Analysis (a general overview of CBA)
  2. SSA is Functional Programming (a good supplement to escape analysis paper 1)
  3. Data-flow analysis is model checking of abstract interpretations
  4. BANE paper
  5. Java Exception paper

Daily life

Announcements Updated Aug 20, 2001

Week 1: Organization and Overview

Lecture: Course organization
Lecture: Compiler architecture
Lecture: The basic idea of flow analysis
Reading: PPA Chapter 1
   August 2000
 S  M Tu  W Th  F  S
19 20 21 22 23 24 25

Week 2: Styles of Flow Analysis

Lecture: Reaching Definitions Analysis
   August 2000
 S  M Tu  W Th  F  S
26 27 28 29 30 31 
   September 2000
 S  M Tu  W Th  F  S
                   1

Week 3: No Class

Reading: PPA Ch. 2.1-2.2
   September 2000
 S  M Tu  W Th  F  S
 2  3  4 5  6  7  8

Week 4: Classic Problems

Lecture: Final Introductory Comments
Lecture: Classic Problems
Reading: PAG Tutorial
   September 2000
 S  M Tu  W Th  F  S
 9 10 11 12 13 14 15

Week 5: PAG

Lecture: PAG Overview
See ~santos/PAG/PAGv0.9.3.18c/EXAMPLES/WHILE  for PAG examples
Reading: PPA Ch. 2.2-2.4
   September 2000
 S  M Tu  W Th  F  S
16 17 18 19 20 21 22

Week 6: Data Flow Frameworks

Lecture: Data Flow Frameworks
Homework: An Intra-procedural Analysis in PAG
   September 2000
 S  M Tu  W Th  F  S
23 24 25 26 27 28 29

Week 7: Data Flow Frameworks

Lecture: More PAG demos and discussion 
   September 2000
 S  M Tu  W Th  F  S
30 
   October 2000
 S  M Tu  W Th  F  S
    1  2  3   4  5  6

Week 8: Solution Algorithms

Lecture: Solution Algorithms
Homework: In-depth Study of Escape Analysis for Java
Reading: PPA Ch. 6
   October 2000
 S  M Tu  W Th  F  S
 7  8  9 10 11 12 13

Week 9: Inter-procedural Flow Analysis

Lecture: Inter-procedural Analysis
Reading: PPA Ch. 2.5, Sharir and Pnueli
 October 2000
 S  M Tu  W Th  F  S
14 15 16 17 18 19 20

Week 10: Java Escape Analysis

Lecture: Presentation of paper 1 by Robby and William Reading: Papers 1 and 3
   October 2000
 S  M Tu  W Th  F  S
21 22 23 24 25 26 27

Week 11 : Constraint-based Analyses in SOOT

Lecture: Constraint-based Analyses
Web-site: A Framework for Constraint-based Analyses in SOOT
Reading: CBA survey paper
   October 2000
 S  M Tu  W Th  F  S
28 29 30 31 
   November 2000
 S  M Tu  W Th  F  S
             1  2  3

Week 12: More Java Escape Analysis

Lecture: Presentation of paper 2 by Venkatesh and Roby Jo
Reading: Paper 2
   November 2000
 S  M Tu  W Th  F  S
 4  5  6  7  8  9 10

Week 13: Even More Java Escape Analysis

Lecture: Presentation of paper 4 by Oksana and Radu
Reading: Paper 4
   November 2000
 S  M Tu  W Th  F  S
11 12 13 14 15 16 17

Week 14: No Class

   November 2000
 S  M Tu  W Th  F  S
18 19 20 21 22 23 24

Week 15: Presentations and Topics

Lecture: Short status reports (10 min) from each course project
Lecture: BANE
Project: Analysis Project Proposal
Reading: TBD
   November 2000
 S  M Tu  W Th  F  S
25 26 27 28 29 30
   December 2000
 S  M Tu  W Th  F  S
                   1

Week 16: Project Presentations

Lecture: Temporal Logic and Flow Analysis
Lecture: Project Presentations
Reading: TBD
   December 2000
 S  M Tu  W Th  F  S
 2  3  4  5  6  7  8

Copyright 2001, Matthew Dwyer and John Hatcliff. The syllabus and all lectures for this course are copyrighted materials and may not be used in other course settings outside of Kansas State University in their current form or modified form without the express written permission of one of the copyright holders. During this course, students are prohibited from selling notes to or being paid for taking notes by any person or commercial firm without the express written permission of one of the copyright holders.
Maintained by Matthew B. Dwyer. Last modified Fri Aug 10 11:23:31 CDT 2001 [HOME]