 | 2012 |
|---|
| 15 |       | Jacob Burnim,
Tayfun Elmas,
George C. Necula,
Koushik Sen:
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.
PPOPP 2012: 329-330 |
| 2011 |
|---|
| 14 | | Jacob Burnim,
Tayfun Elmas,
George C. Necula,
Koushik Sen:
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.
PLDI 2011: 401-414 |
| 2010 |
|---|
| 13 | | Tayfun Elmas:
QED: a proof system based on reduction and abstraction for the static verification of concurrent software.
ICSE (2) 2010: 507-508 |
| 12 | | Tayfun Elmas,
Shaz Qadeer,
Ali Sezgin,
Omer Subasi,
Serdar Tasiran:
Simplifying Linearizability Proofs with Reduction and Abstraction.
TACAS 2010: 296-311 |
| 11 | | Tayfun Elmas,
Shaz Qadeer,
Serdar Tasiran:
Goldilocks: a race-aware Java runtime.
Commun. ACM 53(11): 85-92 (2010) |
| 2009 |
|---|
| 10 | | Tayfun Elmas,
Ali Sezgin,
Serdar Tasiran,
Shaz Qadeer:
An annotation assistant for interactive debugging of programs with common synchronization idioms.
PADTAD 2009 |
| 9 | | Tayfun Elmas,
Shaz Qadeer,
Serdar Tasiran:
A calculus of atomic actions.
POPL 2009: 2-15 |
| 2007 |
|---|
| 8 | | Tayfun Elmas,
Shaz Qadeer,
Serdar Tasiran:
Goldilocks: a race and transaction-aware java runtime.
PLDI 2007: 245-255 |
| 7 | | Serdar Tasiran,
Tayfun Elmas:
Rollback Atomicity.
RV 2007: 188-201 |
| 2006 |
|---|
| 6 | | Tayfun Elmas,
Shaz Qadeer,
Serdar Tasiran:
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.
FATES/RV 2006: 193-208 |
| 5 | | M. Erkan Keremoglu,
Serdar Tasiran,
Tayfun Elmas:
A classification of concurrency bugs in java benchmarks by developer intent.
PADTAD 2006: 23-26 |
| 4 | | Tayfun Elmas,
Serdar Tasiran:
VyrdMC: Driving Runtime Refinement Checking with Model Checkers.
Electr. Notes Theor. Comput. Sci. 144(4): 41-56 (2006) |
| 2005 |
|---|
| 3 | | Serdar Tasiran,
Tayfun Elmas,
Guven Bolukbasi,
M. Erkan Keremoglu:
A Novel Test Coverage Metric for Concurrently-Accessed Software Components.
FATES 2005: 62-71 |
| 2 | | Tayfun Elmas,
Serdar Tasiran,
Shaz Qadeer:
VYRD: verifYing concurrent programs by runtime refinement-violation detection.
PLDI 2005: 27-37 |
| 2004 |
|---|
| 1 | | Tayfun Elmas,
Öznur Özkasap:
Distributed Document Sharing with Text Classification over Content-Addressable Network.
AWCC 2004: 70-81 |
Data released under the ODC-BY 1.0 license — See also our legal information page