1![Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center](https://www.pdfsearch.io/img/ef48be068110dc6a135e2f6777119275.jpg) | Add to Reading ListSource URL: www.cs.columbia.eduLanguage: English - Date: 2016-01-23 22:11:59
|
---|
2![Microsoft Word - N1375_FinalMinutes_SantaClara_Sep2008.doc Microsoft Word - N1375_FinalMinutes_SantaClara_Sep2008.doc](https://www.pdfsearch.io/img/f8b1f6708e80add978a42179dcd86363.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2009-05-04 16:08:14
|
---|
3![Threads and the Single UNIX Specification, Version 2 Extracted from Go Solo 2 The Open Group
Copyright May 1997, The Open Group Threads and the Single UNIX Specification, Version 2 Extracted from Go Solo 2 The Open Group
Copyright May 1997, The Open Group](https://www.pdfsearch.io/img/697ecfdfd827f88d7ad72358cedf8e90.jpg) | Add to Reading ListSource URL: www.unix.orgLanguage: English - Date: 1997-11-21 04:59:52
|
---|
4![Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2 Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2](https://www.pdfsearch.io/img/d8474a7e5d973e36e36a695073f57744.jpg) | Add to Reading ListSource URL: www.cs.princeton.eduLanguage: English - Date: 2014-02-21 09:31:36
|
---|
5![Using Escape Analysis in Dynamic Data Race Detection Williams College Technical Report CSTR201401 1. Emma Harrington Using Escape Analysis in Dynamic Data Race Detection Williams College Technical Report CSTR201401 1. Emma Harrington](https://www.pdfsearch.io/img/99b69a68ec520e95a2272b3d27096ff0.jpg) | Add to Reading ListSource URL: dept.cs.williams.eduLanguage: English - Date: 2014-10-18 11:30:13
|
---|
6![Composable Specifications for Structured Shared-Memory Communication Benjamin P. Wood Adrian Sampson Composable Specifications for Structured Shared-Memory Communication Benjamin P. Wood Adrian Sampson](https://www.pdfsearch.io/img/da43d4fc0fd83e2e08eb0380cbe09032.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2010-10-06 03:36:04
|
---|
7![ELF Handling For Thread-Local Storage Ulrich Drepper, Red Hat Inc. Version 0.20 December 21, 2005 ELF Handling For Thread-Local Storage Ulrich Drepper, Red Hat Inc. Version 0.20 December 21, 2005](https://www.pdfsearch.io/img/fe7e4f2d6a848ac225ab81a18ac75241.jpg) | Add to Reading ListSource URL: www.uclibc.orgLanguage: English - Date: 2012-05-05 03:48:31
|
---|
8![PHALANX : Parallel Checking of Expressive Heap Assertions Martin Vechev PHALANX : Parallel Checking of Expressive Heap Assertions Martin Vechev](https://www.pdfsearch.io/img/5a764f2916e34a3d2dc2e776e056daf8.jpg) | Add to Reading ListSource URL: www.cs.technion.ac.ilLanguage: English - Date: 2010-09-22 11:53:59
|
---|
9![Document: N1687 C TSS Destructor Specification Owen Shepherd Public Domain C Library Project The full revision history of this document may be found at Document: N1687 C TSS Destructor Specification Owen Shepherd Public Domain C Library Project The full revision history of this document may be found at](https://www.pdfsearch.io/img/27b15f6c329da36328c717f126996765.jpg) | Add to Reading ListSource URL: www.open-std.orgLanguage: English - Date: 2013-03-26 16:09:50
|
---|
10![LNCSSoftware Thread Level Speculation for the Java Language and Virtual Machine Environment LNCSSoftware Thread Level Speculation for the Java Language and Virtual Machine Environment](https://www.pdfsearch.io/img/9883a27df966f2fe37f9422a32a2afdd.jpg) | Add to Reading ListSource URL: www.sable.mcgill.caLanguage: English - Date: 2007-06-20 19:15:38
|
---|