10 papers:
ICFP-2015-LeF #continuation #transaction- Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.
- ICFP-2014-DownenA #composition #continuation #semantics
- Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.
ASPLOS-2014-LitzCFAS #memory management #named #transaction- SI-TM: reducing transactional memory abort rates through snapshot isolation (HL, DRC, AF, OA, JPS), pp. 383–398.
PPoPP-2014-DieguesR #lightweight #memory management #named #transaction- Time-warp: lightweight abort minimization in transactional memory (NLD, PR), pp. 167–178.
SAC-2013-NunesP #scheduling #throughput #transaction- Improving transaction abort rates without compromising throughput through judicious scheduling (AN, JP), pp. 493–494.
CGO-2011-ChakrabartiBBJS #graph #memory management #optimisation #runtime #transaction- The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.
VMCAI-2009-EtessamiG #programming #transaction- An Abort-Aware Model of Transactional Programming (KE, PG), pp. 59–73.
ICEIS-v1-2004-Irun-BrizMB #database #distributed #lazy evaluation #protocol #replication- The Abortion Rate of Lazy Replication Protocols for Distributed Databases (LIB, FDME, JMBA), pp. 130–135.
TACAS-2003-ArmoniBKV #linear #logic- Resets vs. Aborts in Linear Temporal Logic (RA, DB, OK, MYV), pp. 65–80.
CIKM-1994-PalL #database #object-oriented #transaction- Isolation of Transaction Aborts in Object-Oriented Database Management Systems (SP, SL), pp. 179–186.
