Ali Sezgin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2005–2017
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | POPL | Mixed-size concurrency: ARM, POWER, C/C++11, and SC. | Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell |
| 2016 | CONCUR | Local Linearizability for Concurrent Container-Type Data Structures. | Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith |
| 2016 | POPL | Modelling the ARMv8 architecture, operationally: concurrency and ISA. | Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell |
| 2013 | CONCUR | Aspect-Oriented Linearizability Proofs. | Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis |
| 2013 | POPL | Quantitative relaxation of concurrent data structures. | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
| 2012 | CAV | Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. | Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin |
| 2010 | RV | Run-Time Verification of Optimistic Concurrency. | Ali Sezgin, Serdar Tasiran, Kivan Muslu, Shaz Qadeer |
| 2010 | TACAS | Simplifying Linearizability Proofs with Reduction and Abstraction. | Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran |
| 2009 | ISSTA | An annotation assistant for interactive debugging of programs with common synchronization idioms. | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
| 2005 | MEMOCODE | On the decidability of shared memory consistency verification. | Ali Sezgin, Ganesh Gopalakrishnan |