Formalization and Verification of Shared Memory. - Ali Sezgin (2004)

On the decidability of shared memory consistency verification. - Ali Sezgin; Ganesh Gopalakrishnan (MEMOCODE, 2005)

On the definition of sequential consistency. - Ali Sezgin; Ganesh Gopalakrishnan (Inf. Process. Lett., 2005)

Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning. - Serdar Tasiran; Ali Sezgin; Shaz Qadeer (Design and Validation of Concurrent Systems, 2009)

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

Run-Time Verification of Optimistic Concurrency. - Ali Sezgin; Serdar Tasiran; Kivanç Muslu; Shaz Qadeer (RV, 2010)

Simplifying Linearizability Proofs with Reduction and Abstraction. - Tayfun Elmas; Shaz Qadeer; Ali Sezgin; Omer Subasi; Serdar Tasiran (TACAS, 2010)

Tressa: Claiming the Future. - Ali Sezgin; Serdar Tasiran; Shaz Qadeer (VSTTE, 2010)

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. - Calin C. Guet; Ashutosh Gupta 001; Thomas A. Henzinger; Maria Mateescu; Ali Sezgin (CAV, 2012)

Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. - Andreas Haas; Michael Lippautz; Thomas A. Henzinger; Hannes Payer; Ana Sokolova; Christoph M. Kirsch; Ali Sezgin (Conf. Computing Frontiers, 2013)

Aspect-Oriented Linearizability Proofs. - Thomas A. Henzinger; Ali Sezgin; Viktor Vafeiadis (CONCUR, 2013)

Quantitative relaxation of concurrent data structures. - Thomas A. Henzinger; Christoph M. Kirsch; Hannes Payer; Ali Sezgin; Ana Sokolova (POPL, 2013)

Moving Around: Lipton's Reduction for TSO - (Regular Submission). - Ali Sezgin; Serdar Tasiran (VSTTE, 2015)

Aspect-oriented linearizability proofs. - Soham Chakraborty 001; Thomas A. Henzinger; Ali Sezgin; Viktor Vafeiadis (Log. Methods Comput. Sci., 2015)

Local Linearizability. - Andreas Haas; Thomas A. Henzinger; Andreas Holzer; Christoph M. Kirsch; Michael Lippautz; Hannes Payer; Ali Sezgin; Ana Sokolova; Helmut Veith (CoRR, 2015)

Sequential Consistency and Concurrent Data Structures. - Ali Sezgin (CoRR, 2015)

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 (CONCUR, 2016)

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 (POPL, 2016)

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 (POPL, 2017)

Transient Memory in Gene Regulation. - Calin C. Guet; Thomas A. Henzinger; Claudia Igler; Tatjana Petrov; Ali Sezgin (CMSB, 2019)

Long lived transients in gene regulation. - Tatjana Petrov; Claudia Igler; Ali Sezgin; Thomas A. Henzinger; Calin C. Guet (Theor. Comput. Sci., 2021)