Ali Sezgin (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer: Run-Time Verification of Optimistic Concurrency. RV 2010: 384-398

5 Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran: Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS 2010: 296-311

4 Ali Sezgin, Serdar Tasiran, Shaz Qadeer: Tressa: Claiming the Future. VSTTE 2010: 25-39

3 Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer: An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD 2009

Selection of 4 from 7 records - Ali Sezgin has 10 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer: Run-Time Verification of Optimistic Concurrency. RV 2010: 384-398
5		Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran: Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS 2010: 296-311
4		Ali Sezgin, Serdar Tasiran, Shaz Qadeer: Tressa: Claiming the Future. VSTTE 2010: 25-39
3		Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer: An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD 2009