Lecture notes are available in PDF, and the original
Powerpoint formats. Its best to print these out and bring them to class, so you can
take notes on them.
Nishil Talati and Tarunesh Verma, "Sofware Prefetching for Indrect Memory Accesses" - PDF
Class 18 (Wednesday, Nov 20, 2019): Research paper presentations II
Cristina Noujaim, Diego Rojas Salvador and Jacob Hage, "Eliminating Timing Side-Channel Leaks using Program Repair" - PDF
Rachel Menge, Ben Reeves, and Carson Boden, "Support of Probabilistic Pointer Analysis in the SSA Form" - PDF
Yian Zhu, Tengda Tang and Chess Luo, "Partial Dead Code Elimination" - PDF
Yunjie Pan, Shibo Chen, Cheng Chi and Yifan Guan, "Smokestack: Thwarting DOP Attacks with Runtime Stack Layout Randomization" - PDF
Class 19 (Monday, Nov 25, 2019): Research paper presentations III
Zineb Benameur El Youbi, Sanjay Sri Vallabh Singapuram, and Hannah Potter, "Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines," - PDF
Lee Moore, Nicholas Wilson, Jiong Zhu, Do June Min, "Clairvoyance: Look-Ahead Compile-Time Scheduling" - PDF
Fudong Fan, Chris Hoang, Sach Vaidya, "Making Caches Work for
Graph Analytics" - PDF
Leul Belayneh and Nicholas Wendt, "An event-triggered programmable prefetcher for irregular Workloads" - PPT
Class 20 (Wednesday, Nov 27, 2019): Research paper presentations IV
Lili Chen, Xinyun Jiang, Shengyi Qian, Xingyu Wang, "Practical Mitigations for Timing-Based Side-Channel Attacks on Modern x86 Processors," - PDF
Iris Bao, Jiongsheng Cai, Yate Ji, Wenyi Wu, "Graph Prefetching Using Data Structure Knowledge" - PDF
Qingzhao Zhang, Qinyun Wang, Haizhong Zheng, Ruizhi You, "Verifying Systems Rules Using
Rule-Directed Symbolic Execution" - PDF
Will Wendorf, Ben Stoler, and Bing Schaefer, "Bitwidth Aware Global Register Allocation" - PDF
Class 21 (Monday, Dec 2, 2019): Research paper presentations V
Christina Fosheim-Hoag, Sabrina Brogren, and Gabriel Matute, "Clang matchers for verified usage of the C++ Standard Template Library," - PDF
Tiancheng Ge, Fanzhong Kong, and Zihan Li, "Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation" - PDF
Hengjia Zhang, Kaitao Wu, Kejia Yang, and Yuren Zhong, "Predicting Unroll Factors Using Supervised Classification" - PDF
Ziyang Wang, Ruoyao Wang, Likai Sheng, and Junjie Xing, "Practical Aggregation of Semantical Program Properties for Machine Learning Based Optimization" - PDF
Class 22 (Wednesday, Dec 4, 2019): Research paper presentations VI
Colin Nizielski, Lloyd Shatkin, and Nick Adams, "Pixy: A Static Analysis Tool for Detecting Web Application Vulnerabilities," - PDF
Chris Hu, John Penington, Steven Schmatz, and Zephaniah Hill, "Optimizing Expression Selection for Lookup Table Program Transformation" - PDF
Cangsu Lei, Shihao Liu, Yangming Ke, and Zhensheng Jiang, "Look-Ahead SLP: Auto-vectorization in the Presence of Commutative Operations" - PDF
Cheng Jiang, Daniel Jin, and Eric Hao, "Optimizing Array Bound Checks Using Flow Analysis" - PDF
Class 23 (Monday, Dec 9, 2019): Research paper presentations VII
Kevin Louglin and Ian Neal, "Reusability is FIRRTL Ground: Hardware Construction Languages, Compiler Frameworks, and Transformations," - PDF
Chengyao Li, Yang Shi, Jiaxin Li, and Liang Zhang, "Hydra: Auto Parallelism" - PDF
Che Yu Lin, Ping Sheng Kao, and Chia Wei Chu, "Optimizing for Reduced Code Space using Genetic Algorithms" - PDF
Gefei Zuo and Jiacheng Ma, "REPT: Reverse Debugging of Failures in Deployed Software" - PDF
Class 24 (Wednesday, Dec 11, 2019): Research paper presentations VIII
Bryce Messmann and Rohit Kandula, "gpucc: An Open-Source GPGPU Compiler," - PDF
Kartikeya Kandula and Tarun Gogineni, "Milepost GCC: Machine Learning Enabled Self-tuning Compiler" - PDF