Ali Sezgin

According to our database, Ali Sezgin authored at least 21 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Long lived transients in gene regulation.

Tatjana Petrov, Claudia Igler, Ali Sezgin, Thomas A. Henzinger, Calin C. Guet

Theor. Comput. Sci., 2021

2019

Transient Memory in Gene Regulation.

Calin C. Guet, Thomas A. Henzinger, Claudia Igler, Tatjana Petrov, Ali Sezgin

Proceedings of the Computational Methods in Systems Biology, 2019

2017

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

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

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

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Sequential Consistency and Concurrent Data Structures.

Ali Sezgin

CoRR, 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

Aspect-oriented linearizability proofs.

Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

Log. Methods Comput. Sci., 2015

Moving Around: Lipton's Reduction for TSO - (Regular Submission).

Ali Sezgin, Serdar Tasiran

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

2013

Quantitative relaxation of concurrent data structures.

Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Aspect-Oriented Linearizability Proofs.

Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

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

Proceedings of the Computing Frontiers Conference, 2013

2012

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.

Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Tressa: Claiming the Future.

Ali Sezgin, Serdar Tasiran, Shaz Qadeer

Proceedings of the Verified Software: Theories, 2010

Simplifying Linearizability Proofs with Reduction and Abstraction.

Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Run-Time Verification of Optimistic Concurrency.

Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer

Proceedings of the Runtime Verification - First International Conference, 2010

2009

An annotation assistant for interactive debugging of programs with common synchronization idioms.

Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Verifying Optimistic Concurrency: Prophecy Variables and Backward Reasoning.

Serdar Tasiran, Ali Sezgin, Shaz Qadeer

Proceedings of the Design and Validation of Concurrent Systems, 30.08. - 04.09.2009, 2009

2005

On the definition of sequential consistency.

Ali Sezgin, Ganesh Gopalakrishnan

Inf. Process. Lett., 2005

On the decidability of shared memory consistency verification.

Ali Sezgin, Ganesh Gopalakrishnan

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

2004

Formalization and Verification of Shared Memory.

Ali Sezgin

PhD thesis, 2004