Follow
ali sezgin
ali sezgin
Verified email at cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Modelling the ARMv8 architecture, operationally: Concurrency and ISA
S Flur, KE Gray, C Pulte, S Sarkar, A Sezgin, L Maranget, W Deacon, ...
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
1832016
Quantitative relaxation of concurrent data structures
TA Henzinger, CM Kirsch, H Payer, A Sezgin, A Sokolova
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
1212013
Aspect-oriented linearizability proofs
TA Henzinger, A Sezgin, V Vafeiadis
International Conference on Concurrency Theory, 242-256, 2013
662013
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation
A Haas, M Lippautz, TA Henzinger, H Payer, A Sokolova, CM Kirsch, ...
Proceedings of the ACM International Conference on Computing Frontiers, 1-9, 2013
662013
Simplifying linearizability proofs with reduction and abstraction
T Elmas, S Qadeer, A Sezgin, O Subasi, S Tasiran
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
602010
Mixed-size concurrency: ARM, Power, C/C++ 11, and SC
S Flur, S Sarkar, C Pulte, K Nienhuis, L Maranget, KE Gray, A Sezgin, ...
ACM SIGPLAN Notices 52 (1), 429-442, 2017
502017
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
Logical Methods in Computer Science 11, 2015
242015
Local linearizability for concurrent container-type data structures
A Haas, TA Henzinger, A Holzer, C Kirsch, M Lippautz, H Payer, A Sezgin, ...
Leibniz International Proceedings in Informatics 59, 2016
232016
Back and forth: Prophecy variables for static verification of concurrent programs
S Qadeer, A Sezgin, S Tasiran
Tech. Rep. MSR-TR-2009-142, 2009
132009
Delayed continuous-time Markov chains for genetic regulatory circuits
CC Guet, A Gupta, TA Henzinger, M Mateescu, A Sezgin
International Conference on Computer Aided Verification, 294-309, 2012
122012
Emptiness of linear weak alternating automata
S Merz, A Sezgin
122003
Local linearizability
A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ...
arXiv preprint arXiv:1502.07118, 2015
92015
Tressa: Claiming the future
A Sezgin, S Tasiran, S Qadeer
International Conference on Verified Software: Theories, Tools, and …, 2010
92010
Sequential consistency and concurrent data structures
A Sezgin
arXiv preprint arXiv:1506.04910, 2015
72015
On the definition of sequential consistency
A Sezgin, G Gopalakrishnan
Information processing letters 96 (6), 193-196, 2005
72005
Formalization and verification of shared memory
A Sezgin
The University of Utah, 2004
72004
An annotation assistant for interactive debugging of programs with common synchronization idioms
T Elmas, A Sezgin, S Tasiran, S Qadeer
Proceedings of the 7th workshop on parallel and distributed systems: Testing …, 2009
62009
Transient memory in gene regulation
C Guet, TA Henzinger, C Igler, T Petrov, A Sezgin
International Conference on Computational Methods in Systems Biology, 155-187, 2019
52019
Replacing competition with cooperation to achieve scalable lock-free FIFO queues
TA Henzinger, H Payer, A Sezgin
42013
On the decidability of shared memory consistency verification
A Sezgin, G Gopalakrishnan
Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005
32005
The system can't perform the operation now. Try again later.
Articles 1–20