An effect system and . . . DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING

An effect system and . . . DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING (2010)

Cached

Download Links

[www.cs.cmu.edu]

by Robert L. Bocchino

BibTeX

@MISC{Bocchino10aneffect,
    author = {Robert L. Bocchino},
    title = {An effect system and . . . DETERMINISTIC-BY-DEFAULT PARALLEL PROGRAMMING },
    year = {2010}
}

Bookmark

OpenURL

Abstract

Citations

929	Performance Fortran Forum. High Performance Fortran language speci��cation. version 2.0 - High - 1997
689	SPLASH: Stanford Parallel Applications for Shared Memory - Singh, Weber, et al. - 1992
579	Separation logic: A logic for shared mutable data structures - Reynolds - 2002
431	Cilk: an efficient multithreaded runtime system - Blumofe, Joerg, et al. - 1991
352	Language support for lightweight transactions - Harris, Fraser - 2003
352	Preliminary design of JML: a behavioral interface specification language for Java - Leavens, Baker, et al.
347	Enforcing high-level protocols in low-level software - DeLine, Fähndrich
316	Composable memory transactions - Harris, Marlow, et al. - 2005
279	Fortran D language specification - Fox, Hiranandani, et al. - 1990
278	Ownership types for flexible alias protection - Clarke, Potter, et al. - 1998
269	Region-based memory management - Tofte, Talpin - 1997
261	Ownership types for safe programming: Preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
211	Polymorphic effect systems - Lucassen, Gifford - 1988
210	The potential for using thread-level data speculation to facilitate automatic parallelization - Steffan, Mowry - 1998
185	Concurrent Haskell - Jones, Gordon, et al. - 1996
164	Programming parallel algorithms - Blelloch - 1996
164	Region-based memory management in Cyclone - Grossman, Morrisett, et al. - 2002
160	The serializability of concurrent database updates - Papadimitriou - 1979
155	Implementation of a portable nested data-parallel language - Blelloch, Chatterjee, et al. - 1994
140	Adoption and focus: practical linear types for imperative programming - Fähndrich, DeLine - 2002
127	The problem with threads - Lee
122	Guaranteed-quality mesh generation for curved surfaces - Chew - 1993
122	Linear types can change the world - Wadler - 1990
121	Concurrent Programming in ML - Reppy - 1999
118	Checking interference with fractional permissions - Boyland
108	Compiler and runtime support for efficient software transactional memory - Adl-Tabatabai, Lewis, et al. - 2006
107	Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
103	Systematic concurrent object-oriented programming - Meyer - 1993
98	Compositional C++: Compositional parallel programming - Chandy, Kesselman - 1992
92	A report on the Sisal language project - Feo, Cann, et al. - 1990
91	Fortran 90 Explained - Metcalf, Reid - 1992
79	External uniqueness is unique enough - Clarke, Wrigstad - 2003
76	The marriage of effects and monads - Wadler, Thiemann - 2003
66	Optimistic parallelism requires abstractions - Kulkarni, Pingali, et al. - 2007
64	Subtleties of transactional memory atomicity semantics - Martin, Blundell, et al.
62	Commutativity analysis: A new analysis technique for parallelizing compilers - Diniz - 1997
60	Safe futures for java - Welc, Jagannathan, et al. - 2005
59	Full functional verification of linked data structures - Zee, Kuncak, et al. - 2008
58	Vienna Fortran — A language specification - Zima, Brezany, et al. - 1992
57	Autolocker: Synchronization inference for atomic sections - McCloskey, Zhou, et al. - 2006
56	Semantics of Transactional Memory and Automatic Mutual Exclusion - Abadi, Birrell, et al. - 2008
51	Types for safe locking: Static race detection for Java - Abadi, Flanagan, et al.
50	On the importance of points-to analysis and other memory disambiguation methods for C programs - Ghiya, Lavery, et al. - 2001
49	Using data groups to specify and check side effects - Leino, Poetzsch-Heffter, et al. - 2002
49	Intel Threading Building Blocks: Outfitting C++ for Multi-core Processor Parallelism. O’Reilly - Reinders - 2007
48	ID version 90.0 reference manual - Nikhil - 1990
48	Separation logic, abstraction and inheritance - Parkinson, Bierman - 2008
48	The design, implementation, and evaluation of Jade - Rinard, Lam - 1998
47	An object-oriented effects system - Greenhouse, Boyland - 1999
45	The semantics of future and its use in program optimization - Flanagan, Felleisen - 1995