Folgen
Germán  Delbianco
Germán Delbianco
Nomadic Labs
Bestätigte E-Mail-Adresse bei nomadic-labs.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1422014
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
222017
Hoare-Style Reasoning with (Algebraic) Continuations
GA Delbianco, A Nanevski
18th ACM SIGPLAN International Conference on Functional programming (ICFP'13 …, 2013
142013
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
122021
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12