Lectures

Date	Topic and Notes	Homework Due This Class	Reading For This Class
Thu Jan 21 	Course Overview
Tue Jan 26	History of PL Functional Programming		Required: Chapters 10.1 - 10.3, 10.5 - 10.8, 13.2.4 Required for Compilers Only: Chapter 14.1 CD Chapter 14.2 Optional: Joel Spolsky's The Perils of JavaSchools
Thu Jan 28	Functional Programming Overview of Cool	PA1c (Rosetta Checkpoint) Due	Required: The Cool Reference Manual CD Chapter 7.2.4 J. W. Backus. Speedcoding. Journal of the ACM 1(1) pp. 4-6, 1954. Optional: CD Chapter 10.6 Required for Compilers Only: CD Chapter 16 - 16.4
Tue Feb 02	Lexical Analysis & Finite Automata (Part 1)	PA1 (Rosetta) Due	Required: Chapters 2.1 - 2.2 On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 1 "Breaking up Strings" to "Hyphenation" Zeller's Udacity CS 259 — Software Debugging — Lesson 3 Simplifying Failures, Implementing the Strategy, Delta Debugging. (If you can't find these exact names, watch the videos for comprehension until you're confident that you've covered similar topics.) Optional: Andreas Zeller. Why programs fail: a guide to systematic debugging. Part of the Delta Debugging project. Edsger Dijkstra. How do we tell truths that might hurt? EWD498, 1975. P. J. Landin. The next 700 programming languages. Communications of the ACM 9(3) pp. 157-166, 1966.
Thu Feb 04	More Finite Automata (Part 2)		On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 1 "Tricky" to "Nondet to Det" Required for Compilers Only: Chapter 14.2
Tue Feb 09	Context-Free Grammars, Parsing, Derivations, Ambiguity	RS1 Recommended PA2 (Lexing) Due CA1 (Dead Code) Due	Required: Chapters 2.4 - 2.4.1 CD Chapters 2.4 - 2.4.1 On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 2 "Specification" to "It Could Be Worse"
Thu Feb 11	Top-Down Parsing, History, Earley (Earley Handout)	(Start PA3 early; look at the Midterm schedule to see why.)	Required: Chapters 2.3 - 2.3.2 On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 3 "Bag of Words" to "Expanding Exp" Optional: Wikipedia's LL Parsing Mike Clark's Removing Left Recursion Robert Ball's First Sets, Follow Sets and LL(1) Tables
Tue Feb 16	Earley Parsing and Examples	RS2 Recommended	Required: Chapter 2.3.3 earley.py — a classroom Earley parser Required for Compilers Only: Chapters 14.3 and 14.5 CD Chapters 5 - 5.3.2 On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 4 "Time Flies" to "Setting Precedence" Optional: Wikipedia's Earley Parsing Wikipedia's LR Parsing
Thu Feb 18	Midterm 1 (in class) (1 hour 30 minutes if needed)	(Do not forget PA3.)
Tue Feb 23	Code Generation (Part 1)	RS3 Recommended PA3 (Parsing) Due	Required: The Cool Reference Manual (no, really) Required for Compilers Only: USC CS 410 Lecture Notes: "Code Generation for a Stack Machine" CD Chapter 5.4
Thu Feb 25	Code Generation (Part 2)	CA2 (Three-Address) Due	Required for Compilers Only: CD Chapter 8.2.2
Tue Mar 01	Scoping & Types	PA4t (Semantics Test-Driven) Due	Required: Chapters 3.1 - 3.6 On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 5 "Formal Semantics" to "Conclusion" Required for Compilers Only: Wikipedia's Virtual method table Optional: CD Chapters 3.4 - 3.4.2 Wikipedia's Scope (programming)
Thu Mar 03	Type Checking & Static Semantics	PA4c (Semantics Checkpoint) Recommended (leaving it until after Spring Recess is unwise) CA3 (ASM Generator) Due	Required: Chapters 4 - 4.1, 7 - 7.1 Required for Compilers Only: CD Chapter 5.5 - 5.6 CD Chapter 16.5 - 16.9 Optional: Luca Cardelli's Type Systems (recommended)
Tue Mar 08	no class, Spring Recess
Thu Mar 10	no class, Spring Recess
Tue Mar 15	More Static Semantics	PA4c (Semantics Checkpoint) Due	Required: Chapters 7.2 - 7.3 Optional: Wikipedia's Type system
Thu Mar 17	Cool Type Checking, Runtime Organization	RS4 Recommended	Required: Chapters 8.1 - 8.3 Optional: Chapter 6 of Grant, Palmer & Smith's Princples of Programming Languages for an alternate presentation of Types (e.g., for exam review) Chapter 8 of Grant, Palmer & Smith's Princples of Programming Languages for an alternate presentation of compilation and memory layout (e.g., for exam review)
Tue Mar 22	Multi-Language Projects	PA4 (Semantics) Due	Required: Wikipedia's Java Native Interface Python's Extending Python with C or C++ Optional: OCaml's Interfacing C with OCaml
Thu Mar 24	Operational Semantics		Required: Chapters 9 - 9.4 Chapters 2 - 2.2.3 and 2.3.3 of Grant, Palmer & Smith's Princples of Programming Languages Optional: Bjarne Stroustrup. What is "Object-Oriented Programming"?. 1991 Wikipedia's Object-oriented programming
Tue Mar 29	Introduction to Game Theory	PA5t (Interpreter Test-Driven) Due	Optional: Wikipedia's Game Theory
Thu Mar 31	Basic Blocks, Local Optimizations Real-World Day (5pm)	RS5 Recommended	Required: Wikipedia's Basic block On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 6 "Optimization" to "Wrap Up"
Tue Apr 05	Dataflow Analysis, Global Optimizations		Required: Wikipedia's Data-flow analysis CD Chapter 16 - 16.4
Thu Apr 07	Automatic Memory Management Productivity (5pm)	RS6 Recommended CA4 (Compiler) Due	Required: Chapter 7.7 See Piazza forum for required Productivity readings Optional: David F. Bacon, Perry Cheng, V. T. Rajan. A unified theory of garbage collection. In Object-Oriented Programming Systems, Languages and Applications, pp. 50-68, 2004.
Tue Apr 12	Exceptions and Error Handling		Required: Chapter 8.5
Thu Apr 14	Debuggers and Profilers	RS7 Recommended PA5c (Interpreter Checkpoint) Due	Required: Chapters 15.3.2 and 15.3.3 Susan L. Graham, Peter B. Kessler, Marshall K. McKusick. gprof: a call graph execution profiler. In Best of Programming Languages Design and Implementation 1979-1999, pp. 49-57, 2004. On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 6 "Web Browser Architecture" to "Debugging in the Real World"
Tue Apr 19	Linking, Loading and Shared Libraries		Required: Chapters 14.4 and 14.6 CD Chapter 3.8 CD Chapter 14.7 Optional: Software Usability II by Tom Davis (a description of how software engineering (and shared libaries, called "DSO"s) played out as Silicon Graphics was developing the IRIX Operating System for the SGI Indy workstation)
Thu Apr 21	Language Security		Required: Aleph One. Smashing The Stack For Fun And Profit. In Phrack 7(49):14, 1996.
Tue Apr 26	Midterm 2 (in class) (1 hour 30 minutes if needed)
Thu Apr 28	Internet Security		Required: Ken Thompson. Reflections on Trusting Trust. ACM Turing Award Speech. On-Line: Weimer's Udacity CS 262 — Programming Languages — Lesson 7 "Final Unit" to "Victory"
Tue May 03	Quantum Computing, and/or Romance Novels
Tue May 10		PA5 (Interpreter) Due 11:50pm CA5 (Optimizer) Due 11:50pm Late Electronic/PA Submissions Due 11:50pm