Oct 18
Session 1 (10:10—11:00), Chair: Yanyan Jiang
- Jiacai Cui 652024330005: Chisel: Constructing Hardware in a Scala Embedded Language ⚒️
- Yunxiang Liu 652024330017: GiantSan: Efficient Memory Sanitization with Segment Folding 📄
- Hengdi Ye 652024330045: SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis 📄
- Nongyu Di 652024330042: Competition-level code generation with AlphaCode 📄
- Deyu Kong 502024330024: Ollama: A Platform to run LLMs Locally ⚒️
Session 2 (11:10—12:00), Chair: Chang Xu
- Zirui Huang 652024330043: DeepXplore: Automated Whitebox Testing of Deep Learning Systems 📄
- Ziyang Yan 502024330057: Nix: A Reproducible, Declarative and Reliable Build System and Package Manager ⚒️
- Yingying Jiang 522024330031: SWE-Bench: Can Language Models Resolve Real-world GitHub Issues? 📄
- Hang Dai 502024330007: AutoFDO: Automatic Feedback-Directed Optimization for Warehouse-Scale Applications 📄
- Hua Ke 502024330023: Dockerizeme: Automatic inference of environment dependencies for python code snippets 📄
- Nairen Zhang 652024330038: Automated Ambiguity Detection in Layout-Sensitive Grammars 📄