IBM Israel
Skip to main content
Search IBM Research
   Home  |  Products & services  |  Support & downloads  |  My account
Select a Country Select a country
IBM Research Home IBM Research Home
IBM Haifa Labs Homepage IBM Haifa Labs Home
IBM Haifa Labs Homepage IBM Haifa Labs Leadership Seminars


Workshop Homepage
Author Instructions
Important Dates
Workshop Co-chairs
Program Committee
Paper Submission


8:30-9:00 Debugging in the Context of Charm++,
R. Jyothi, O. S. Lawlor and L. V. Kale

9:00-9:30 "Towards the Proper "Step" Command in Parallel Debuggers",
A. Kalinov, K. Karganov and K. Khorenko

9:30-10:00 Program Monitoring with LTL in EAGLE,
H. Barringer, A. Goldberg, K. Havelund and Koushik Sen

10:00-10:30 Coffee break

10:30-11:00 Concurrent and Distributed Desk Checking,
A. Hayardeny, S. Fienblit and E. Farchi

11:00-11:30 Mutation-Based Exploration of a Method for Verifying Concurrent Java Components,
B. Long, R. Duke, D. Goldson, P. Strooper and L. Wildman

11:30-12:00 Compiling a Benchmark of Documented Multi-threaded Bugs,
Y. Eytani and S. Ur

12:00-13:30 Simple lunch for PADTAD guests provided by IBM Research

13:30-14:30 Keynote: Atomizer - A Dynamic Atomicity Checker For Multithreaded Programs,
C. Flanagan

14:30-15:00 Coffee break

15:00-15:30 Fidgeting Till the Point of No Return,
M. Biberstein, E. Farchi and S. Ur

15:30-16:00 Automatic Simulation of Network Problems in UDP-based Java Programs,
E. Farchi, Y. Nir and Y. Krasny

16:00-16:30 Visual Formal Specification Using (N)TLCharts: Statechart Automata with Temporal Logic and Natural Language Conditioned Transitions,
D. Drusinsky

16:30-17:00 An Instrumentation Technique for Online Analysis of Multithreaded Programs,
G. Rosu and K. Sen

  About IBM  |  Privacy  |  Terms of use  |  Contact