Research Seminar: Advanced Software Tools

Fall Semester 2008/09

 

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