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