- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c8 |      | Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin: Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers 2013: 17 |
| c7 | | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova: Quantitative relaxation of concurrent data structures. POPL 2013: 317-328 |
| 2012 | ||
| c6 | | Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin: Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. CAV 2012: 294-309 |
| 2010 | ||
| c5 | | Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer: Run-Time Verification of Optimistic Concurrency. RV 2010: 384-398 |
| c4 | | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran: Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS 2010: 296-311 |
| c3 | | |
| 2009 | ||
| c2 | | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer: An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD 2009 |
| 2005 | ||
| j1 | | Ali Sezgin, Ganesh Gopalakrishnan: On the definition of sequential consistency. Inf. Process. Lett. 96(6): 193-196 (2005) |
| c1 | | Ali Sezgin, Ganesh Gopalakrishnan: On the decidability of shared memory consistency verification. MEMOCODE 2005: 199-208 |
Data released under the ODC-BY 1.0 license — See also our legal information page