Publication:
Verification tools for transactional programs

Simple item page
dc.contributor.coauthorCristal, Adrian
dc.contributor.coauthorCohen, Ernie
dc.contributor.coauthorUnsal, Osman
dc.contributor.coauthorElmas, Tayfun
dc.contributor.departmentN/A
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.departmentN/A
dc.contributor.departmentN/A
dc.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.kuauthorMutluergil, Süha Orhun
dc.contributor.kuauthorKuru, İsmail
dc.contributor.kuprofilePhD Student
dc.contributor.kuprofileFaculty Member
dc.contributor.kuprofilePhD Student
dc.contributor.kuprofilePhD Student
dc.contributor.otherDepartment of Computer Engineering
dc.contributor.schoolcollegeinstituteGraduate School of Sciences and Engineering
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.schoolcollegeinstituteGraduate School of Sciences and Engineering
dc.contributor.schoolcollegeinstituteGraduate School of Sciences and Engineering
dc.contributor.yokidN/A
dc.contributor.yokidN/A
dc.contributor.yokidN/A
dc.contributor.yokidN/A
dc.date.accessioned2024-11-10T00:08:44Z
dc.date.issued2015
dc.description.abstractWhile transactional memory has been investigated intensively, its use as a programming primitive by application and system builders is only recently becoming widespread, especially with the availability of hardware support in mainstream commercial CPUs. One key benefit of using transactional memory while writing applications is the simplicity of not having to reason at a low level about synchronization. For this to be possible, verification tools that are aware of atomic blocks and their semantics are needed. While such tools are clearly needed for the adoption of transactional memory in real systems, research in this area is quite preliminary. In this chapter, we provide highlights of our previous work on verification tools for transactional programs.
dc.description.indexedbyScopus
dc.description.openaccessYES
dc.description.publisherscopeInternational
dc.description.volume8913
dc.identifier.doi10.1007/978-3-319-14720-8_14
dc.identifier.issn0302-9743
dc.identifier.linkhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84921763645&doi=10.1007%2f978-3-319-14720-8_14&partnerID=40&md5=2f6d587a441df290071ccea538a92e49
dc.identifier.quartileN/A
dc.identifier.scopus2-s2.0-84921763645
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-319-14720-8_14
dc.identifier.urihttps://hdl.handle.net/20.500.14288/16993
dc.keywordsProgram processors
dc.keywordsSemantics
dc.keywordsStorage allocation (computer)
dc.keywordsAtomic blocks
dc.keywordsHardware supports
dc.keywordsReal systems
dc.keywordsSystem builders
dc.keywordsTransactional memory
dc.keywordsVerification tools
dc.keywordsComputer systems programming
dc.languageEnglish
dc.publisherSpringer
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.subjectGeneral computer science
dc.subjectTheoretical computer science
dc.titleVerification tools for transactional programs
dc.typeJournal Article
dspace.entity.typePublication
local.contributor.authorid0000-0002-7038-165X
local.contributor.authoridN/A
local.contributor.authoridN/A
local.contributor.authorid0000-0002-5796-2150
local.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
local.contributor.kuauthorTaşıran, Serdar
local.contributor.kuauthorMutluergil, Süha Orhun
local.contributor.kuauthorKuru, İsmail
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae

Files

Collections

Publications without Fulltext