Room: 1
| Time | Title | Authors |
|---|---|---|
| 11:00 | ChatGPT in the Loop – A Natural Language Extension for Domain-Specific Modeling Languages | Busch, Nolte, Bainczyk, and Steffen |
| 11:30 | Software Verification in the Presence of Generated Programs | Beyer |
| 12:00 | A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation | Huang, Ruan, Huang, Jin, Dong, Wu, Mu, Qi, Zhao, Cai, Zhang, Wu, Xu, Wu, Freitas, Mustafa, and Bensalem |
| Lunch | ||
| 14:30 | Integrating Distributed Component-Based System through Deep Reinforcement Learning | Cohen and Peled |
| 15:00 | AI-Assisted Programming with Test-based Refinement | Aichernig and Havelund |
| 15:30 | Award Ceremony | |
| Coffee Break | ||
| 16:30 | Discussion: The possible, and desired, future of AI assisted programming | |