Ali Sezgin

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