Tayfun Elmas

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Integrity Checking

Space Exploration

Delay Insensitive

Concurrent Execution

Top Venues

Publications

Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen
CONCURRIT: a domain specific language for reproducing concurrency bugs. PLDI (2013)
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. HotPar (2012)
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. PPOPP (2012)
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. PLDI (2011)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Goldilocks: a race-aware Java runtime. Commun. ACM 53 (11) (2010)
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS (2010)
Tayfun Elmas
QED: a proof system based on reduction and abstraction for the static verification of concurrent software. ICSE (2) (2010)
Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer
An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD (2009)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
A calculus of atomic actions. POPL (2009)
Serdar Tasiran, Tayfun Elmas
Rollback Atomicity. RV (2007)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Goldilocks: a race and transaction-aware java runtime. PLDI (2007)
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas
A classification of concurrency bugs in java benchmarks by developer intent. PADTAD (2006)
Tayfun Elmas, Serdar Tasiran
VyrdMC: Driving Runtime Refinement Checking with Model Checkers. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. FATES/RV (2006)
Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
A Novel Test Coverage Metric for Concurrently-Accessed Software Components. FATES (2005)
Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
VYRD: verifYing concurrent programs by runtime refinement-violation detection. PLDI (2005)
Tayfun Elmas, Öznur Özkasap
Distributed Document Sharing with Text Classification over Content-Addressable Network. AWCC (2004)