Schedule

September 2	Lesson 1: Welcome & Overview
September 7	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
September 9	Lesson 2: Representing Programs Due: Lesson 1 tasks.
September 14	Lesson 3: Local Analysis & Optimization Due: Lesson 2 tasks.
September 16	Lesson 3: Local Analysis & Optimization
September 21	Lesson 4: Data Flow Due: Lesson 3 tasks.
September 23	Lesson 4: Data Flow
September 28	Lesson 5: Global Analysis & SSA Due: Lesson 4 tasks.
September 30	Profiling (Ted Bauer) Efficient Path Profiling Thomas Ball and James R. Larus. MICRO 1996.
October 5	Lesson 5: Global Analysis & SSA
October 7	Lesson 6: LLVM Due: Lesson 5 tasks.
October 12	Automatic Verification (Goktug Saatcioglu & Samwise Parkinson) Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr. PLDI 2015.
October 14	Fall break
October 19	Lesson 7: Loop Optimization Due: Lesson 6 tasks.
October 21	Lesson 8: Interprocedural Analysis
October 26	Lesson 9: Alias Analysis
October 28	Alias-Based Optimization (Kenneth Li) Type-Based Alias Analysis Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss.
November 2	Lesson 10: Memory Management Due: Lesson 7 tasks.
November 4	GC & Reference Counting (Mark Moeller) A Unified Theory of Garbage Collection David F. Bacon, Perry Cheng, and V. T. Rajan. OOPSLA 2004. Due: Project proposal.
November 9	Modern GC (Patrick LaFontaine) Fast Conservative Garbage Collection Rifat Shahriyar, Stephen M. Blackburn, and Kathryn S. McKinley. OOPSLA 2014. Due: Lesson 10 tasks.
November 11	Lesson 11: Dynamic Compilers Dynamic Languages (Evan Adler) An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes C. Chambers, D. Ungar, and E. Lee. OOPSLA 1989.
November 16	Semi-Finals Study Period
November 18	Semi-Finals
November 23	Semi-Finals
November 25	Thanksgiving break
November 30	Superoptimization (Socrates Wong) Superoptimizer: A Look at the Smallest Program Alexia Massalin. ASPLOS 1987. Classes go all-virtual
December 2	Synthesis-Aided Compilers (Jie Liu) Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins, and Rastislav Bodik. PLDI 2014. Tracing (Will Smith) 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.
December 7	Lesson 13: Concurrency & Parallelism Due: Lesson 11 tasks.
December 9	Vectorization (Ankush Rayabhari) Exploiting Superword Level Parallelism with Multimedia Instruction Sets Samuel Larsen and Saman Amarasinghe. PLDI 2000.
December 14	Safe Parallelism (Hanchen Jin, Xinwen Wang) A Type and Effect System for Deterministic Parallel Java Robert L. Bocchino, Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, and Mohsen Vakilian. OOPSLA 2009. Due: Lesson 12 tasks.
December 16	Interactive Verification (Priya Srikumar) Formal Verification of a Realistic Compiler Xavier Leroy. CACM in 2009.
December 18	Final project due (no class)