|
Date |
Speaker(s) |
Title |
|
Oct 27, 2014 |
|
Organizational meeting + ??
|
|
Nov 3, 2014 |
Mati Shomrat |
PhD thesis public talk: Detecting Refactored Clones |
|
Nov 10, 2014 |
Hila Cohen |
A Probabilistic Framework for
Estimating Log
Completeness with regard to Dynamic Specification Mining Algorithms |
|
Nov 17, 2014 |
Tianhai Liu, KIT |
A Comparative Study of
Incremental Constraint Solving Approaches in Symbolic Execution |
|
Nov 24, 2014 |
Christoph Gladisch, KIT |
On
Verifying Relational Specifications of Java Programs with JKelloy |
|
Dec 1, 2014 |
David Faitelson, Afeka |
Systematic design
decomposition |
|
Dec 8, 2014 |
Atzmon Hen-Tov, Pontis |
Adaptive-Object-Model
– Empower your users to evolve the system
|
|
Dec 15, 2014 |
Ari Gam |
Towards a personal IDE |
|
Dec 22, 2014 |
Michal Gordon,
MIT |
Scenario-based robot
programming for young children |
|
Jan 5, 2015 |
Alex Tilkin, MTA |
Deverywhere – Develop Software
Everywhere: Template-Based Development on Mobile Platforms. |
|
Jan 19, 2015 |
Yorai Geffen |
Code Comprehension and
Method Ordering |
|
|
|
|
|
Mar 16, 2015 |
Itai Segall, Bell Labs
|
Network
Functions Virtualization (NFV) - the rush for gold, and the obstacles
on the way |
|
Mar 23, 2015 |
Yishai Feldman, IBM |
PORTALS: Enhanced Requirements , Flexible Queries over Engineering Data , Higher-order functional programming in
mainstream languages |
|
Mar 30, 2015 |
Matthias Weidlich, Humboldt University |
A
Declarative Angle to Process Model Analysis - The 4C Spectrum of
Behavioural Relations |
|
April 20, 2015 |
Ahmad Jbara, HU and Netanya |
Code Regularity: A New Structural Property and its Effect on Code Complexity and Comprehension |
|
April 27, 2015 |
no talk |
|
|
May 4, 2015 |
Watching a Video lecture |
Programming Should Be More Than Coding" - Leslie Lamport of Microsoft Research |
|
May 11, 2015
|
Jan Oliver Ringert |
On Challenges in Reactive Synthesis for Software Engineers: Support for LTL Specification Patterns and a Case Study
|
|
May 18, 2015 |
no meeting |
|
|
May 25, 2015 |
no meeting |
|
|
June 1, 2015 |
no meeting
|
(due to TCE conference)
|
|
June 8, 2015 |
Rachel Tzoref-Brill |
Differencing and Visualization Techniques for Combinatorial Models
|
|
June 15, 2015 |
Alexey Zagalsky, University of Victoria |
Studying a Participatory Culture in Software Development |