Schedule

August 26	Lesson 1: Welcome & Overview
August 28	Upstate PL Seminar
September 2	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	Due: Lesson 1 tasks.
September 4	Lesson 2: Representing Programs
September 9	Lesson 3: Local Analysis & Optimization	Due: Lesson 2 tasks.
September 11	Lesson 3: Local Analysis & Optimization
September 16	Lesson 4: Data Flow	Due: Lesson 3 tasks.
September 18	Lesson 4: Data Flow
September 23	Lesson 5: Global Analysis	Due: Lesson 4 tasks.
September 25	Profiling (Serena Zhang, Maggie Gao, Jacqueline Wen) Efficient Path Profiling Thomas Ball and James R. Larus. MICRO 1996.
September 30	Lesson 6: Static Single Assignment	Due: Lesson 5 tasks.
October 2	Lesson 6: Static Single Assignment
October 7	SSA (Nate Young, Amanda Wang, Jiale Lao, Ning Wang, Ziyang Chen) 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.
October 9	Lesson 7: LLVM	Due: Lesson 6 tasks.
October 14	Fall break
October 16	Automatic Verification (Nikil Shyamsunder, Shihan Fang, Joseph Maheshe, Ruolin Ye, I-Ting Tsai) Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr. PLDI 2015.
October 21	Lesson 8: Loop Optimization	Due: Lesson 7 tasks.
October 23	Lesson 9: Interprocedural Analysis
October 28	Lesson 10: Alias Analysis	Due: Lesson 8 tasks.
October 30	Alias-Based Optimization (Cynthia Shao, Jonathan Brown, Pedro Pontes García) Type-Based Alias Analysis Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss.
November 4	Lesson 11: Memory Management	Due: Project proposal.
November 6	GC & Reference Counting (Jeffrey Qian, Helen Ge) A Unified Theory of Garbage Collection David F. Bacon, Perry Cheng, and V. T. Rajan. OOPSLA 2004.
November 11	Lesson 12: Dynamic Compilers	Due: Lesson 11 tasks.
November 13	Dynamic Languages (Jake Hyun, Tobi Weinberg and Adnan Armouti (Cornell Tech)) An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes C. Chambers, D. Ungar, and E. Lee. OOPSLA 1989.
November 18	Tracing (Jeremy Ku-Benjet, Ann Zhang, Sunwoo Kim) 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.
November 20	Superoptimization (Thomas McFarland, Vesal Bakhtazad, Nipat Chenthanakij, Arisina Banerjee) Denali: A Goal-Directed Superoptimizer Rajeev Joshi, Greg Nelson, and Keith Randall. PLDI 2002.	Due: Lesson 12 tasks.
November 25	Project work time
November 27	Thanksgiving break
December 2	Lesson 13: Concurrency & Parallelism
December 4	Lesson 14: Fast Compilers
December 16	Final project deadline, 4:30pm	Due: Project.