---
_id: '4362'
abstract:
- lang: eng
  text: Software transactional memories (STMs) promise simple and efficient concurrent
    programming. Several correctness properties have been proposed for STMs. Based
    on a bounded conflict graph algorithm for verifying correctness of STMs, we develop
    TRACER, a tool for runtime verification of STM implementations. The novelty of
    TRACER lies in the way it combines coarse and precise runtime analyses to guarantee
    sound and complete verification in an efficient manner. We implement TRACER in
    the TL2 STM implementation. We evaluate the performance of TRACER on STAMP benchmarks.
    While a precise runtime verification technique based on conflict graphs results
    in an average slowdown of 60x, the two-level approach of TRACER performs complete
    verification with an average slowdown of around 25x across different benchmarks.
alternative_title:
- LNCS
author:
- first_name: Vasu
  full_name: Singh, Vasu
  id: 4DAE2708-F248-11E8-B48F-1D18A9856A87
  last_name: Singh
citation:
  ama: 'Singh V. Runtime verification for software transactional memories. In: Sokolsky
    O, Rosu G, Tilmann N, et al., eds. Vol 6418. Springer; 2010:421-435. doi:<a href="https://doi.org/10.1007/978-3-642-16612-9_32">10.1007/978-3-642-16612-9_32</a>'
  apa: 'Singh, V. (2010). Runtime verification for software transactional memories.
    In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner,
    … G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International
    Conference on Runtime Verification, St. Julians, Malta: Springer. <a href="https://doi.org/10.1007/978-3-642-16612-9_32">https://doi.org/10.1007/978-3-642-16612-9_32</a>'
  chicago: Singh, Vasu. “Runtime Verification for Software Transactional Memories.”
    edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies
    Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35.
    Springer, 2010. <a href="https://doi.org/10.1007/978-3-642-16612-9_32">https://doi.org/10.1007/978-3-642-16612-9_32</a>.
  ieee: 'V. Singh, “Runtime verification for software transactional memories,” presented
    at the RV: International Conference on Runtime Verification, St. Julians, Malta,
    2010, vol. 6418, pp. 421–435.'
  ista: 'Singh V. 2010. Runtime verification for software transactional memories.
    RV: International Conference on Runtime Verification, LNCS, vol. 6418, 421–435.'
  mla: Singh, Vasu. <i>Runtime Verification for Software Transactional Memories</i>.
    Edited by Oleg Sokolsky et al., vol. 6418, Springer, 2010, pp. 421–35, doi:<a
    href="https://doi.org/10.1007/978-3-642-16612-9_32">10.1007/978-3-642-16612-9_32</a>.
  short: V. Singh, in:, O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone,
    B. Finkbeiner, K. Havelund, I. Lee, G. Pace (Eds.), Springer, 2010, pp. 421–435.
conference:
  end_date: 2010-11-04
  location: St. Julians, Malta
  name: 'RV: International Conference on Runtime Verification'
  start_date: 2010-11-01
corr_author: '1'
date_created: 2018-12-11T12:08:28Z
date_published: 2010-01-01T00:00:00Z
date_updated: 2024-10-09T20:54:01Z
day: '01'
department:
- _id: ToHe
doi: 10.1007/978-3-642-16612-9_32
editor:
- first_name: Oleg
  full_name: Sokolsky, Oleg
  last_name: Sokolsky
- first_name: Grigore
  full_name: Rosu, Grigore
  last_name: Rosu
- first_name: Nikolai
  full_name: Tilmann, Nikolai
  last_name: Tilmann
- first_name: Howard
  full_name: Barringer, Howard
  last_name: Barringer
- first_name: Ylies
  full_name: Falcone, Ylies
  last_name: Falcone
- first_name: Bernd
  full_name: Finkbeiner, Bernd
  last_name: Finkbeiner
- first_name: Klaus
  full_name: Havelund, Klaus
  last_name: Havelund
- first_name: Insup
  full_name: Lee, Insup
  last_name: Lee
- first_name: Gordon
  full_name: Pace, Gordon
  last_name: Pace
intvolume: '      6418'
language:
- iso: eng
month: '01'
oa_version: None
page: 421 - 435
publication_status: published
publisher: Springer
publist_id: '1096'
quality_controlled: '1'
scopus_import: 1
status: public
title: Runtime verification for software transactional memories
type: conference
user_id: 4435EBFC-F248-11E8-B48F-1D18A9856A87
volume: 6418
year: '2010'
...