15.04.2009 Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers. Rule Formats for Determinism and Idempotency. To appear in LNCS proceedings of Fundamentals of Software Engineering 2009.

• PDF

27.10.2008 Arnar Birgisson, Mohan Dhawan, Úlfar Erlingsson, Vinod Ganapathy, Liviu Iftode. Enforcing Authorization Policies using Transactional Memory Introspection. CCS’08: Proceedings of the 15th ACM Conference on Computer and Communications Security. Alexandria, Virginia; October 27-31, 2008.

• PDF

28.10.2008 Arnar Birgisson and Úlfar Erlingsson. An Implementation and Semantics for Transactional Memory Introspection in Haskell. RU Technical Report CS08007.

• PDF

18.04.2008 Arnar Birgisson, Mohan Dhawan, Ulfar Erlingsson, Vinod Ganapathy, and Liviu Iftode. Enforcing Authorization Policies using Transactional Memory Introspection. Technical report, Rutgers University, Dept. of C.S.. USA. Superseded by conference paper above.

• Link
• PDF