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

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

Documents Related by Co-Citation

332 Ownership Types for Flexible Alias Protection – David G. Clarke, John M. Potter, James Noble - 1998
134 Object Ownership and Containment – David Clarke - 2001
105 Confined Types – Boris Bokowski, Jan Vitek - 1999
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 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
68 Wrestling With Rep Exposure – David L. Detlefs, K. Rustan M. Leino, Greg Nelson - 1998
200 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
131 Ownership, Encapsulation and the Disjointness of Type and Effect – Dave Clarke, Sophia Drossopoulou - 2002
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
211 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
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
95 Alias burying: Unique variables without destructive reads – John Boyland
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
90 Representation Independence, Confinement and Access Control (Extended Abstract) – Anindya Banerjee, David A. Naumann - 2002
88 External uniqueness is unique enough – Dave Clarke, Tobias Wrigstad - 2003