Isolator
A runtime technique for enforcing isolation in concurrent programs
Publications
- Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Isolator: Dynamically Ensuring Isolation in Concurrent Programs, in Proceedings of the Symposium on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Association for Computing Machinery, Inc., March 2009
- Sriram Rajamani, G Ramalingam, Venkatesh Prasad Ranganath, and Kapil Vaswani, Controlling Non-determinism for Semantic Guarantees, in Proceedings of the Workshop on Exploiting Concurrency Efficiently and Correctly (EC2), June 2008
- G. Ramalingam, Sriram K. Rajamani, Venkatesh Prasad Ranganath, and Kapil Vaswani, Isolator: Dynamically Ensuring Isolation in Concurrent Programs, no. MSR-TR-2008-91, June 2008
