ISOLATOR: dynamically ensuring isolation in comcurrent programs.

Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani

Browse the full ASPLOS paper archive.