Publication:
Verification tools for transactional programs

Simple item page
dc.contributor.coauthorCristal, Adrian
dc.contributor.coauthorCohen, Ernie
dc.contributor.coauthorÜnsal, Osman
dc.contributor.coauthorElmas, Tayfun
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.facultymemberYes
dc.contributor.kuauthorKuru, İsmail
dc.contributor.kuauthorMutluergil, Süha Orhun
dc.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
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.fulltextNo
dc.description.harvestedfromManual
dc.description.indexedbyScopus
dc.description.openaccessYES
dc.description.peerreviewstatusN/A
dc.description.publisherscopeInternational
dc.description.readpublishN/A
dc.description.sponsoredbyTubitakEuN/A
dc.description.studentonlypublicationNo
dc.description.studentpublicationYes
dc.description.versionN/A
dc.identifier.WoSQuartileQ4
dc.identifier.doi10.1007/978-3-319-14720-8_14
dc.identifier.eissn1611-3349
dc.identifier.embargoN/A
dc.identifier.endpage306
dc.identifier.issn0302-9743
dc.identifier.scopus2-s2.0-84921763645
dc.identifier.startpage283
dc.identifier.urihttps://doi.org/10.1007/978-3-319-14720-8_14
dc.identifier.urihttps://hdl.handle.net/20.500.14288/16993
dc.identifier.volume8913
dc.keywordsTransactional memory
dc.keywordsConcurrent programming
dc.keywordsFormal verification
dc.keywordsAtomic operations
dc.language.isoeng
dc.publisherSpringer
dc.relation.affiliationKoç University
dc.relation.collectionKoç University Institutional Repository
dc.relation.ispartofLecture Notes in Computer Science
dc.relation.openaccessN/A
dc.rightsN/A
dc.subjectComputer engineering
dc.titleVerification tools for transactional programs
dc.typeJournal Article
dspace.entity.typePublication
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.isGoalOfPublicationa9786601-9431-4553-9a46-013bb366fb87
relation.isGoalOfPublication.latestForDiscoverya9786601-9431-4553-9a46-013bb366fb87
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfPublication8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164

Files

Collections

Publications without Fulltext