Search the dblp DataBase

Publications of Author

1. Tayfun Elmas, Öznur Özkasap
   Distributed Document Sharing with Text Classification over Content-Addressable Network. [Citation Graph (0, 0)][DBLP]
   AWCC, 2004, pp:70-81 [Conf]
   
2. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
   Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:193-208 [Conf]
   
3. Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu
   A Novel Test Coverage Metric for Concurrently-Accessed Software Components. [Citation Graph (0, 0)][DBLP]
   FATES, 2005, pp:62-71 [Conf]
   
4. Tayfun Elmas, Serdar Tasiran, Shaz Qadeer
   VYRD: verifYing concurrent programs by runtime refinement-violation detection. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:27-37 [Conf]
   
5. Tayfun Elmas, Serdar Tasiran
   VyrdMC: Driving Runtime Refinement Checking with Model Checkers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:41-56 [Journal]
   
6. Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
   Goldilocks: a race and transaction-aware java runtime. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:245-255 [Conf]
   
7. 
   QED: a proof system based on reduction and abstraction for the static verification of concurrent software. [Citation Graph (, )][DBLP]
   
   
8. 
   A classification of concurrency bugs in java benchmarks by developer intent. [Citation Graph (, )][DBLP]
   
   
9. 
   An annotation assistant for interactive debugging of programs with common synchronization idioms. [Citation Graph (, )][DBLP]
   
   
10. 
    A calculus of atomic actions. [Citation Graph (, )][DBLP]
    
    
11. 
    Simplifying Linearizability Proofs with Reduction and Abstraction. [Citation Graph (, )][DBLP]
    
    
12. 
    Rollback Atomicity. [Citation Graph (, )][DBLP]