13 papers:
HPCA-2014-AwadS #behaviour #memory management #named- STM: Cloning the spatial and temporal memory access behavior (AA, YS), pp. 237–247.
ICFP-2013-Schmidt-SchaussS #correctness #haskell #implementation- Correctness of an STM Haskell implementation (MSS, DS), pp. 161–172.
CGO-2013-RuanLWS #framework #on the- On the platform specificity of STM instrumentation mechanisms (WR, YL, CW, MFS), p. 10.
DAC-2012-El-ShambakeyR #bound #concurrent #embedded #realtime- STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
SAC-2012-El-ShambakeyR #bound #concurrent #embedded #manycore #realtime #trade-off- STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs (MES, BR), pp. 1602–1609.
PPoPP-2010-Chakrabarti #abstraction #analysis #effectiveness #performance #source code- New abstractions for effective performance analysis of STM programs (DRC), pp. 333–334.
- PPoPP-2010-DalessandroSS #named
- NOrec: streamlining STM by abolishing ownership records (LD, MFS, MLS), pp. 67–78.
POPL-2009-BronsonKO #optimisation- Feedback-directed barrier optimization in a strongly isolated STM (NGB, CK, KO), pp. 213–225.
- PPoPP-2009-RamadanRHW #commit #transaction
- Committing conflicting transactions in an STM (HER, IR, MH, EW), pp. 163–172.
PLDI-2007-ShpeismanMABGHMS #order- Enforcing isolation and ordering in STM (TS, VM, ARAT, SB, DG, RLH, KFM, BS), pp. 78–88.
FLOPS-2006-DiscoloHMJS #data type #haskell #using- Lock Free Data Structures Using STM in Haskell (AD, TH, SM, SLPJ, SS), pp. 65–80.
- PPoPP-2006-SahaAHMH #manycore #memory management #named #performance #runtime #transaction
- McRT-STM: a high performance software transactional memory system for a multi-core runtime (BS, ARAT, RLH, CCM, BH), pp. 187–197.
AdaEurope-1997-Ogren #ada #architecture- Ada 95 as a Base to Architect Systems in O4STM (IÖ), pp. 76–87.
