Programming Language Design and Program Analysis

Course personnel | Textbooks | Readings | Schedule | Links

Course personnel

Instructor	Phone	Email	Course Time	Place
Yu Zhang	63603804	yuzhang at ustc.edu.cn	Tuesday 7:50~11:20	GH-407

GitHub for Code and Issues

Heterogeneous Computing and oneAPI related resources

Last year's Schedule

Schedule

Part A: Program Analysis

May 30: Pointer Analysis

, Abstract Interpretation

May 23: Control Flow Analysis

(video, ESOP2001-Control-Flow Analysis in Cubic Time), Pointer Analysis

(video: 1, 2)

May 16: oneAPI by Peng Zhao (poster, slides

, Homework) oneDNN Graph API and Compiler by Jianhui Li (poster, paper, slides

)

May 9: Path Sensitivity

(video), Interprocedural Analysis

(video)

Apr.25: The unification solver and Lattices

, Examples of Flow Sensitive Analyses

, Widening and Narrowing

(video), Path Sensitivity

(video)

Apr.23: Why Program Analysis & TIP & Type Analysis

(TIP-GitHub, tipc, tipc-passes)

Apr.18: AST & CFG & Dataflow Analysis

Apr.11: Polymorphisms

, Overloading and Type Classes

, Subtyping

Apr.4: Memory Management

, Recursion

, Control Flow

Mar.28: Scope

, Embedding

(code, PyCEAC, PyScan, PyCType), Memory Management

Mar.21: Algebraic Data Types

[PFPL], Lua

, Scope

Mar.14: More on Lambda calculus

, Statics and Dynamics

[PFPL], interpreter.ml, Algebraic Data Types

[PFPL]

Mar.7: Course Info

, Fundamentals (Formal Semantics)

Textbooks

[PPA] Flemming Nielson et al. Principles of Program Analysis (2nd Edition). Springer, 2005.
[SPA] Anders Møller and Michael I. Schwartzbach. Lecture notes on Static Program Analysis, Nov. 2020.
[PFPL] Robert Harper. Practical Foundations for Programming Languages. 2nd Edition, Cambridge University Press, 2016.
[TAPL] B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
CIS 500: Software Foundations - Fall 2007
John C. Mitchell. Foundations for Programming Languages. MIT Press, 1996.
B. C. Pierce. Advanced Topics in Types and Programming Languages. MIT Press, 2005.

Supplementary Readings

HOPL: History of Programming Languages: I(1979), II(1993), III(2007), IV(2020)
C.A.R. Hoare. Hints on programming language design. Stanford University. Technical Report: CS-TR-73-403. 1973.
Niklaus Wirth(Pascal). On the Design of Programming Languages. Information Processing. 74, pages 386-393, New York, N.Y., 1974. North-Holland Publishing Co.
Peter Wegner. Programming languages - the first 25 years. IEEE Transactions on Computers, Vol. C-25, No. 12, pp. 1207-1225, 1976.
Guy L. Steele. Growing a Language. OOPSLA 1998 Keynote.
C.A.R. Hoare. An axiomatic basis for computer programming. CACM 12(10), 1969, pages 576 - 580.
Leslie Lamport. The Future of Computing: Logic or Biology.
Philip Wadler. Proofs are Programs: 19th Century Logic and 21st Century Computing. June 2000, updated November 2000.
......