If you want to give a talk or attend the seminar, please reach out to
Yibo.
Timetable for upcoming events in AY25/26 (subject to changes):
Date | Title | Host | Invitee |
---|---|---|---|
Aug 19 | AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents | Ningke Li | Haoyu Wang |
Aug 26 | Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle | Ningke Li | Xiaokun Luan |
Sep 2 | Static bug detection in the era of LLMs | Yibo Dong | Yiling Lou |
Sep 9 | “My productivity is boosted, but …” Demystifying Users’ Perception on Al Coding Assistants | Junwen An | Yunbo Lyu |
Sep 16 | Group Discussion: Existing Progress and Remaining Challenges | ||
Sep 23 | Recess Week | ||
Sep 30 | |||
Oct 7 | |||
Oct 14 | OOPSLA Week | \ | \ |
Oct 21 | PUBLIC HOLIDAY | \ | \ |
Oct 28 | Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration | Yibo Dong | Jingjing Liang |
Nov 4 | Group Discussion | ||
Nov 11 | Zhaokun Presentation | Zhaokun | \ |
Nov 18 | |||
Nov 25 | |||
Dec 2 | Group Discussion | ||
… |
Details of upcoming and past talks below.