-
1
-
-
0016114085
-
Monitors: An operating system structuring concept
-
Hoare CAR. Monitors: An operating system structuring concept. Communications of the ACM 1974; 17(10):549-557.
-
(1974)
Communications of the ACM
, vol.17
, Issue.10
, pp. 549-557
-
-
Car, H.1
-
3
-
-
0004207324
-
Extended static checking
-
Compaq Systems Research Center, December
-
Detlefs DL, Leino KRM, Nelson G, Saxe JB. Extended static checking. Research Report 159, Compaq Systems Research Center, December 1998.
-
(1998)
Research Report 159
-
-
Detlefs, D.L.1
Leino, K.R.M.2
Nelson, G.3
Saxe, J.B.4
-
5
-
-
0031272525
-
Eraser: A dynamic data race detector for multi-threaded programs
-
Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson TE. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems 1997; 15(4);391-411. Also in Proceedings of the 16th ACM Symposium on Operating System Principles, Operating System Review 1997; 31(5): 27-37.
-
(1997)
ACM Transactions on Computer Systems
, vol.15
, Issue.4
, pp. 391-411
-
-
Savage, S.1
Burrows, M.2
Nelson, G.3
Sobalvarro, P.4
Anderson, T.E.5
-
7
-
-
0004290213
-
An introduction to programming with threads
-
Digital Equipment Corporation Systems Research Center, January
-
Birrell AD. An introduction to programming with threads. Research Report 35, Digital Equipment Corporation Systems Research Center, January 1989.
-
(1989)
Research Report 35
-
-
Birrell, A.D.1
-
8
-
-
0036036098
-
Extended static checking for Java
-
SIGPLAN Notices
-
Flanagan C, Leino KRM, Lillibridge M, Nelson G, Saxe JB, Stata R. Extended static checking for Java. Proceeedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices 2002; 37(5):234-245.
-
(2002)
Proceeedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
, vol.37
, Issue.5
, pp. 234-245
-
-
Flanagan, C.1
Leino, K.R.M.2
Lillibridge, M.3
Nelson, G.4
Saxe, J.B.5
Stata, R.6
-
10
-
-
0034450019
-
Guava: A dialect of Java without data races
-
SIGPLAN Notices
-
Bacon DF, Strom RE, Tarafdar A. Guava: A dialect of Java without data races. Proceedings of the 2000 ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2000), SIGPLAN Notices 2000; 35(10):382-400.
-
(2000)
Proceedings of the 2000 ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages and Applications (OOPSLA 2000)
, vol.35
, Issue.10
, pp. 382-400
-
-
Bacon, D.F.1
Strom, R.E.2
Tarafdar, A.3
-
12
-
-
0031622478
-
Detecting data races in Cilk programs that use locks
-
ACM Press: New York
-
Cheng G-I, Feng M, Leiserson CE, Randall KH, Stark AF. Detecting data races in Cilk programs that use locks. Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA). ACM Press: New York, 1998; 298-309.
-
(1998)
Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA)
, pp. 298-309
-
-
Cheng, G.-I.1
Feng, M.2
Leiserson, C.E.3
Randall, K.H.4
Stark, A.F.5
-
13
-
-
0036040605
-
Efficient and precise datarace detection for multithreaded object-oriented programs
-
SIGPLAN Notices
-
Choi J-D, Lee K, Loginov A, O'Callahan R, Sarkar V, Sridharan M. Efficient and precise datarace detection for multithreaded object-oriented programs. Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), SIGPLAN Notices 2002; 37(5):258-269.
-
(2002)
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
, vol.37
, Issue.5
, pp. 258-269
-
-
Choi, J.-D.1
Lee, K.2
Loginov, A.3
O'Callahan, R.4
Sarkar, V.5
Sridharan, M.6
-
14
-
-
84975277890
-
Checking system rules using system-specific, programmer-written compiler extensions
-
USENIX, October [2000]
-
Engler D, Chelf B, Chou A, Hallem S. Checking system rules using system-specific, programmer-written compiler extensions. Proceedings of the Fourth Symposium on Operating Systems Design & Implementation. USENIX, October 2000. http://www.usenix.org/events/osdi2000/technical.html [2000].
-
(2000)
Proceedings of the Fourth Symposium on Operating Systems Design & Implementation
-
-
Engler, D.1
Chelf, B.2
Chou, A.3
Hallem, S.4
|