Research Seminar: 0368-5126-01 Advanced Software Tools

Fall 2010, Spring 2011

Current Year

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 Oct 25, 2010 student reports, reports on conferences
2 Nov 8, 2010 Yishai Feldman  + Amiram Yehudai  What Do We Know About Programming? + report on Splash 2010
3 Nov 15, 2010 Amiram Yehudai report on Splash 2010 (cont)
4 Nov 22, 2010 Michael Masin, IBM Haifa Research Lab Lingua Franca for System Design
5 Nov 29, 2010 Boaz Rosenan, Open University Language Oriented Programming with Cedalion
6 Dec 6, 2010 Ohad Barzilay Human and Social Aspects of Example Usage
7 Dec 20, 2010 Aharon Abadi Fine Slicing, Theory and Applications for Computation Extraction
8 Dec 27, 2010 Daniel M. Berry, Waterloo Requirements Determination is Unstoppable: An Experience Report
9 Jan 3, 2011 Shahar Maoz , RWTH Aachen University AspectLTL: An Aspect Language for LTL Specifications
10 Jan 17, 2011 Oded Koren Open Source/Linux evolution


1 Feb 21, 2011 Ian Harry,  LDRA
2 Feb 28, 2011 Yoav Hollander, Cadence Bugs in chips and airports
3 Mar 7 , 2011 Dekel Cohen

Debugging 2.0 -  Direct Approach to Debugging and System Understanding

4 Mar 14 , 2011 Hagai Cibulski Regression Test Selection Techniques for Test-Driven Development
5 Mar 28 , 2011 Stas Levin Collaborative Real Time Coding
6 April 4, 2011 Hagai Cibulski and Amiram Yehudai Informal and subjective Report on ICST 2011
7 April11, 2011 Ohad Barzilay Embedding: On the Diversity of Example Usage in Professional Software Development  (PhD talk)
8 May 2, 2011 Mati Shomrat

Code Motion for API Migration: Fixing SQL Injection Vulnerabilities in Java

9 May 30, 2011

Shahar Maoz, RWTH Aachen

Modal Object Diagrams
10 June 6, 2011 Mille Gandelsman "Tiesto" - Source code and binary preserving unit-tests environment for c and c++. 
11 June 13, 2011 Gad Meir לקחים מסקנות ושאלות פתוחות, מתהליכי איתור תקלות במערכות מיחשוב בסביבת התפעול ובשטח
12 June 27, 2011 Ohad Barzilay and Mati Shomrat Report on ICSE 2011

A repositor of related papers (password required)

Last updated  Oct 27, 2010