Schedule

January 25	Lesson 1: Welcome & Overview
January 27	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
February 1	Lesson 2: Representing Programs	Due: Lesson 1 tasks.
February 3	Lesson 3: Local Analysis & Optimization	Due: Lesson 2 tasks.
February 8	Lesson 3: Local Analysis & Optimization
February 10	Lesson 4: Data Flow	Due: Lesson 3 tasks.
February 15	Lesson 4: Data Flow
February 17	Lesson 5: Global Analysis	Due: Lesson 4 tasks.
February 22	Profiling (Niansong Zhang, Jiajie Li) Efficient Path Profiling Thomas Ball and James R. Larus. MICRO 1996.
February 24	Lesson 6: Static Single Assignment	Due: Lesson 5 tasks.
March 1	February break
March 3	Lesson 7: LLVM
March 8	Automatic Verification (Aaron Tucker) Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr. PLDI 2015.	Due: Lesson 6 tasks.
March 10	Lesson 8: Loop Optimization
March 15	Lesson 9: Interprocedural Analysis	Due: Lesson 7 tasks.
March 17	Lesson 10: Alias Analysis
March 22	Alias-Based Optimization (Andrew Butt, Andrey Yao) Type-Based Alias Analysis Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss.	Due: Lesson 8 tasks.
March 24	Lesson 11: Memory Management	Due: Project proposal.
March 29	GC & Reference Counting (Michael Maitland and Orko Sinha) A Unified Theory of Garbage Collection David F. Bacon, Perry Cheng, and V. T. Rajan. OOPSLA 2004.
March 31	Modern GC (Shubham Chaudhary and Ayaka Yorihiro) Fast Conservative Garbage Collection Rifat Shahriyar, Stephen M. Blackburn, and Kathryn S. McKinley. OOPSLA 2014.	Due: Lesson 11 tasks.
April 5	Spring break
April 7	Spring break
April 12	Lesson 12: Dynamic Compilers
April 14	Dynamic Languages (Charles Sherk) An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes C. Chambers, D. Ungar, and E. Lee. OOPSLA 1989.
April 19	Tracing (Yulun Yao) 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 21	Lesson 13: Program Synthesis	Due: Lesson 12 tasks.
April 26	Superoptimization (Victor Giannakouris and Jonathan Tran) Superoptimizer: A Look at the Smallest Program Alexia Massalin. ASPLOS 1987.
April 28	Synthesis-Aided Compilers (Hongzheng Chen) 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.	Due: Lesson 13 tasks.
May 3	Lesson 14: Concurrency & Parallelism
May 5	Safe Parallelism (Nikita Lazarev and Susan Garry) 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.
May 10	Interactive Verification (Anshuman Mohan and Alaia Solko-Breslin) Formal Verification of a Realistic Compiler Xavier Leroy. CACM in 2009.
May 19	Final project due (no class)