| 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 | 184 | 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 | 121 | 2013 |
| Aspect-oriented linearizability proofs TA Henzinger, A Sezgin, V Vafeiadis International Conference on Concurrency Theory, 242-256, 2013 | 66 | 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 | 66 | 2013 |
| 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 | 60 | 2010 |
| 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 | 50 | 2017 |
| Aspect-oriented linearizability proofs S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis Logical Methods in Computer Science 11, 2015 | 24 | 2015 |
| 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 | 23 | 2016 |
| Back and forth: Prophecy variables for static verification of concurrent programs S Qadeer, A Sezgin, S Tasiran Tech. Rep. MSR-TR-2009-142, 2009 | 13 | 2009 |
| 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 | 12 | 2012 |
| Emptiness of linear weak alternating automata S Merz, A Sezgin | 12 | 2003 |
| Local linearizability A Haas, TA Henzinger, A Holzer, CM Kirsch, M Lippautz, H Payer, ... arXiv preprint arXiv:1502.07118, 2015 | 9 | 2015 |
| Tressa: Claiming the future A Sezgin, S Tasiran, S Qadeer International Conference on Verified Software: Theories, Tools, and …, 2010 | 9 | 2010 |
| Sequential consistency and concurrent data structures A Sezgin arXiv preprint arXiv:1506.04910, 2015 | 7 | 2015 |
| On the definition of sequential consistency A Sezgin, G Gopalakrishnan Information processing letters 96 (6), 193-196, 2005 | 7 | 2005 |
| Formalization and verification of shared memory A Sezgin The University of Utah, 2004 | 7 | 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 | 6 | 2009 |
| 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 | 5 | 2019 |
| Replacing competition with cooperation to achieve scalable lock-free FIFO queues TA Henzinger, H Payer, A Sezgin | 4 | 2013 |
| On the decidability of shared memory consistency verification A Sezgin, G Gopalakrishnan Proceedings. Second ACM and IEEE International Conference on Formal Methods …, 2005 | 3 | 2005 |
