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 | Ningke Presentation | Ningke | \ |
| Nov 25 | |||
| Dec 2 | Group Discussion | ||
| … |
Details of upcoming and past talks below.