Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Serdar Tasiran

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Tayfun Elmas

> Home > Persons > Serdar Tasiran

Publications

2015
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/cost/CristalOCKKUTME15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cost/CristalOCKKUTME15
Adrián Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman S. Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas:
Verification Tools for Transactional Programs. Transactional Memory 2015: 283-306
2010
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/ElmasQT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/ElmasQT10
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: a race-aware Java runtime. Commun. ACM 53(11): 85-92 (2010)
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ElmasQSST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ElmasQSST10
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran:
Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS 2010: 296-311
2009
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ElmasSTQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ElmasSTQ09
Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer:
An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD 2009
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ElmasQT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ElmasQT09
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
A calculus of atomic actions. POPL 2009: 2-15
2007
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ElmasQT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ElmasQT07
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: a race and transaction-aware java runtime. PLDI 2007: 245-255
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TasiranE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TasiranE07
Serdar Tasiran, Tayfun Elmas:
Rollback Atomicity. RV 2007: 188-201
2006
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/ElmasQT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/ElmasQT06
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran:
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KeremogluTE06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KeremogluTE06
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas:
A classification of concurrency bugs in java benchmarks by developer intent. PADTAD 2006: 23-26
2005
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fates/TasiranEBK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fates/TasiranEBK05
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu:
A Novel Test Coverage Metric for Concurrently-Accessed Software Components. FATES 2005: 62-71
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ElmasTQ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ElmasTQ05
Tayfun Elmas, Serdar Tasiran, Shaz Qadeer:
VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI 2005: 27-37
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ElmasT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ElmasT06
Tayfun Elmas, Serdar Tasiran:
VyrdMC: Driving Runtime Refinement Checking with Model Checkers. RV@CAV 2005: 41-56

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.