dblp.uni-trier.dewww.uni-trier.de

Tayfun Elmas

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
9EETayfun Elmas, Shaz Qadeer, Serdar Tasiran: A calculus of atomic actions. POPL 2009: 2-15
2007
8EETayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race and transaction-aware java runtime. PLDI 2007: 245-255
7EESerdar Tasiran, Tayfun Elmas: Rollback Atomicity. RV 2007: 188-201
2006
6EETayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV 2006: 193-208
5EEM. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas: A classification of concurrency bugs in java benchmarks by developer intent. PADTAD 2006: 23-26
4EETayfun Elmas, Serdar Tasiran: VyrdMC: Driving Runtime Refinement Checking with Model Checkers. Electr. Notes Theor. Comput. Sci. 144(4): 41-56 (2006)
2005
3EESerdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu: A Novel Test Coverage Metric for Concurrently-Accessed Software Components. FATES 2005: 62-71
2EETayfun Elmas, Serdar Tasiran, Shaz Qadeer: VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI 2005: 27-37
2004
1EETayfun Elmas, Öznur Özkasap: Distributed Document Sharing with Text Classification over Content-Addressable Network. AWCC 2004: 70-81

Coauthor Index

1Guven Bolukbasi [3]
2M. Erkan Keremoglu [3] [5]
3Öznur Özkasap [1]
4Shaz Qadeer [2] [6] [8] [9]
5Serdar Tasiran [2] [3] [4] [5] [6] [7] [8] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)