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

by Chandrasekhar Boyapati , Robert Lee , Martin Rinard
Citations:262 - 13 self

Documents Related by Co-Citation

278 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
139 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
112 Object Ownership and Containment – David Clarke - 2001
96 Confined Types – Boris Bokowski, Jan Vitek - 1999
179 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
346 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
221 Type-based race detection for Java – Cormac Flanagan, Stephen N. Freund
192 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
65 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
170 A Parameterized Type System for Race-Free Java Programs – Chandrasekhar Boyapati, Martin Rinard - 2001
90 Alias burying: Unique variables without destructive reads – J Boyland
108 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
155 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
186 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
163 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
51 Universes: A Type System for Controlling Representation Exposure – P Müller, A Poetzsch-Heffter - 1999
182 Islands: Aliasing protection in object-oriented languages – John Hogg - 1991
102 Data Abstraction and Information Hiding – K. Rustan M. Leino, Greg Nelson - 2000
478 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997