Past Teaching

Teaching 2021-2022

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

Teaching 2021-2022

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

Teaching 2020-2021

• Research seminar: Tel Aviv University research seminar on Programming Languages and Systems.
  Joint seminar with Ori Lahav, Adam Morrison and Mooly Sagiv and Sharon Shoham Buchbinder.
  Code: 0368-5284.
  Time: Semesters A and B, Sunday, 12:00–14:00.
  Place: Check Point 380.
  
  
• Seminar: Advanced Seminar on Programming Languages and Program Analysis .
  Topic: Pointer Analysis.
  Code: 0368-3397.
  Time: Semester A.
  
  
• Advanced course: Program analysis and verification .
  Code: 0368-4479
  Time: Semester B, Tuesday, 15:00–18:00.
  
  
• Workshop: Workshop in Programming Languages Workshop in Programming Languages .
  Topic: Symbolic Execution Tools for Program Testing.
  Code: 0368-3526.
  Time: Semester B, Sunday, 9:00–11:00.
  
  

Teaching 2019-2020

• Undergraduate course: Compilation.
  Code: 0368-3133.
  Time: Semester A, Tuesday, 08:00–11:00.
  Place: Check Point 001.
  
  
• Seminar: Advanced Seminar on Programming Languages and Program Analysis .
  Topic: Pointer Analysis.
  Code: 0368-3397.
  Time: Semester A, Sunday, 09:00–11:00.
  Place: Scheriber 008.
  
  

Teaching 2018-2019

• Undergraduate course: Compilation.
  Code: 0368-3133.
  Time: Semester A, Tuesday, 08:00–11:00.
  Place: Dach 002.
  
  
• Seminar: Advanced Seminar on Programming Languages and Program Analysis .
  Topic: Symbolic Execution Tools for Software Testing.
  Code: 0368-3397.
  Time: Semester A, Sunday, 09:00–11:00.
  Place: Orenstein 102.
  
  
• Advanced course: Program analysis and verification .
  Code: 0368-4479
  Time: Semester B, Monday, 09:00–12:00.
  Place: Melamed auditorium
  
  
• Workshop: Workshop in Programming Languages Workshop in Programming Languages .
  Topic: Symbolic Execution.
  Code: 0368-3526.
  Time: Semester B, Tuesday, 16:00–18:00.
  Place: Kaplun 324.
  
  

Teaching 2017-2018

• Undergraduate course: Compilation.
  Code: 0368-3133.
  Time: Semester A, Tuesday, 08:00–11:00.
  Place: Dan David 002.
  
  
• Workshop: Workshop in Programming Languages.
  Topic: Symbolic Execution.
  Code: 0368-3526.
  Time: Semester A, Sunday, 9:00–11:00.
  Place: Kaplun 324.
  
  
• Seminar: Advanced Seminar on Programming Languages and Program Analysis.
  Topic: Symbolic Execution Tools for Software Testing.
  Code: 0368-3397.
  Time: Semester A, Sunday, 16:00–18:00.
  Place: Kaplun 118.
  
  
• Advanced course: Program analysis and verification.
  Code: 0368-4479
  Time: Semester B, Monday, 13:00–16:00.
  Place: Dan David 201
  
  
• Seminar: Advanced Seminar on Programming Languages and Program Analysis.
  Topic: Symbolic Execution.
  Time: Semester B, Sunday, 9:00–11:00.
  Code: 0368-3181.
  Place: Orenstein 102.
  
  

Teaching 2016-2017

• Undergraduate course: Compilation
  Semester A, Tuesday, 09:00–12:00, Dan David 003.
• Workshop: Workshop in Programming Languages
  Semester A, Sunday, 9:00–11:00, Kaplun 324

Teaching 2015-2016

• Undergraduate course: Compilation
  Semester A, Tuesday, 09:00–12:00, Dan David 003.
• Seminar: Advanced Seminar on Programming Languages and Program Analysis: Virtual Machines
  Semester A, Tuesday, 14:00–16:00, Ornstein 110.
• Advanced course: Program analysis and verification
  Semester B, Monday, 13:00–16:00, Semester B, Schreiber 008.
• Workshop: Workshop in Programming Languages
  Semester B, Tuesday, 16:00–18:00, Shenkar 222

Teaching 2014-2015

• Undergraduate course: Compilation
  Semester A, Tuesday, 09:00–12:00, Dan David 003.
• Seminar: Advanced Seminar on Programming Languages and Program Analysis: Automatic memory management
  Semester A, Tuesday, 14:00–16:00, Schreiber 007.
• Advanced course: Program analysis and verification
  Semester B, Thursday, 9:00–12:00, Semester B, Schreiber 006
• Workshop: Automatic program generation for detecting vulnerabilities and errors in compilers and interpreters
  Semester B, Thursday, 12:00–14:00, Schreiber 210

Teaching 2013-2014

• Advanced course: Program analysis and verification.
  Semester B. Monday, 13:00-16:00. Shenkar-Physics 222.
• Workshop: Automatic tools for detecting security vulnerabilities in JavaScripts.
  Semester B. Monday, 16:00-18:00, Kaplun 319.
  
• Advanced seminar: Seminar in automatic tools for analyzing programs with dynamic memory.
  Semester B. Sunday, 14:00-16:00. Dan David 201.
  
• Compilation.
  Semester A.

Teaching 2012-2013

• Advanced seminar: Dynamic and Static Methods for Program Analysis.
  Semester B.
• Workshop: Static analysis tools for detecting security vulnerabilities.
  Semester B.