Dec 13

Session 1 (10:10—11:00)

• Tailin Chen 652024330003: AXA: Cross-Language Analysis through Integration of Single-Language Analyses 📄
• Xinjie Deng 502024330008: Revizor: Testing Black-Box CPUs against Speculation Contracts 📄
• Tao Bu 502024330002: Self-Consistency Improves Chain of Thought Reasoning in Language Models 📄
• Yao Yang 522024330110: LoRA: Low-Rank Adaptation of Large Language Models 📄
• Zhenhui Zhang 502024330071: Towards μs Tail Latency and Terabit Ethernet: Disaggregating the Host Network Stack 📄

Session 2 (11:10—12:00)

• Zihao Zhang 522024330129: Towards Large Language Models as Copilots for Theorem Proving in Lean 📄
• Kairui Liu 522024330049: NeuRI: Diversifying DNN Generation via Inductive Rule Inference 📄
• Zijun Qian 652024330019: Synthesis of hybrid automata with affine dynamics from time-series data 📄
• Qingyun Yang 502024330058: Fuzz4All: Universal Fuzzing with Large Language Models 📄
• Junhao Yang 522024330108: Guiding Large Language Models to Answer Questions from System Logs 📄
• Peiyang He 502024330014: Predicting and Preventing Inconsistencies in Deployed Distributed Systems 📄