| Communicating state transition systems for fine-grained concurrent resources A Nanevski, R Ley-Wild, I Sergey, GA Delbianco European Symposium on Programming Languages and Systems, 290-310, 2014 | 108 | 2014 |
| Hoare-style specifications as correctness conditions for non-linearizable concurrent objects I Sergey, A Nanevski, A Banerjee, GA Delbianco ACM SIGPLAN Notices 51 (10), 92-110, 2016 | 20 | 2016 |
| Concurrent Data Structures Linked in Time GA Delbianco, I Sergey, A Naneve, A Banerjee 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19 …, 2017 | 12 | 2017 |
| Hoare-Style Reasoning with (Algebraic) Continuations GA Delbianco, A Nanevski 18th ACM SIGPLAN International Conference on Functional programming (ICFP'13 …, 2013 | 12 | 2013 |
| Applicative Shortcut Fusion GA Delbianco, M Jaskelioff, A Pardo Proceedings of the 12th International Symposium on Trends in Functional …, 2011 | 6 | 2011 |
| Specifying concurrent programs in separation logic: morphisms and simulations A Nanevski, A Banerjee, GA Delbianco, I Fábregas Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 4 | 2019 |
| Concurrent Data Structures Linked in Time (Artifact) GA Delbianco, I Sergey, A Nanevski, A Banerjee Dagstuhl Artifacts Series 3 (2), 4, 2017 | 1 | 2017 |
| On algebraic abstractions for concurrent separation logics F Farka, A Nanevski, A Banerjee, GA Delbianco, I Fábregas Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021 | | 2021 |
| Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources A Nanevski, A Banerjee, GA Delbianco arXiv preprint arXiv:1709.07741, 2017 | | 2017 |
| Hoare-style Reasoning with Higher-order Control: Continuations and Concurrency GA Delbianco Universidad Politécnica de Madrid. ETSI Informáticos, 2017 | | 2017 |
| Cálculo de Programas con Functores Aplicativos GA Delbianco Universidad Nacional de Rosario, 2010 | | 2010 |
| Resource Morphisms for Specifying Concurrent Programs in Separation Logic A Nanevski, A Banerjee, GA Delbianco, I Fábregas | | |
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
