The Return of Transactions
No abstract available.
Related papers
- A Temporal Logic of Nested Calls and Returns TACAS 2004
- Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses CAV 2008
- Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory PPoPP 2008
- Elipmoc: advanced decompilation of Ethereum smart contracts OOPSLA 2022
- Transaction communicators: enabling cooperation among concurrent transactions PPoPP 2011
- Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions PPoPP 2009
- Verifying Compensating Transactions VMCAI 2007
- Transactional Tasks: Parallelism in Software Transactions ECOOP 2016