Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

PADTAD 2012: Minneapolis, MN, USA

> 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

- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/issta/2012p
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2012p
Jeremy S. Bradbury, Simone do Rócio Senger de Souza:
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012. ACM 2012, ISBN 978-1-4503-1456-5

Data Race Detection

- view
  authority control:
- export record
  dblp key:
  - conf/issta/HaKTJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/HaKTJ12
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun:
On-the-fly detection of data races in OpenMP programs. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/issta/NegishiMCWC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/NegishiMCWC12
Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, I-Hsin Chung:
A static analysis tool using a three-step approach for data races in HPC programs. 11-17
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FarchiSLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FarchiSLS12
Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa:
Using program closures to make an application programming interface (API) implementation thread safe. 18-24

Testing and Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/issta/BradburySFJK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BradburySFJK12
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk:
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. 25-35
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FiedorV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FiedorV12
Jan Fiedor, Tomás Vojnar:
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. 36-46

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.