|
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 |
| 8 |
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 |
|
|
|
|
| 9 |
May 14, 2012 |
Itai Segall, IBM Reseach Haifa |
Recent Advances in Combinatorial Test Design (CTD) Research |
| 10 |
May 21, 2012 |
Mati Shomrat |
Refactoring-Invariant Clone Detection |
| 11 |
May 28, 2012 |
Ran Ettinger, IBM Reseach Haifa |
Program Sliding |
| 12 |
June 11, 2012 |
Evgeny Vainer |
Deterministic Definition of Concurrent Behavior for Unit Testing Purposes |
| 13 |
June 18, 2012 |
Hadar Ziv, UC Irivine |
Human Centered Software Engineering: If it doesn't work for people, it doesn't work! |