Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

PADTAD 2007: London, UK

> Home > Conferences and Workshops > PADTAD

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/issta/2007p
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2007p
Shmuel Ur, Eitan Farchi:
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007. ACM 2007, ISBN 978-1-59593-748-3
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Scherlis07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Scherlis07
William L. Scherlis:
Experience with fluid: analysis, design intent, and assurance for concurrency. 1-2

Debugging MPD programs

- view
  authority control:
- export record
  dblp key:
  - conf/issta/MalnatiCB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MalnatiCB07
Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis:
JThreadSpy: teaching multithreading programming by analyzing execution traces. 3-13
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Al-ShabibiGHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Al-ShabibiGHS07
Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli:
A debugger for flow graph based parallel applications. 14-20
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Kingsbury07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Kingsbury07
Barry Kingsbury:
Organizing processes and threads for debugging. 21-26

Bug patterns in MPD programs

- view
  authority control:
- export record
  dblp key:
  - conf/issta/QuinlanVM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/QuinlanVM07
Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi:
Techniques for specifying bug patterns. 27-35
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LourencoC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LourencoC07
João Lourenço, Gonçalo Cunha:
Testing patterns for software transactional memory engines. 36-42

Formal and healing

- view
  authority control:
- export record
  dblp key:
  - conf/issta/PalmerGK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PalmerGK07
Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby:
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. 43-53
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KrenaLTUV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KrenaLTUV07
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar:
Healing data races on-the-fly. 54-64

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.