Date | Speaker(s) | ||
1 | November 10, 2008 | Organizational Meeting | |
2 | November 17, 2008 | Aharon Abadi, IBM Haifa Research Lab | Plan-Based Approach to Program Slicing |
3 | November 24, 2008 | Yishai Feldman, IBM Haifa Research Lab + Ahron Abadi | Re-Approaching the Refactoring Rubicon |
4 | December 15, 2008 | Dmitri Pikus, IBM Haifa Research Lab | Customizing MDD Environments for Different Industrial Domains |
5 | December 22, 2008 | Mati Shomrat | Using AI Planning to Implement Algorithm Composition |
6 | December 29, 2008 | Ohad Barzilay | Activity Based Approach to Software Development |
7 | January 5, 2009 | Ron Shaposhnikov | Post-linker optimizations techniques |
8 | January 12, 2009 | Alex Romanov | Using Social Tagging In Software Development |
9 | January 19, 2009 | Atzmon Hen-tov and Lior Schachter, Pontis | ModelTalk:A Framework for Developing Domain Specific Executable Models |
10 | January 26, 2009 | Gil Messerman | Dynamic Frames, Dafny |