Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605586557

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some resources for teaching concurrency

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639624 ◽

2009 ◽

Cited By ~ 2

Author(s):

Ganesh Gopalakrishnan ◽

Michael DeLisi ◽

Simone Atzeni ◽

Yu Yang ◽

Sarvani Vakkalanka ◽

...

Download Full-text

Run-time conformance checking of mobile and distributed systems using executable models

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639623 ◽

2009 ◽

Cited By ~ 3

Author(s):

Ahmad A. Saifan ◽

Ernesto Posse ◽

Juergen Dingel

Keyword(s):

Distributed Systems ◽

Conformance Checking ◽

Run Time ◽

Executable Models

Download Full-text

Unit testing for multi-threaded Java programs

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639626 ◽

2009 ◽

Cited By ~ 3

Author(s):

Gábor Szeder

Keyword(s):

Unit Testing ◽

Java Programs

Download Full-text

Clash of the Titans

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639631 ◽

2009 ◽

Cited By ~ 8

Author(s):

Neha Rungta ◽

Eric G. Mercer

Download Full-text

Understanding the behavior of transactional memory applications

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639625 ◽

2009 ◽

Cited By ~ 5

Author(s):

João Lourenço ◽

Ricardo Dias ◽

João Luís ◽

Miguel Rebelo ◽

Vasco Pessanha

Keyword(s):

Transactional Memory ◽

Memory Applications

Download Full-text

SideTrack

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639630 ◽

2009 ◽

Cited By ~ 10

Author(s):

Jaeheon Yi ◽

Caitlin Sadowski ◽

Cormac Flanagan

Download Full-text

Forcing small models of conditions on program interleaving for detection of concurrent bugs

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639629 ◽

2009 ◽

Cited By ~ 10

Author(s):

Ehud Trainin ◽

Yarden Nir-Buchbinder ◽

Rachel Tzoref-Brill ◽

Aviad Zlotnick ◽

Shmuel Ur ◽

...

Keyword(s):

Small Models

Download Full-text

MulticoreSDK

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639627 ◽

2009 ◽

Cited By ~ 11

Author(s):

Yao Qi ◽

Raja Das ◽

Zhi Da Luo ◽

Martin Trotter

Download Full-text

An annotation assistant for interactive debugging of programs with common synchronization idioms

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639632 ◽

2009 ◽

Cited By ~ 2

Author(s):

Tayfun Elmas ◽

Ali Sezgin ◽

Serdar Tasiran ◽

Shaz Qadeer

Download Full-text

Pattern-driven deadlock avoidance

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639628 ◽

2009 ◽

Cited By ~ 1

Author(s):

Fancong Zeng

Keyword(s):

Deadlock Avoidance

Download Full-text

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Some resources for teaching concurrency

Run-time conformance checking of mobile and distributed systems using executable models

Unit testing for multi-threaded Java programs

Clash of the Titans

Understanding the behavior of transactional memory applications

SideTrack

Forcing small models of conditions on program interleaving for detection of concurrent bugs

MulticoreSDK

An annotation assistant for interactive debugging of programs with common synchronization idioms

Pattern-driven deadlock avoidance

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09
Latest Publications