Programming Language Design and Program Analysis

Instructor	Phone	Email	Course Time	Place
Yu Zhang	63603804	yuzhang at ustc.edu.cn	Wednesday 8:00~11:45	GT-B211

May 18: Polymorphisms , Overloading and Type Classes , Subtyping
May 11: Concurrency and Memory Models , C++ Memory Model (C++ Memory Model: Migrating from X86 to ARM)
May 4: Memory Management , Intel oneAPI TechTalk
Apr.27: Scope , Embedding (code, PyCEAC, PyScan, PyCType)
Apr.20: Algebraic Data Types [PFPL], Lua
Apr.13: Fundamentals (lambda calculus) , Statics and Dynamics [PFPL], interpreter.ml
Apr. 6: Fundamentals (lambda calculus)

Apr. 6: Abstract Interpretation
Mar.30: Pointer Analysis (video: 1, 2)
Mar.23: Interprocedural Analysis (video), Control Flow Analysis (video)
Mar.16: Widening and Narrowing (video), Path Sensitivity (video), Interprocedural Analysis (video)
Mar.9: The unification solver and Lattices, Examples of Flow Sensitive Analyses
Mar. 2:TIP and Type Analysis , The unification solver and Lattices (TIP-GitHub, tipc, tipc-passes)
Feb.23: Course Info , AST & CFG

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.
......