Ali Sezgin

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 5

Top Topics

Object Oriented

Top Venues

Publications

Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet
Long lived transients in gene regulation. Theor. Comput. Sci. 893 (2021)
Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin
Transient Memory in Gene Regulation. CMSB (2019)
Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell
Mixed-size concurrency: ARM, POWER, C/C++11, and SC. POPL (2017)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability for Concurrent Container-Type Data Structures. CONCUR (2016)
Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell
Modelling the ARMv8 architecture, operationally: concurrency and ISA. POPL (2016)
Ali Sezgin
Sequential Consistency and Concurrent Data Structures. CoRR (2015)
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
Aspect-oriented linearizability proofs. Log. Methods Comput. Sci. 11 (1) (2015)
Ali Sezgin, Serdar Tasiran
Moving Around: Lipton's Reduction for TSO - (Regular Submission). VSTTE (2015)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability. CoRR (2015)
Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova
Quantitative relaxation of concurrent data structures. POPL (2013)
Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
Aspect-Oriented Linearizability Proofs. CONCUR (2013)
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)
Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. CAV (2012)
Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
Simplifying Linearizability Proofs with Reduction and Abstraction. TACAS (2010)
Ali Sezgin, Serdar Tasiran, Shaz Qadeer
Tressa: Claiming the Future. VSTTE (2010)
Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer
Run-Time Verification of Optimistic Concurrency. RV (2010)
Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer
An annotation assistant for interactive debugging of programs with common synchronization idioms. PADTAD (2009)
Serdar Tasiran, Ali Sezgin, Shaz Qadeer
Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning. Design and Validation of Concurrent Systems (2009)
Ali Sezgin, Ganesh Gopalakrishnan
On the decidability of shared memory consistency verification. MEMOCODE (2005)
Ali Sezgin, Ganesh Gopalakrishnan
On the definition of sequential consistency. Inf. Process. Lett. 96 (6) (2005)