-
1
-
-
84858903195
-
-
AtomCAML. http://www.cs.washington.edu/homes/miker/atomcaml.
-
-
-
-
2
-
-
0034450019
-
Guava: A dialect of Java without data races
-
October
-
David Bacon, Robert Storm, and Ashis Tarafdar. Guava: A dialect of Java without data races. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 382-400, October 2000.
-
(2000)
ACM Conference on Object-oriented Programming, Systems, Languages, and Applications
, pp. 382-400
-
-
Bacon, D.1
Storm, R.2
Tarafdar, A.3
-
4
-
-
0037924416
-
Ownership types for safe programming: Preventing data races and deadlocks
-
November
-
Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 211-230, November 2002.
-
(2002)
ACM Conference on Object-oriented Programming, Systems, Languages, and Applications
, pp. 211-230
-
-
Boyapati, C.1
Lee, R.2
Rinard, M.3
-
5
-
-
0035551906
-
A parameterized type system for race-free Java programs
-
October
-
Chandrasekhar Boyapati and Martin Rinard. A parameterized type system for race-free Java programs. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 56-59, October 2001.
-
(2001)
ACM Conference on Object-oriented Programming, Systems, Languages, and Applications
, pp. 56-59
-
-
Boyapati, C.1
Rinard, M.2
-
6
-
-
12844286028
-
Application-level checkpointing for shared memory programs
-
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Peter Szwed, and Martin Schulz. Application-level checkpointing for shared memory programs. In International Conference on Architectural Support for Programming Languages and Operating Systems, pages 235-247, 2004.
-
(2004)
International Conference on Architectural Support for Programming Languages and Operating Systems
, pp. 235-247
-
-
Bronevetsky, G.1
Marques, D.2
Pingali, K.3
Szwed, P.4
Schulz, M.5
-
7
-
-
0031622478
-
Detecting data races in Cilk programs that use locks
-
June
-
Guang-Ien Cheng, Mingdong Feng, Charles E. Leiserson, Keith H. Randall, and Andrew F. Stark. Detecting data races in Cilk programs that use locks. In ACM Symposium on Parallel Algorithms and Architectures, pages 298-309, June 1998.
-
(1998)
ACM Symposium on Parallel Algorithms and Architectures
, pp. 298-309
-
-
Cheng, G.-I.1
Feng, M.2
Leiserson, C.E.3
Randall, K.H.4
Stark, A.F.5
-
8
-
-
0036040605
-
Efficient and precise datarace detection for multithreaded object-oriented programs
-
June
-
Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, and Manu Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In ACM Conference on Programming Language Design and Implementation, pages 258-269, June 2002.
-
(2002)
ACM Conference on Programming Language Design and Implementation
, pp. 258-269
-
-
Choi, J.-D.1
Lee, K.2
Loginov, A.3
O'Callahan, R.4
Sarkar, V.5
Sridharan, M.6
-
9
-
-
84957892301
-
Types for safe locking
-
European Symposium on Programming. Springer-Verlag
-
Cormac Flanagan and Martín Abadi. Types for safe locking. In European Symposium on Programming, volume 1576 of Lecture Notes in Computer Science, pages 91-108. Springer-Verlag, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1576
, pp. 91-108
-
-
Flanagan, C.1
Abadi, M.2
-
12
-
-
0036036098
-
Extended static checking for Java
-
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. In ACM Conference on Programming Language Design and Implementation, pages 234-245, 2002.
-
(2002)
ACM Conference on Programming Language Design and Implementation
, pp. 234-245
-
-
Flanagan, C.1
Rustan, K.2
Leino, M.3
Lillibridge, M.4
Nelson, G.5
Saxe, J.B.6
Stata, R.7
-
16
-
-
12844266720
-
Programming with transactional coherence and consistency (tec)
-
Lance Hammond, Brian D. Carlstrom, Vicky Wong, Ben Hertzberg, Mike Chen, Christos Kozyrakis, and Kunle Olukotun. Programming with transactional coherence and consistency (tec). In International Conference on Architectural Support for Programming Languages and Operating Systems, pages 1-13, 2004.
-
(2004)
International Conference on Architectural Support for Programming Languages and Operating Systems
, pp. 1-13
-
-
Hammond, L.1
Carlstrom, B.D.2
Wong, V.3
Hertzberg, B.4
Chen, M.5
Kozyrakis, C.6
Olukotun, K.7
-
18
-
-
1442263994
-
Language support for lightweight transactions
-
October
-
Tim Harris and Keir Fraser. Language support for lightweight transactions. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 388-402, October 2003.
-
(2003)
ACM Conference on Object-oriented Programming, Systems, Languages, and Applications
, pp. 388-402
-
-
Harris, T.1
Fraser, K.2
-
20
-
-
1142293109
-
Software transactional memory for dynamic-sized data structures
-
Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer III. Software transactional memory for dynamic-sized data structures. In ACM Symposium on Principles of Distributed Computing, pages 92-101, 2003.
-
(2003)
ACM Symposium on Principles of Distributed Computing
, pp. 92-101
-
-
Herlihy, M.1
Luchangco, V.2
Moir, M.3
Scherer III, W.N.4
-
21
-
-
0031606027
-
PLAN: A packet language for active networks
-
Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott Nettles. PLAN: A packet language for active networks. In ACM SICPLAN International Conference on Functional Programming Languages (ICFP), pages 86-93, 1998.
-
(1998)
ACM SICPLAN International Conference on Functional Programming Languages (ICFP)
, pp. 86-93
-
-
Hicks, M.1
Kakkar, P.2
Moore, J.T.3
Gunter, C.A.4
Nettles, S.5
-
22
-
-
0032631515
-
PLANet: An active internetwork
-
Michael Hicks, Jonathan T. Moore, D. Scott Alexander, Carl A. Gunter, and Scott M. Nettles. PLANet: An active internetwork. In IEEE Computer and Communication Society INFOCOM Conference, pages 1124-1133, 1999.
-
(1999)
IEEE Computer and Communication Society INFOCOM Conference
, pp. 1124-1133
-
-
Hicks, M.1
Moore, J.T.2
Alexander, D.S.3
Gunter, C.A.4
Nettles, S.M.5
-
23
-
-
0016592810
-
Reduction: A method of proving properties of parallel programs
-
December
-
Richard J. Lipton. Reduction: a method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, December 1975.
-
(1975)
Communications of the ACM
, vol.18
, Issue.12
, pp. 717-721
-
-
Lipton, R.J.1
-
24
-
-
84976650749
-
Guardians and actions: Linguistic support for robust, distributed programs
-
Barbara Liskov and Robert Scheifler. Guardians and actions: Linguistic support for robust, distributed programs. ACM Transactions on Programming Languages and Systems, 5(3):381-404, 1983.
-
(1983)
ACM Transactions on Programming Languages and Systems
, vol.5
, Issue.3
, pp. 381-404
-
-
Liskov, B.1
Scheifler, R.2
-
25
-
-
84879353822
-
Preemptible atomic regions for Real-time Java
-
Purdue University
-
Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Jan Vitek, and Bin Xin. Preemptible atomic regions for Real-time Java. Technical report, Purdue University, 2005.
-
(2005)
Technical Report
-
-
Manson, J.1
Baker, J.2
Cunei, A.3
Jagannathan, S.4
Prochazka, M.5
Vitek, J.6
Xin, B.7
-
31
-
-
0031272525
-
Eraser: A dynmaic data race detector for multithreaded programs
-
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: A dynmaic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
-
(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.5
-
32
-
-
84858892374
-
-
February 27
-
February 27, 2005. http://www.securityfocus.com/.
-
(2005)
-
-
-
33
-
-
0031069218
-
Software transactional memory
-
Nir Shavit and Dan Touitou. Software transactional memory. Distributed Computing, Special Issue(10):99-116, 1997.
-
(1997)
Distributed Computing
, Issue.10 SPEC. ISSUE
, pp. 99-116
-
-
Shavit, N.1
Touitou, D.2
-
34
-
-
27644479382
-
Integrating support for undo with exception handling
-
Microsoft Research, December
-
Avraham Shinnar, David Tarditi, Mark Plesko, and Bjarne Steensgaard. Integrating support for undo with exception handling. Technical Report MSR-TR-2004-140, Microsoft Research, December 2004.
-
(2004)
Technical Report
, vol.MSR-TR-2004-140
-
-
Shinnar, A.1
Tarditi, D.2
Plesko, M.3
Steensgaard, B.4
-
37
-
-
84858901084
-
-
February 27
-
February 27, 2005. http://www.us-cert.gov/.
-
(2005)
-
-
-
38
-
-
0035552051
-
Object race detection
-
October
-
Christoph von Praun and Thomas R. Gross. Object race detection. In ACM Conference on Object Oriented Programming, Systems, Languages, and Applications, pages 70-82, October 2001.
-
(2001)
ACM Conference on Object Oriented Programming, Systems, Languages, and Applications
, pp. 70-82
-
-
Von Praun, C.1
Gross, T.R.2
|