时间
| 主讲人 | 论文题目
| 附件 | 会议/期刊 |
| 2021.01.05 | 郭兴 | TIRAMISU: A Polyhedral Compiler for Dense and Sparse Deep Learning |  Tiramisu.pptx | NIPS 2019 |
| 2021.01.26 | 张宇翔 | Chameleon: Adaptive Code Optimization for Expedited Deep Neural Network Compilation | Chameleon.pptx | ICLR 2020
|
| 2021.03.16 | 刘硕 | HPVM: heterogeneous parallel virtual machine | HPVM.pptx | PPoPP 2018
|
| 2021.03.23 | 王顺洪 | Harnessing Deep Learning via a Single Building Block | BRGEMM.pptx | IPDPS 2020 |
| 2021.03.30 | 黄奕桐 | TASO: Optimizing Deep Learning Computation with Automatic Generation of Graph Substitutions | TASO.pptx | SOSP 2019
|
| 2021.04.06 | 丁伯尧 | Reliable and Precise WCET Determination for a Real-Life Processor & Worst-case execution time prediction by static program analysis | WCET.pptx |
EMSOFT 2001 & IPDPS 2004 |
| 2021.04.13 | 刘硕 | ApproxHPVM: a portable compiler IR for accuracy-aware optimizations | ApproxTuner.pptx | PACMPL 2019 |
| 2021.04.20 | 王顺洪 | LIBXSMM: Accelerating Small Matrix Multiplications by Runtime Code Generation | LIBXSMM.pptx | SC 2016 |
| 2021.04.27 | 翟祎 | Relay: A High-Level Compiler for Deep Learning | relay.pptx | arXiv 2019 |
| 2021.05.11 | 龚磊 | Scenic: A Language for Scenario Specification and Scene Generation | Scenic.pptx | PLDI 2019 |
2021.05.18
| 胡明哲 | Safety Verification of Deep Neural Networks | Safety.pptx | CAV 2017 |
| 2021.05.25 | 黄奕桐 | Analytical cache modeling and tilesize optimization for tensor contractions | ACMTC.pptx | SC 2019
|
2021.06.01
| 丁伯尧 | Breaking Type Safety in Go: An Empirical Study on the Usage of the unsafe Package | GoUnsafe.pptx | TSE 2021
|
| 2021.06.15 | 刘硕 | Ansor: Generating High-Performance Tensor Programs for Deep Learning | Ansor.pptx | OSDI 2020 |
| 2021.06.29 | 王顺洪 | EagerMOT: 3D Multi-Object Tracking via Sensor Fusion | EagerMOT.pptx | ICRA 2021
|
| 2021.07.06 | 胡明哲 | The Meaning of Multi-Language Programs | Multi-Language.pptx |
Doctoral Dissertation 2007 |
2021.07.13
| 龚磊 | LiDARsim: Realistic LiDAR Simulation by Leveraging the Real World | lidarsim.pptx | CVPR 2020 |
2021.07.20 | 翟祎 | Ansor: Generating High-Performance Tensor Programs for Deep Learning | ansor.pptx | OSDI 2020 |
| 2021.07.27 | 赵琦 | Lightweight Call-Graph Construction for Multilingual Software Analysis | CallGraph.pptx | ICSOFT 2018 |
| 2021.08.03 | 黄奕桐 | Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning | Pollux.pptx | OSDI 2021 |
| 2021.08.10 | 丁伯尧 | Yak: A High-Performance Big-Data-Friendly Garbage Collector | Yak.pptx | OSDI 2016 |
2021.09.07
| 刘硕 | DISC: A Dynamic Shape Compiler for Machine Learning Workloads | DISC.pptx | EuroMLSys 2021 |
| 2021.09.22 | 王顺洪 | Efficient and Generic 1D Dilated Convolution Layer for Deep Learning | 1DConv.pptx | arXiv 2021 |
| 2021.10.13 | 龚磊 | VERIFAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems | verifai.pptx | CAV 2019 |
| 2021.10.20 | 胡明哲 | Fencing off Go: Liveness and Safety for Channel-Based Programming | Gong.pptx | POPL 2017 |
| 2021.10.27 | 赵琦 | On the Recall of Static Call Graph Construction in Practice | scg.pptx | ICSE 2020 |
| 2021.11.3 | 李永尚 | Time-Optimal Qubit Mapping | qmapping.pptx | ASPLOS 2021 |
| 2021.11.10 | 陈铭瑜 | Optimizing DNN Computation Graph Using Graph Substitutions | substitution.pptx | VLDB 2020 |
| 2021.11.17 | 黄奕桐 | Efficient GPU Memory Management for Nonlinear DNNs | DyMem.pptx | HPDC 2020 |
| 2021.11.24 | 丁伯尧 | AddressSanitizer: A Fast Address Sanity Checker | AddressSanitizer.pptx | USENIX ATC 2012 |
| 2021.12.1 | 刘硕 | Efficient Transformers: A Survey | efficient transformer.pptx | arXiv 2020 |
| 2021.12.15 | 翟祎 | Value Learning for Throughput Optimization of Deep Learning Workloads | value learning.pptx | MLSys 2021 |
| 2021.12.22 | 龚磊 | Occlusion-aware R-CNN: Detecting Pedestrians in a Crowd | ORCNN.pptx | ECCV 2018 |
| 2021.12.29 | 胡明哲 | An Empirical Study of Type-Related Defects in Python Projects | khan2021tse.pptx | TSE 2021 |
