Oct 25

Session 1 (10:10—11:00)

• Haotian Sun 522024330070: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs ⚒️
• Chenghuan Jiang 502024330020: Combine is all you need ⚒️
• Zijian Zang 522024330115: Automatic Chain of Thought Prompting in Large Language Models 📄
• Si Shen 652024330020: Identifying and Correcting Programming Language Behavior Misconceptions 📄
• Senqi Tan 652024330022: How to build a compiler with LLVM and MLIR ⚒️
• Zengji Li 522024330039: Tree-sitter: A Parser Generator Tool and an Incremental Parsing Library ⚒️

Session 2 (11:10—12:00)

• Yuhao Tan 502024330043: Prompting Is Programming: A Query Language for Large Language Models 📄
• Qian Cheng 652024330004: Etcd: A distributed, highly available key-value storage system ⚒️
• Lidong Yan 502024330056: GDB: make debugging more effective through python ⚒️
• Peixuan Xia MG1833Z08: tinyBenchmarks: evaluating LLMs with fewer examples ⚒️
• Zhongsheng Zhan 502024330062: Automatic Parallelism Management 📄