Tayfun Elmas

19 papers A* 5A 1B 2Journal 1Unranked 8
YearRankTypeTitle / Venue / Authors
2015 — ch.
Verification Tools for Transactional Programs.
Transactional Memory
Adrián Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman S. Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas
2013 A* conf
CONCURRIT: a domain specific language for reproducing concurrency bugs.
PLDI
Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen
2012 — conf
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.
HotPar
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2012 B conf
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.
PPoPP
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2011 A* conf
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.
PLDI
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2010 J jnl
Goldilocks: a race-aware Java runtime.
Commun. ACM
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2010 — conf
QED: a proof system based on reduction and abstraction for the static verification of concurrent software.
ICSE (2)
Tayfun Elmas
2010 A conf
Simplifying Linearizability Proofs with Reduction and Abstraction.
TACAS
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
2010 — —
Techniques for runtime monitoring and static verification of concurrent software (Koşut-zamanlı yazılımlar için çalışma-zamanı izleme ve durağan doğrulama teknikleri)
Tayfun Elmas
2009 A* conf
A calculus of atomic actions.
POPL
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2009 — conf
An annotation assistant for interactive debugging of programs with common synchronization idioms.
PADTAD
Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer
2007 A* conf
Goldilocks: a race and transaction-aware java runtime.
PLDI
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2007 B conf
Rollback Atomicity.
RV
Serdar Tasiran, Tayfun Elmas
2006 — conf
A classification of concurrency bugs in java benchmarks by developer intent.
PADTAD
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas
2006 — conf
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets.
FATES/RV
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
2005 — conf
A Novel Test Coverage Metric for Concurrently-Accessed Software Components.
FATES
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
2005 A* conf
VYRD: verifYing concurrent programs by runtime refinement-violation detection.
PLDI
Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
2005 — conf
VyrdMC: Driving Runtime Refinement Checking with Model Checkers.
RV@CAV
Tayfun Elmas, Serdar Tasiran
2004 — conf
Distributed Document Sharing with Text Classification over Content-Addressable Network.
AWCC
Tayfun Elmas, Öznur Özkasap