Ownership Types for Safe Programming: Preventing Data Races and Deadlocks (2002)

by Chandrasekhar Boyapati , Robert Lee , Martin Rinard
Citations:302 - 12 self

Documents Related by Co-Citation

332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
134 Object Ownership and Containment – David Clarke - 2001
105 Confined Types – Boris Bokowski, Jan Vitek - 1999
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
196 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
244 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
211 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
68 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
95 Alias burying: Unique variables without destructive reads – John Boyland
181 Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs – Jong-deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan - 2002
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
61 Universes: A type system for controlling representation exposure – P Müller, A Poetzsch-Heffter - 1999
195 Islands: aliasing protection in object-oriented languages. 6th OOPSLA – J Hogg - 1991
108 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997