PLDI   2012 Conference on Programming Language Design and Implementation
Wall of Fame | Most Viewed PLDI-2012 Paper
11 years 2 months ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source310
2Download preprint from source289
3Download preprint from source281
4Download preprint from source273
5Download preprint from source271
6Download preprint from source269
7Download preprint from source266
8Download preprint from source261
9Download preprint from source258
10Download preprint from source257
11Download preprint from source257
12Download preprint from source252
13Download preprint from source249
14Download preprint from source243
15Download preprint from source243
16Download preprint from source240
17Download preprint from source235
18Download preprint from source235
19Download preprint from source229
20Download preprint from source226
21Download preprint from source220
22Download preprint from source217
23Download preprint from source212
24Download preprint from source189
25Download preprint from source187