|
Date |
Speaker(s) |
|
| 1 |
March 3, 2009 |
Ari Gam |
Horizontal Exogenous Transformations |
| 2 |
March 16, 2009 |
Michal Gordon-Kiwkowitz, Weizmann Institute |
Natural Language Interface for Scenario Based Programming |
| 3 |
March 23, 2009 |
Christoph Gladisch, University of Koblenz-Landau |
Verification and Testing with KeY |
| 4 |
April 20, 2009 |
Ohad Barzilay, Moria Abadi |
talks to be given in PLDE 2009 |
| 5 |
May 4, 2009 |
Igor Rochlin, MTA |
Software Testing by Genetic Algorithm |
| 6 |
May 25, 2009 |
Moria Abadi |
Refactoring of Statecharts |
| 7 |
June 1, 2009 |
Ohad Barzilay |
Reflections on ICSE 2009 |
| 8 |
June 8, 2009 |
Rani Ettinger, IBM |
Impressions from OOPSLA 08 + WRT |
| 9 |
June 15, 2009 |
Dany Moshkovich, Maayan Goldstein |
System Grokking – A Novel Approach for Software Understanding, Validation, and Evolution |
| 10 |
June 22, 2009 |
Tom Yam |
Agile Orientation and Psychological Needs, Self-Efficacy, and Perceived Support: A Two Job-Level Comparison |
| 11 |
June 29, 2009 |
Hagai Cibulski |
Accelerating Test Driven Development using Aggressive Test Selection Techniques |
| 12 |
July 6, 2009 |
Vered Gafni, Israel Aircraft Industry |
A Language of Behavioral Patterns for Specification of Hybrid Systems |