Ali Sezgin und Henzinger - Info zur Person

(1 - 8 von 8

)

ISTA Research Explorer

research-explorer.ista.ac.at

Ali Sezgin. Henzinger_Thomas Group. Alias. ArXiv ID. Author Claim. GitHub. Google Scholar Profile. INSPIRE ID. ORCID ID. Researcher ID. Scopus Author ID. First ...

Aspect-Oriented Linearizability Proofs - Max Planck Institute for ...

people.mpi-sws.org

WEBAspect-Oriented Linearizability Proofs Thomas A. Henzinger 1, Ali Sezgin , and Viktor Vafeiadis2 1 IST Austria .at 2 MPI-SWS Abstract. …

Viktor Vafeiadis - Publications by subject - Max Planck Institute for ...

people.mpi-sws.org

WEBSoham Chakraborty, Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis. Logical Methods in Computer Science 11(1:20) (March 2015) Proving lock-freedom easily and automatically. …

WEBAndreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. Local Linearizability for Concurrent Container-Type Data Structures. In 27th International Conference on Concurrency Theory (CONCUR 2016).

Engineering MultiQueues: Fast Relaxed Concurrent Priority Queues

drops.dagstuhl.de

WEBAug 31, · Andreas Haas, Michael Lippautz, Thomas A Henzinger, Hannes Payer, Ana Sokolova, Christoph M Kirsch, and Ali Sezgin. Distributed queues in shared memory: …

Monotonically Relaxing Concurrent Data-Structure Semantics for ...

drops.dagstuhl.de

WEBOct 8, · Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. Quantitative Relaxation of Concurrent Data Structures. In Proceedings of the …