Research Seminar: Advanced Software Tools

Fall and Spring Semesters 2007/08


Date Speaker(s)
1 October 22, 2007 Dor Nir, Benny Pasternak, Michael Kleyman HCV and SwSTE talks
2 October 29, 2007 Shmuel Tyszberowicz, David Bar-On SwSTE talks
3 November 5, 2007 Amiram Yehudai organization + report on ICWS 07
4 November 12, 2007 Mati Shomrat Language-Based Techniques for Integrating with the External World
5 November 19, 2007 Ohad Barzilay Experimental research in Software Engineering
6 November 26, 2007 Eran Shir, Cofounder and CEO,  Dapper Practical Semantic Web: Web Plumbing 101
7 December 3, 2007 Shahar Maoz, Weizmann Institute Scenario-Based Trace Visualization and Exploration for Reactive Systems
8 December 17, 2007 Ziyad Hanna, University of Oxford ALM - Algorithm Level Modeling and Verification of Computer Microarchitecture
9 December 24, 2007 Yuli Konayev Non-null references by default in Java: Alleviating the Nullity annotation burden
Yishai Feldman ECOOP 2007 Highlights -- A Personal Summary
10 December 31, 2007 Yishai Feldman ECOOP 2007 Highlights -- A Personal Summary (cont.)
Shmuel Tyszberowicz Reusing Verilog Designs in the Synchronous Language Esterel
11 January 7, 2008 Edward Aronovich Grid Computing as a Computing Architecture
12 February 4, 2008 Itai Segall, Weizmann Institute Execution Methods for Live Sequence Charts
13 February 18, 2008 Arik Nemtsov Introduction to the Erlang programming environment    Here is a  viewer
14 February 25, 2008 Ouri Wolfson, University of Illinois at Chicago Information Technology and Intelligent Transportation: A Marriage Made in Heaven.
15 March 3, 2008 Dr. Shai Koenig, Comverse Requirements Management in the DiME System
16 March 24, 2008 Rani Ettinger, IBM  Co-Slicing for Program Comprehension and Reuse
17 March 31, 2008 Amir Kibbar Advanced Development Environments (Technology Survey)
18 April 28, 2008 Igor Gelfgat Concerns in the Model-Driven Approach
19 May 5, 2008 Guy Wolf Differential Unit Tests
20 May 12, 2008 Atzmon Hen-Tov & Lior Schachter, Pontis  Pontis' Interpretive MDD platform
21 May 26, 2008 Eyal Lupu ORM/Hibernate (Technology Survey)
22 June 16, 2008 Yuri Phink Steamloom SA VM Support for Stateful Aspects (to be presented in TOOLS `08)
23 June 23, 2008 Julia Rubin, IBM HRL MDD and software product lines
24 July 7, 2008 Andrei Kirshin, IBM HRL Executable UML and the debugging of models-dynamic model understanding

Last updated 22/10/08