| Communicating state transition systems for fine-grained concurrent resources A Nanevski, R Ley-Wild, I Sergey, GA Delbianco Programming Languages and Systems: 23rd European Symposium on Programming …, 2014 | 146 | 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 | 30 | 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 | 23 | 2017 |
| Hoare-Style Reasoning with (Algebraic) Continuations GA Delbianco, A Nanevski 18th ACM SIGPLAN International Conference on Functional programming (ICFP'13 …, 2013 | 16 | 2013 |
| 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 | 12 | 2019 |
| 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 | 11 | 2021 |
| Applicative Shortcut Fusion GA Delbianco, M Jaskelioff, A Pardo Proceedings of the 12th International Symposium on Trends in Functional …, 2011 | 6 | 2011 |
| Concurrent Data Structures Linked in Time (Artifact) GA Delbianco, I Sergey, A Nanevski, A Banerjee Dagstuhl Artifacts Series 3 (2), 4, 2017 | 1 | 2017 |
| Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources A Nanevski, A Banerjee, GA Delbianco arXiv preprint arXiv:1709.07741, 2017 | | 2017 |
| 31st European Conference on Object-Oriented Programming (ECOOP 2017) W Schulte, G Bracha, R Tate, TA Anderson, H Liu, L Kuper, E Totoni, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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
