IBM Programming Languages and Development Environments Seminar 2011
November 21, 2011
Organized by IBM Haifa Research Lab
Program
PDF version for printing (650 KB)
|
9:00 Registration 9:30 Opening Remarks, Seminar organizers 9:35 Keynote: Liquid Metal: Programming in the Age of Heterogeneous Machines, David Bacon, IBM Research – Watson 10:45 Session I: A Review of Research in Behavioral Programming, David Harel, Assaf Marron, Smadar Szekely, Gera Weiss, Weizmann Institute of Science and Ben-Gurion University 11:15 Poster/demo session (light refreshments) 11:45 Break 12:00 Session II: Towards Proactive Event-Driven Computing, Yagil Engel and Opher Etzion, IBM Research – Haifa Semantic Model Differencing for Software Evolution, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, RWTH Aachen University |
13:00 PLDE Madness, Brief five-minute presentations of ideas, viewpoints, thoughts – mail us to reserve your five minutes (plde2011@easychair.org) 13:30 Lunch 14:15 Keynote: Watson Wins Jeopardy!, Dafna Sheinwald, IBM Research – Haifa 15:15 Poster/demo session (light refreshments) 15:45 Session III: Classification of Software Metrics, Yossi Gil, Maayan Goldstein, Dany Moshkovich, Technion IIT and IBM Research – Haifa Code-Motion for API Migration: Fixing SQL Injection Vulnerabilities in Java, Aharon Abadi, Yishai Feldman, Mati Shomrat, IBM Research – Haifa and Tel Aviv University 16:45 Concluding Remarks, Oded Cohn, Director, IBM Research – Haifa |
Posters
Model Correctness Patterns as an Educational Instrument: An Experience Report,
Azzam Maraee, Mira Balaban, and Arnon Sturm, Ben-Gurion University
An Overview of PathLP: A Logic Programming Language of Path Expressions,
Igal Khitron, Michael Kifer, and Mira Balaban, Ben Gurion University and Stony Brook University
Pragmatic Modeling with Object-Process Programming,
Arieh Bibliowicz and Dov Dori, Technion – Israel Institute of Technology
Adding Quantitative Aspects to a Conceptual Model: Simulink as an OPM Computational Subcontractor,
Aharon Renick and Dov Dori, Technion – Israel Institute of Technology
Demos
A Review of Research in Behavioral Programming,
David Harel, Assaf Marron, Smadar Szekely, and Gera Weiss, Weizmann Institute of Science and Ben-Gurion University
Code-Motion for API Migration:Fixing SQL Injection Vulnerabilities in Java,
Aharon Abadi, Yishai Feldman, and Mati Shomrat, IBM Research – Haifa and Tel Aviv University
Show-and-Tell Play-In: Combining Natural Language with User Interaction for Specifying Behavior,
Michal Gordon and David Harel, Weizmann Institute of Science
BMOCK - C++ Mocking Framework,
Leonid Frenkel
Make Your Build System DRY,
Yossi Zach, NDS
Tool Support for Enforcing Security Policies on Databases,
Jenny Abramov, Clint Feher, Peretz Shoval, and Arnon Sturm, Ben-Gurion University
