Checking the Data Sharing Strategies of Concurrent Systems Level Code

Checking the Data Sharing Strategies of Concurrent Systems Level Code (2010)

Cached

Download Links

[www.cs.berkeley.edu]

by Zachary Ryan Anderson

BibTeX

@MISC{Anderson10checkingthe,
    author = {Zachary Ryan Anderson},
    title = {Checking the Data Sharing Strategies of Concurrent Systems Level Code},
    year = {2010}
}

Bookmark

OpenURL

Abstract

Citations

2115	Clocks and the Ordering of Events in a Distributed System - Lamport - 1978
1234	System architecture directions for networked sensors - Hill, Szewczyk, et al. - 2000
1128	The C Programming Language - Kernighan, Ritchie - 1988
747	MediaBench: A Tool for Evaluating and Synthesizing Multimedia and Communications Systems - Lee - 1997
569	The nesC Language: A Holistic Approach to Networked Embedded Systems - Gay, Levis, et al. - 2003
478	Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs - Savage, Burrows, et al. - 1997
347	Enforcing high-level protocols in low-level software - DeLine, Fähndrich - 2001
330	CIL: Intermediate language and tools for analysis and transformation of C programs - Necula, McPeak, et al. - 2002
322	Flow-sensitive type qualifiers - Foster, Terauchi, et al. - 2002
269	Region-based memory management - Tofte, Talpin - 1997
262	Ownership types for safe programming: Preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
224	Virtualizing Transactional Memory - Rajwar, Herlihy, et al. - 2005
221	Type-based race detection for java - Flanagan, Freund - 2000
221	SPEC CPU2000: measuring CPU performance in the new millennium - Henning - 2000
195	Efficient detection of all pointer and array access errors - Austin, Breach, et al. - 1994
195	RacerX: effective, static detection of race conditions and deadlocks - Engler, Ashcraft - 2003
188	A type and effect system for atomicity - Flanagan, Qadeer - 2003
186	Unbounded Transactional Memory - Ananian, Asanovic, et al. - 2005
186	Typed memory management in a calculus of capabilities - Crary, Walker, et al. - 1999
164	Atomizer: a dynamic atomicity checker for multithreaded programs - Flanagan, Freund
144	Concurrency Control Performance Modeling: Alternatives and Implications - Agrawal, Carey, et al. - 1987
138	McRT-STM: a High Performance Software Transactional Memory System for a Multi-Core Runtime - Saha, Adl-Tabatabai, et al.
137	Reduction: a method of proving properties of parallel programs - Lipton - 1975
130	Capriccio: scalable threads for internet services - Behren, Condit, et al. - 2003
129	A fast fourier transform compiler - Frigo - 1999
125	Ownership types for object encapsulation - Boyapati, Liskov, et al. - 2003
106	Effective static race detection for Java - Naik, Aiken, et al. - 2006
104	Types for safe locking - Flanagan, Abadi - 1999
100	Hybrid dynamic data race detection - O’Callahan, Choi - 2003
91	CCured: Type-Safe Retrofitting of Legacy Software - Necula, Condit, et al. - 2005
91	RaceTrack: Efficient Detection of Data Race Conditions via Adapative Tracking - Yu, Rodeheffer, et al. - 2005
90	Type-safe multithreading in cyclone - Grossman - 2003
85	Language support for regions - Gay, Aiken
84	Ownership types for safe region-based memory management in real-time java - Boyapati, Salcianu, et al.
83	Kiss: keep it simple and sequential - Qadeer, Wu - 2004
75	Detecting data races in cilk programs that use locks - Cheng, Feng, et al. - 1998
69	Locksmith: contextsensitive correlation analysis for race detection - Pratikakis, Foster, et al. - 2006
66	Optimistic parallelism requires abstractions - Kulkarni, Pingali, et al. - 2007
64	Concurrent Programming without Locks - Fraser, Harris - 2004
57	Autolocker: Synchronization inference for atomic sections - McCloskey, Zhou, et al. - 2006
57	Conditional must not aliasing for static race detection - Naik, Aiken
55	Olden: Parallelizing programs with dynamic data structures on distributed memory machines - Carlisle - 1996
55	Parallel Programmability and the Chapel Language - Chamberlain, Callahan, et al. - 2007
54	SafeJava: A Unified Type System for Safe Programming - Boyapati - 2004
49	Automated typebased analysis of data races and atomicity - Sasturkar, Agarwal, et al. - 2005
48	The design, implementation, and evaluation of Jade - Rinard, Lam - 1998
46	Efficient On-the-fly Data Race Detection in Multihreaded C++ Programs - Pozniansky, Schuster - 2003
45	Lowering the Overhead of Software Transactional Memory - Marathe, Spear, et al. - 2006
44	Dependent types for low-level programming - Condit, Harren, et al. - 2007
44	Object types against races - Flanagan, Abadi