ali sezgin
ali sezgin
Verified email at - Homepage
Cited by
Cited by
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
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
Simplifying linearizability proofs with reduction and abstraction
T Elmas, S Qadeer, A Sezgin, O Subasi, S Tasiran
International Conference on Tools and Algorithms for the Construction and …, 2010
Aspect-oriented linearizability proofs
TA Henzinger, A Sezgin, V Vafeiadis
International Conference on Concurrency Theory, 242-256, 2013
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
Antimicrobial and insecticidal: cyclic lipopeptides and hydrogen cyanide produced by plant-beneficial Pseudomonas strains CHA0, CMR12a, and PCL1391 contribute to insect killing
P Flury, P Vesga, M Péchy-Tarr, N Aellen, F Dennert, N Hofer, ...
Frontiers in microbiology 8, 100, 2017
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
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
Aspect-oriented linearizability proofs
S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis
arXiv preprint arXiv:1502.07639, 2015
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
Back and forth: Prophecy variables for static verification of concurrent programs
S Qadeer, A Sezgin, S Tasiran
Tech. Rep. MSR-TR-2009-142, 2009
Emptiness of linear weak alternating automata
S Merz, A Sezgin
Local linearizability
A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ...
arXiv preprint arXiv:1502.07118, 2015
Sequential consistency and concurrent data structures
A Sezgin
arXiv preprint arXiv:1506.04910, 2015
Tressa: Claiming the future
A Sezgin, S Tasiran, S Qadeer
International Conference on Verified Software: Theories, Tools, and …, 2010
Type checking liveness for collaborative processes with bounded and unbounded recursion
S Debois, T Hildebrandt, T Slaats, N Yoshida
International Conference on Formal Techniques for Distributed Objects …, 2014
On the definition of sequential consistency
A Sezgin, G Gopalakrishnan
Information processing letters 96 (6), 193-196, 2005
Formalization and verification of shared memory
A Sezgin, SC Gopalakrishnan
School of Computing, University of Utah, 2004
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
Replacing competition with cooperation to achieve scalable lock-free FIFO queues
TA Henzinger, H Payer, A Sezgin
The system can't perform the operation now. Try again later.
Articles 1–20