Publications
Conference Papers
15.04.2009 Rule Formats for Determinism and Idempotency. To appear in LNCS proceedings of Fundamentals of Software Engineering 2009.
27.10.2008 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.
Technical reports
28.10.2008 An Implementation and Semantics for Transactional Memory Introspection in Haskell. RU Technical Report CS08007.