Formal Methods for Low-Code/No-Code
- Event Type
- Seminar/Symposium
- Sponsor
- CS Compilers Area
- Location
- Room 2406 (Siebel)
- Date
- Oct 21, 2024 4:30 - 5:30 pm
- Speaker
- Aaron Councilman
- Views
- 150
In this talk, I will discuss my research, focusing on type systems we've developed for Domain-Specific Languages that can be used with type-driven program synthesis and to detect errors in code generated by Large Language Models. I'll discuss some of my work on type-driven synthesis and approaches we're developing to use these type systems to improve correctness of LLM generated code.