What You Need to Know Before
You Start
Starts 27 June 2025 09:24
Ends 27 June 2025
Language Model Guided Synthesis for Lifting
Simons Institute
2765 Courses
48 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
Explore how the integration of language models with program synthesis paves the way for automating the lifting of code to domain-specific languages. This approach enhances the efficiency of code generation processes when working with heterogeneous hardware, offering advancements in the fields of artificial intelligence and computer science.
Syllabus
- Introduction to Language Models and Program Synthesis
- Basics of Domain-Specific Languages (DSLs)
- Language Models for Code Generation
- Program Synthesis Techniques
- Integration of Language Models and Program Synthesis
- Lifting Code to Domain-Specific Languages
- Practical Applications and Case Studies
- Hands-on Project
- Future Directions in Language Model Guided Synthesis
- Review and Course Conclusion
Subjects
Computer Science