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.
School of Computing and Data Science
Thomas M. Siebel Center for Computer Science201 N. Goodwin Ave. MC-258Urbana, IL 61801
Chicago Office200 South Wacker Drive, Suite 701 Chicago, IL 60606
General email: admin@siebelschool.illinois.edu