Courses and Seminar Taught by Mooly Sagiv
2015-2016
(Oct'15):
Principles of Program Analysis.
(Feb'14):
Programming Languages.
(Feb'14):
A workshop about software defined networks
PL seminar organized by
Noam Rinetzky
and myself.
2014-2015
(Feb'15):
Automatic Software Verification.
(Feb'15):
Programming Languages.
PL seminar organized by
Noam Rinetzky
and myself.
2013-2014
(Oct'13):
Reasoning about Software Defined Networks.
(Feb'14):
Programming Languages.
(Feb'14):
A workshop about software defined networks
PL seminar organized by
Noam Rinetzky
and myself.
2012-2013
0368.3133 (Oct'12):
Compilation Course.
0368.405101 (Oct'12):
Program Analysis.
li>(February'13):
A workshop on using data structure synthesis
(jointly with
Shachar Itzhaky
)
2011-2012
0368.3133 (Oct'12):
Compilation Course.
0368.405101 (March'12):
Advanced Topics in Programming Languages.
(March'12): A workshop on using domain specific languages for user interfaces (jointly with
Shachar Itzhaky
)
2010-2011
0368.3133 (Oct'11):
Compilation Course.
0368.405101 (March'12):
Program Analysis.
(March'12): A workshop on using domain specific languages for user interfaces (jointly with
Shachar Itzhaky
)