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 |
|---|---|---|---|
| May 6 | Group Discussion | — | — |
| April 29 | — | — | |
| April 22 | — | — | |
| April 15 | — | — | |
| April 8 | — | — | |
| April 7 | Reading Group | Zhaokun | — |
| April 1 | — | — | |
| March 25 | — | — | |
| March 24 | Reading Group | Yuancheng | — |
| March 18 | — | — | |
| March 11 | Qiyu Presentation | — | — |
| March 10 | Reading Group | Yibo | — |
| March 4 | TBD | TEST-lab | Flavien Solt |
| Feb 25 | Recess Week | — | — |
| Feb 18 | Skip: Chinese New Year | — | — |
| Feb 11 | Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time | Yibo Dong | Yuchen Shao |
| Feb 10 | Reading Group | Junwen | — |
| Feb 4 | Suyang Dry Run | — | — |
| Jan 28 | Skip | — | — |
| Jan 27 | Reading Group | Ningke | — |
| Jan 21 | Group Discussion | — | — |
| — | Winter Break | — | — |
| Dec 2 | Group Discussion | ||
| Nov 25 | Canceled for Final Exams | ||
| Nov 18 | Zhaokun Presentation | Zhaokun | \ |
| Nov 11 | FYP Presentation Dry Run | ||
| Nov 4 | Group Discussion: Insight behind current/previous research | ||
| Oct 28 | Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration | Yibo Dong | Jingjing Liang |
| Oct 21 | PUBLIC HOLIDAY | \ | \ |
| Oct 14 | OOPSLA Week | \ | \ |
| Oct 10 | Linalg is All Your Need | TEST Lab | Ivan Ho |
| Oct 7 | OOPSLA SRC Dry Run | ||
| Sep 30 | “My productivity is boosted, but …” Demystifying Users’ Perception on Al Coding Assistants | Junwen An | Yunbo Lyu |
| Sep 23 | Recess Week | ||
| Sep 16 | Group Discussion: Self Introduction | ||
| Sep 9 | Canceled | \ | \ |
| Sep 2 | Static bug detection in the era of LLMs | Yibo Dong | Yiling Lou |
| Aug 26 | Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle | Ningke Li | Xiaokun Luan |
| Aug 19 | AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents | Ningke Li | Haoyu Wang |
Details of upcoming and past talks below.