|
Seminar's Program (pdf 17KB)
9:00 Arrival
9:30 Welcome,
Michael Rodeh, Director, IBM Haifa Research Lab
9:45 Interleaving Review Technique,
Shachar Fienblit, IBM Haifa Labs
(Presentation)
10:20 Proving Termination One Loop at a Time,
Michael Codish, Ben Gurion University
(Presentation)
10:55 A Case Study on Performance Improvement of Applications,
Gad Haber, IBM Haifa Labs
(Presentation)
11:30 Coffee break
11:55 GES - Generic Environment Simulator,
Yossi Shachar and Ori Kovetz, Rafael
(Presentation)
|
|
|
|
12:35 Static Code Analysis Procedures in the Development Cycle at Microsoft,
Mooly Beeri, Microsoft
(Presentation)
13:10 Lunch
14:00 Keynote: Ongoing Improvement Case Study,
Noam Sharon, Director of QA for Mercury
(Presentation)
15:00 Fidgeting till the Point of no Return,
Marina Biberstein, IBM Haifa Labs
(Presentation)
15:35 Break
15:50 The AGEDIS Productivity Tools and UML Execution Framework,
Alan Hartman, IBM Haifa Labs
(Presentation)
16:25 Regression-verification of C Programs,
Ofer Strichman, Technion
(Presentation)
|
|