This is a research seminar. The main goal is to present
ongoing research.
Lectures are given by Faculty members, students, and guests. If you want to
be included in the mailing list, please send email to Amiram Yehudai.
Everyone is welcome to attend. BUT if you want to be registered to the seminar, you
should first look at page 2 (2nd bullet) of the Guide to MSC studies in the School of CS
where the difference between regular seminars 4XXX and advanced topics seminars 5XXX
(like this one) is explained. Note that each registered student has to give a presentation
each semester s/he is registered, and attend regularly. The seminar is yearly, but a student may request to
be dropped after one semester and get a grade for that semester (if s/he gave a presentation).
contact Amiram Yehudai
(during a seminar meeting, or by e-mail) if you want to be registered
Weekly meetings
Monday 18:10-20:00.
Room – Schreiber 309
see University Map for the location. Gate 2 is the closest, but it is closes earlier. Enter through gate 1 or 14.
Amiram Yehudai ( amiramy at tau dot ac dot il )
Yishai Feldman ( yishai at il dot ibm dot com )
Shmuel Tyszberowicz ( tyshbe at tau dot ac dot il )
| Date | Speaker(s) | ||
| 1 | Nov 7, 2011 | Yishai Feldman + Ohad Barzilay | Impressions from SPLASH 2011 |
| Nov 21, 2011 | No meeting, due to PLDE in IBM Haifa | ||
| 2 | Nov 28, 2011 | Assaf Marron, Gera Weiss, Guy Wiener | Behavioral Programming |
| 3 | Dec 12, 2011 | Igor Gelfgat | Granulated Code Generation Of Interfering Functionalities |
| 4 | Dec 19, 2011 | Tal Cohen, Google | Gödel, Escher, Bach: Adventures in Translation |
| 5 | .Jan 2, 2012 | Yishai Feldman | Automatically Fixing Security Vulnerabilities in Java Code |
| 6 | Jan 9, 2012 | Arnon Sturm, Ben Gurion University | A Methodology for Developing Secure Database Code |
| 7 | Jan 23, 2012 | Alexey Zagalsky | ExampleOverflow - From Q&A to Example Code Repository |
| Jan 30, 2012 | David Faitelson, Afeka Tel Aviv Academic College of Engineering | Why the Object-Oriented paradigm does not support modularity and how we may fix this problem |