Using Program Synthesis to Build Compilers
Video Not Working? Fix It Now
Alvin Cheung (UC Berkeley)
https://simons.berkeley.edu/talks/tbd-324
Synthesis of Models and Systems
Comment
Alvin Cheung (UC Berkeley)
https://simons.berkeley.edu/talks/tbd-324
Synthesis of Models and Systems
![[PLMW@PLDI24] Letting users do the undecidable: lessons from program synthesis](https://ytimg.googleusercontent.com/vi/IhBOsI0Cx48/mqdefault.jpg)
