Germán Andrés Delbianco

14 papers A 4Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
On algebraic abstractions for concurrent separation logics.
Proc. ACM Program. Lang.
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2020 J jnl
On Algebraic Abstractions for Concurrent Separation Logics.
CoRR
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2019 J jnl
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations.
CoRR
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2019 J jnl
Specifying concurrent programs in separation logic: morphisms and simulations.
Proc. ACM Program. Lang.
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2017 J jnl
Concurrent Data Structures Linked in Time (Artifact).
Dagstuhl Artifacts Ser.
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
2017 A conf
Concurrent Data Structures Linked in Time.
ECOOP
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
2017 — —
Hoare-style Reasoning with Higher-order Control: Continuations and Concurrency.
Germán Andrés Delbianco
2017 J jnl
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources.
CoRR
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco
2016 J jnl
Concurrent Data Structures Linked in Time.
CoRR
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
2016 A conf
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects.
OOPSLA
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco
2015 J jnl
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects.
CoRR
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco
2014 A conf
Communicating State Transition Systems for Fine-Grained Concurrent Resources.
ESOP
Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco
2013 A conf
Hoare-style reasoning with (algebraic) continuations.
ICFP
Germán Andrés Delbianco, Aleksandar Nanevski
2011 — conf
Applicative Shortcut Fusion.
Trends in Functional Programming
Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo