• Research seminar: Tel Aviv University research seminar on programming languages and systems
    Joint seminar with Ori Lahav and Adam Morrison and Mooly Sagiv and Sharon Shoham Buchbinder
    Code: 0368-5332
    Time: Semesters A and B, Sunday, 13:10–15:00
    Place: CheckPoint Bld. 380
    Homepage: TAU Sigplan webpage

  • Undergraduate course: Compilation
    Code: 0368-3133
    Time: Semester A, Tuesday, 09:00–12:00
    Place: Melamed Hall
    Homepage: Moodle

  • Advanced course: Program analysis and verification
    Code: 0368-4479
    Time: Semester B, Monday, 15:00–18:00
    Place: Shenkar (Physics) 104
    Homepage: Moodle