Recorded Video Lectures (start at Module 125)
Paper Presentation Slides:
-
Superword Level Parallelism (Viraj Agashe):
-
Provably correct peephole optimizations with Alive (Malik Hammad Faisal)
-
Incorrectness Logic (Ramneet Singh)
-
Houdini, an Annotation Assistant for ESC/Java (Gokul Sankar):
-
CoVaC: Compiler Validation by Program Analysis of the Cross-Product, PDF (Ramanuj Goel)
-
Translation and Run-Time Validation of Loop Transformations (Kavya Chopra)
-
Superoptimizer: a look at the smallest program (Sanaa Siddiqui)