Schedule

January 21	Lesson 1: Welcome & Overview
January 23	Performance and Measurement (Adrian) Producing Wrong Data Without Doing Anything Obviously Wrong! Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, and Peter F. Sweeney. ASPLOS 2009. SIGPLAN Empirical Evaluation Guidelines
January 28	Lesson 2: Representing Programs	Due: Lesson 1 tasks.
January 30	Lesson 3: Local Analysis & Optimization	Due: Lesson 2 tasks.
February 4	Lesson 3: Local Analysis & Optimization
February 6	Lesson 4: Data Flow	Due: Lesson 3 tasks.
February 11	Lesson 4: Data Flow
February 13	Lesson 5: Global Analysis	Due: Lesson 4 tasks.
February 18	February break
February 20	Profiling (Simon, Noah Schiff, Kabir Samsi, Allen) Efficient Path Profiling Thomas Ball and James R. Larus. MICRO 1996.
February 25	Lesson 6: Static Single Assignment	Due: Lesson 5 tasks.
February 27	Lesson 6: Static Single Assignment
March 4	SSA (Neel, Dev Patel (dp673)) Simple and Efficient Construction of Static Single Assignment Form Matthias Braun, Sebastian Buchwald, Sebastian Hack, Roland Leißa, Christoph Mallon, and Andreas Zwinkau. CC 2013.
March 6	Lesson 7: LLVM	Due: Lesson 6 tasks.
March 11	Automatic Verification (Annabel Baniak, Katherine Wu, Stephanie, Max) Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr. PLDI 2015.
March 13	Lesson 8: Loop Optimization	Due: Lesson 7 tasks.
March 18	Lesson 9: Interprocedural Analysis
March 20	Lesson 10: Alias Analysis	Due: Lesson 8 tasks.
March 25	Alias-Based Optimization (Michael Xing, Gerardo Teruel (gg525), Arnav Muthiayen) Type-Based Alias Analysis Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss.
March 27	Lesson 11: Memory Management	Due: Project proposal.
April 1	Spring break
April 3	Spring break
April 8	GC & Reference Counting (Ethan Gabizon, Parth Sarkar, Ernest Ng) A Unified Theory of Garbage Collection David F. Bacon, Perry Cheng, and V. T. Rajan. OOPSLA 2004.
April 10	Fancy Memory Management (Bryant Park, David Han, Mariia Soroka, Lisa Li) Mesh: Compacting Memory Management for C/C++ Applications Bobby Powers, David Tench, Emery D. Berger, and Andrew McGregor. PLDI 2019.
April 15	Lesson 12: Dynamic Compilers	Due: Lesson 11 tasks.
April 17	Dynamic Languages (Serena Duncan, and Ananya Goenka) An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes C. Chambers, D. Ungar, and E. Lee. OOPSLA 1989.
April 22	Tracing (Ethan, Tean Lai (tml95)) Trace-Based Just-in-Time Type Specialization for Dynamic Languages Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, and Michael Franz. PLDI 2009.
April 24	Superoptimization (Mark Barbone, Zihan Li, Sam Breckenridge) Denali: A Goal-Directed Superoptimizer Rajeev Joshi, Greg Nelson, and Keith Randall. PLDI 2002.	Due: Lesson 12 tasks.
April 29	Lesson 13: Concurrency & Parallelism
May 1	Lesson 14: Fast Compilers
May 6	Interactive Verification (Edmund, Jonah Bernard, Mahmoud Elsharawy) Formal Verification of a Realistic Compiler Xavier Leroy. CACM in 2009.
May 13	Final project deadline (12pm)	Due: Project.