Research Seminar: Advanced Software Tools

Fall Semester 2010, Spring Semester 2011 


 
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