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.