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

PADTAD 2004

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


Program


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
(Presentation)

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
(Presentation)

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
(Presentation)

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
(Presentation)

14:30-15:00 Coffee break

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

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

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

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