Research Seminar: 0368-5090-01 Advanced Software Tools

The Blavatnik School of Computer Sciences, 
Tel-Aviv University

Research Seminar: Advanced Software Tools

This is a research seminar. The main goal is to present ongoing research.
Lectures are given by Faculty members, students, and guests. If you want to
be included in the mailing list, please send email to Amiram Yehudai.

Everyone is welcome to attend. BUT if you want to be registered to the seminar, you
should first look at page 2 (2nd bullet) of the Guide to MSC studies in the School of CS
where the difference between regular seminars 4XXX and advanced topics seminars 5XXX
(like this one) is explained. Note that each registered student has to give a presentation
each semester s/he is registered, and attend regularly. The seminar is yearly, but a student may request to
be dropped after one semester and get a grade for that semester (if s/he gave a presentation).
contact Amiram Yehudai (during a seminar meeting, or by e-mail) if you want to be registered

Weekly meetings
Monday 18:10-20:00.

Room – Schreiber 309  

see University Map for the location. Gate 2 is the closest, but it is closes earlier. Enter through gate 1 or 14.

Amiram Yehudai ( amiramy at tau dot ac dot il
Yishai Feldman ( yishai at il dot ibm dot com
Shmuel Tyszberowicz ( tyshbe at tau dot ac dot il

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

A repositor of related papers (password required)

Past semesters

Fall Semester 2008/9

Fall and Spring Semesters 2007/8

Spring Semester 2007

Fall Semester 2006/7

Spring Semester 2006

Fall Semester 2005/6

Spring Semester 2005

Fall Semester 2004/5

Spring Semester 2004

Fall Semester 2003/4

Last updated   7/6/2009