Research Seminar: Advanced Software Tools

Fall Semester 2013, Spring Semester 2014

Date Speaker(s) Title

Oct 14, 2013 no meeting
Oct 21, 2013 Yishai Feldman
Software and Systems Engineering: A Disaster?
Oct 28, 2013 Itai Segall, IBM HRL MSD-based test generation for Software-intensive Systems
Nov 4, 2013 no meeting   (HVC this week)
Nov 11, 2013 no meeting
Nov 18, 2013 Ivan Beschastnikh, UBC  (remote talk) Modeling Systems from Logs of their Behavior
Nov 25, 2013 Aharon Abadi Codeless Screen-Oriented Programming for Enterprise Mobile Applications
Dec 2, 2013 Julia Rubin, IBM HRL N-way Merge: Merging Multiple Models
Dec 9, 2013 Irit Hadar, University of Haifa Examining Software Development in Practice: The Cognitive Perspective
Dec 16, 2013 no meeting
Dec 23, 2013 Daniel Jackson, MIT Rethinking software design by analyzing state structure
Dec 30, 2013 no meeting
Jan 6, 2014 Nir Koblenc, Open U Purification of Esterel programs
Jan 13, 2014 no meeting
Feb 17, 2014 Nikolai Tillman, Peli de Halleux, Microsoft Research  (remote talk) TouchDevelop: Cloud-based Scripting on and for Touch-based Devices
Feb 24, 2014 Eran Yahav, Technion PRIME: programming with Millions of Examples
Mar 3, 2014 Barak Cohen Semantically Configurable Analysis of Scenario-Based Specifications
Mar 10, 2014 no meeting
Mar 17, 2014 José Juan Dominguez Veiga, MIT   (remote talk) MIT App Inventor: Enabling Personal Mobile Computing.
Mar 24, 2014 Jan Oliver Ringert Crosscutting Structural Views for Component and Connector Models: Verification and Synthesis
Mar 31, 2014 no meeting
Apr 7, 2014 no meeting, due to  Embedded Computer Systems RD&E 
Apr 28, 2014 Nir Hauser, Technion COARA: Code offloading on Android with RMI and AspectJ
May 12, 2014 Special talk, in Open U. Ramat Aviv: Jan Vitek,  Purdue University The once and future R: a language for data analytics
May 19, 2014 Shah Rukh Humayoun, University of Kaiserslautern, Germany  (remote talk) Designing for the Current Mobile Paradigm  
May 26, 2014 Maayan Goldstein, IBM System Grokking - Software Architecture Understanding, Validation, and Evolution
June 2, 2014 no meeting
June 9, 2014 Ohad Shai Continuous Delivery with Codeine
Sept  7,11:00 Matthias Weidlich, Imperial College London     Cancelled! A Declarative Angle to Process Model Analysis - The 4C Spectrum of Behavioural Relations