Friday, November 25, 2016 2:00 pm
-
2:00 pm
EST (GMT -05:00)
Candidate
Jeff Yucong Luo
Topic
Program Synthesis of Pluggable Type Systems
Supervisors
Werner Dietl and Patrick Mitran
Background subjects
- Program Synthesis
- Type Systems
- Domain Specific Languages