|
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
|
|