Follow
Germán  Delbianco
Germán Delbianco
Nomadic Labs
Verified email at nomadic-labs.com - Homepage
Title
Cited by
Cited by
Year
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
1392014
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
282016
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
212017
Hoare-Style Reasoning with (Algebraic) Continuations
GA Delbianco, A Nanevski
18th ACM SIGPLAN International Conference on Functional programming (ICFP'13 …, 2013
142013
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
122019
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
112021
Applicative Shortcut Fusion
GA Delbianco, M Jaskelioff, A Pardo
Proceedings of the 12th International Symposium on Trends in Functional …, 2011
62011
Concurrent Data Structures Linked in Time (Artifact)
GA Delbianco, I Sergey, A Nanevski, A Banerjee
Dagstuhl Artifacts Series 3 (2), 4, 2017
12017
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
The system can't perform the operation now. Try again later.
Articles 1–12