Tel Aviv University research seminar on Programming Languages and Systems.
Joint seminar with Ori Lahav, Adam Morrison and Mooly Sagiv and Sharon Shoham Buchbinder.
Time: Semesters A and B, Sunday, 12:00–14:00.
Place: Check Point 380.
Undergraduate course: Compilation.
Time: Semester A, Tuesday, 09:00–12:00.
Place: Check Point 001.
Advanced Seminar on Programming Languages and Program Analysis
Topic: Symbolic Execution.
Time: Semester A, Sunday, 9:00–11:00.
Place: Scheriber 008.
Program Analysis and Verification
Time: Semester B, Monday, 15:00–18:00.