Germán Andrés Delbianco

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 9

Top Topics

Mutual Exclusion

Concurrent Programs

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

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