International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning | Gerhard Stenzel, Kyrill Schmid, Michael Kölle, Philipp Altmann, Marian Lingsch-Rosenfeld, Maximilian Zorn, Tim Bücher, Thomas Gabor, Martin Wirsing, Lenz Belzner |
| 11:30 | Context Engineering for AI-Assisted Programming for Domain-Specific Languages | Moez Ben Hajhmida, Edward A. Lee |
| 12:00 | Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software | Mattias Nyberg, Minal Suresh Patil, Gustav Ung |