Schedule

August 22	Lesson 1: Welcome & Overview
August 24	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
August 29	Lesson 2: Representing Programs	Due: Lesson 1 tasks.
August 31	Lesson 3: Local Analysis & Optimization	Due: Lesson 2 tasks.
September 5	Lesson 3: Local Analysis & Optimization
September 7	Lesson 4: Data Flow	Due: Lesson 3 tasks.
September 12	Lesson 4: Data Flow
September 14	Lesson 5: Global Analysis	Due: Lesson 4 tasks.
September 19	Profiling (Bennett Wineholt) Efficient Path Profiling Thomas Ball and James R. Larus. MICRO 1996.
September 21	Lesson 6: Static Single Assignment	Due: Lesson 5 tasks.
September 26	Lesson 7: LLVM
September 28	Automatic Verification (Benjamin Carleton, Surendra Ghentiyala) Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr. PLDI 2015.	Due: Lesson 6 tasks.
October 3	Lesson 8: Loop Optimization	Due: Lesson 7 tasks.
October 5	Lesson 9: Interprocedural Analysis
October 10	Fall break
October 12	Lesson 10: Alias Analysis
October 17	Alias-Based Optimization (Kei Imada, Jan-Paul Ramos, Ryan Mao, Albert Xiao) Type-Based Alias Analysis Amer Diwan, Kathryn S. McKinley, and J. Eliot B. Moss.	Due: Lesson 8 tasks.
October 19	Lesson 11: Memory Management	Due: Project proposal.
October 24	GC & Reference Counting (Omkar Bhalerao, Sanjit Basker, Justin Ngai, Melinda Fang) A Unified Theory of Garbage Collection David F. Bacon, Perry Cheng, and V. T. Rajan. OOPSLA 2004.
October 26	Fancy Memory Management (Evan, Andy, Emily) Mesh: Compacting Memory Management for C/C++ Applications Bobby Powers, David Tench, Emery D. Berger, and Andrew McGregor. PLDI 2019.	Due: Lesson 11 tasks.
October 31	Lesson 12: Dynamic Compilers
November 2	Dynamic Languages (Benny Rubin, Collin Zhang, Alice Sze) An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes C. Chambers, D. Ungar, and E. Lee. OOPSLA 1989.
November 7	Tracing (Vivian Ding and William Wang and Enoch Chen) 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 9	Lesson 13: Program Synthesis	Due: Lesson 12 tasks.
November 14	Synthesis-Aided Compilers (Yixiao Du and Matthew Hofmann) 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.
November 16	Guest Lecture by Thierry Lavoie, Oracle	Due: Lesson 13 tasks.
November 21	Lesson 14: Concurrency & Parallelism
November 23	Thanksgiving
November 28	Compiler Frameworks (John Rubio, Arjun Shah, Jiahan Xie) MLIR: A Compiler Infrastructure for the End of Moore’s Law Chris Lattner, Mehdi Amini, Uday Bondhugula, Albert Cohen, Andy Davis, Jacques Pienaar, River Riddle, Tatiana Shpeisman, Nicolas Vasilache, and Oleksandr Zinenko. arXiv preprint, 2020.
November 30	Interactive Verification (Zak, Stephen V, Ali) Formal Verification of a Realistic Compiler Xavier Leroy. CACM in 2009.
December 11	Final project deadline (4:30pm)	Due: Project.