( en | de | ru )

 

Disambiguation of "Sezgin, Ali"

Author of the publication

copydeleteadd this publication to your clipboard
Mixed-size concurrency: ARM, POWER, C/C++11, and SC.

, , , , , , , , and . POPL, page 429-442. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ursula Sezgin

Erdinc Sezgin

Zeynep Sezgin

Ursula Sezgin

Ursula Sezgin

 

Other publications of authors with the same name

On the definition of sequential consistency., and . Inf. Process. Lett., 96 (6): 193-196 (2005)Simplifying Linearizability Proofs with Reduction and Abstraction., , , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 296-311. Springer, (2010)Mixed-size concurrency: ARM, POWER, C/C++11, and SC., , , , , , , , and . POPL, page 429-442. ACM, (2017)Modelling the ARMv8 architecture, operationally: concurrency and ISA., , , , , , , and . POPL, page 608-621. ACM, (2016)Moving Around: Lipton's Reduction for TSO - (Regular Submission)., and . VSTTE, volume 9593 of Lecture Notes in Computer Science, page 165-182. Springer, (2015)On the decidability of shared memory consistency verification., and . MEMOCODE, page 199-208. IEEE Computer Society, (2005)Tressa: Claiming the Future., , and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 25-39. Springer, (2010)Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation., , , , , , and . Conf. Computing Frontiers, page 17:1-17:9. ACM, (2013)Long lived transients in gene regulation., , , , and . Theor. Comput. Sci., (2021)Quantitative relaxation of concurrent data structures., , , , and . POPL, page 317-328. ACM, (2013)