Programming Languages, Formal Methods, and Software Engineering at the Siebel School of Computing and Data Science
| When | Wednesdays 1:00–2:00pm CT |
| Where | Siebel Center for Computer Science, Room 2406 |
| Zoom | Link |
| Faculty organizer |
Madhusudan Parthasarathy |
| Student organizers |
Adharsh Kamath, Shaurya Gomber |
This seminar features student presentations on in-progress or published research, as well as invited external academic and industry speakers. Students enrolled in the seminar for credit are required to present at least once, and may choose to either present their own work or a published paper from a related journal or conference (e.g., POPL, PLDI, OOPSLA, ICSE, FSE, CAV).
Topics of interest include, but are not limited to:
Interested in sharing your work? Send an email to the organizers with the title of your presentation and a link to your paper (if applicable).
| Date | Speaker | Topic | Room |
|---|---|---|---|
| Sept 9 | Organizers | Organizational meeting | 2124 SC |
| Sept 16 | Adharsh Kamath | Agent-C: Runtime enforcement for LLM agents | 2406 SC |
| Sept 23 | Prof. Darko Marinov | The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Created by Researchers | 2406 SC |
| Sept 30 | Prof. Darko Marinov | Re-evaluating Detection of Equivalent Mutants Using LLMs: We Should Properly Measure How Far We Are | 2406 SC |
| Shuyang Liu | Process-Centric Analysis of Agentic Software Systems | ||
| Oct 7 | Chentian Wu | Efficient Meta-Synthesis for Finite-Aspect Checkable Languages | 2406 SC |
| Oct 14 | Prof. David McAllester | Understanding Dependent Type Theory | 2406 SC |
| Oct 21Next | Dushyant Bharadwaj | RuleFlow : Generating Reusable Program Optimizations with LLMs | 2406 SC |
| Oct 28 | Nalin Wadhwa | TBD | 2406 SC |
| Nov 4 | TBD | TBD | 2406 SC |
| Nov 11 | TBD | TBD | 2406 SC |
| Nov 18 | Nausheen Mohammed | TBD | 2406 SC |
| Nov 25 | No seminar | Thanksgiving break | |
| Dec 2 | Trey Plante | TBD | 2406 SC |
| Dec 9 | TBD | TBD | 2406 SC |