Author of the publication

A Semantic Framework for Designer Transactions.

, , , and . ESOP, volume 2986 of Lecture Notes in Computer Science, page 249-263. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safe nondeterminism in a deterministic-by-default parallel language, , , , , , and . Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 535--548. New York, NY, USA, ACM, (2011)xCalls: safe I/O in memory transactions., , , , and . EuroSys, page 247-260. ACM, (2009)Towards transactional memory semantics for C++., , , , and . SPAA, page 49-58. ACM, (2009)Improving virtual machine performance using a cross-run profile repository., , and . OOPSLA, page 297-311. ACM, (2005)ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011)., , and . OOPSLA Companion, page 331-332. ACM, (2011)Automated code transformation for context propagation in Go.. ESEC/SIGSOFT FSE, page 1242-1252. ACM, (2021)Concurrency abstractions for programming languages using optimistic protocols. Purdue University, USA, (2006)Safe nondeterminism in a deterministic-by-default parallel language., , , , , , and . POPL, page 535-548. ACM, (2011)Preemption-Based Avoidance of Priority Inversion for Java., , and . ICPP, page 529-538. IEEE Computer Society, (2004)Practical weak-atomicity semantics for java stm., , , , , , and . SPAA, page 314-325. ACM, (2008)