Welcome to the homepage of CSE 645: Seminar in Languages, Spring 2026!
General Information
Course description: We will read papers and discuss research ranging from high-level specifications (such as logic, rules, and sets) to algorithms and methods for efficient implementations of programming languages, with a wide range of applications.
Everyone is welcome. If you are enrolled in the class, you are expected to attend a majority of the meetings and present a paper.
Instructors: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren, Paul Fodor.
Hours: Thursdays, 12:30-1:50PM ET on Zoom
https://stonybrook.zoom.us/j/94298584108?pwd=OXRLemROdk8xOHY3NXFRV2xjQmhVUT09
Mailing list: https://groups.google.com/a/cs.stonybrook.edu/g/languages
Schedule
The following schedule is tentative and subject to change.
1/29 Organization and topics discussion
2/5:
2/12:
2/19:
2/26:
3/5:
3/12:
3/19: Spring break
3/26:
4/2:
4/9:
4/16:
4/23:
4/30:
5/7: