Course work: Students
will present papers, participate in discussions, and do a
substantial final project.
Prerequisites: Graduate-level
courses on computer architecture and compilers
Topics and schedule
Piazza: CS 395T-S
Announcements
Useful links to similar courses:
Computer-Aided Reasoning for Software
Topics in Programming Languages: Program Synthesis