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 | Canceled | \ | \ |
| Sep 16 | Group Discussion: Existing Progress and Remaining Challenges | ||
| Sep 23 | Recess Week | ||
| Sep 30 | “My productivity is boosted, but …” Demystifying Users’ Perception on Al Coding Assistants | Junwen An | Yunbo Lyu |
| Oct 7 | OOPSLA SRC Dry Run | ||
| Oct 10 | Linalg is All Your Need | TEST Lab | Ivan Ho |
| 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 | Advances in Hardware Model Checking: Algorithms, Challenges, and Performance Diagnosis | Ningke | Yibo |
| Nov 18 | Zhaokun Presentation | Zhaokun | \ |
| Nov 25 | |||
| Dec 2 | Group Discussion | ||
| … |
Details of upcoming and past talks below.