Each group will present their course project on their assigned date. Please prepare 30-40 minutes of presentation (depending on the size of the group and the scope of the project) followed by Q&A and open discussion. If you have any questions or need to make changes, please contact the instructor as early as possible.
Schedule
| Date | Project Title | Presenters |
|---|---|---|
| 5/26/2025 | From Natural Languages to Formal Specifi cations, and to Test Cases | YH, JK |
| 5/28/2025 | Emotion-Based Code Synthesizer | TL, HL |
| 6/2/2025 | Synthesizing Board Game Rules via a Domain-Specific Language | AMN |
| 6/2/2025 | LLM-Based Counterexample Guided Inductive Synthesis | JY |
| 6/4/2025 | Combining Large Language Models and Genetic Programming | YL |
| 6/9/2025 | Program Synthesis using Separation Logic | TR, YN, YK |
| 6/11/2025 | Programming Hierarchical Functional Reactive Interfaces by Demonstration | JA, JL, GO |