Dec 20
Session 1 (10:10—11:00)
- Jinpeng Wang 502024330046: Verilator: The Fast Free Hardware Simulator ⚒️
- Zheyu Zhong 502024330074: Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis 📄
- Ke Wu 502022336001: UniAP: Unifying Inter- and Intra-Layer Automatic Parallelism by Mixed Integer Quadratic Programming 📄
- Hanqing Lu 522024330054: SkillDetective: Automated Policy-Violation Detection of Voice Assistant Applications in the Wild 📄
- Peifeng Lyu 502024330037: Yak: A High-Performance Big-Data-Friendly Garbage Collector 📄
- Yanfeng Gao 502023330016: AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability 📄
Session 2 (11:10—12:00)
- Jingbo Zhai 522024330117: P-language: Gain Confidence in Concurrence Programs ⚒️
- Sicheng Lu 502024330035: Compiler-directed Migrating API Callsite of Client Code 📄
- Wei Sun 522024330071
- Baoding He 502024330016: Visual Programming: Compositional visual reasoning without training 📄
- Tianhui Song 502023330050: ViperGPT: Visual Inference via Python Execution for Reasoning 📄
- Yanke Zhou 522024330135: Toolformer: Language Models Can Teach Themselves to Use Tools 📄