Sriram K. Rajamani, Ganesan Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani. ISOLATOR: dynamically ensuring isolation in comcurrent programs. In Mary Lou Soffa, Mary Jane Irwin, editors, Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009. pages 181-192, ACM, 2009. [doi]
Abstract is missing.