Germán Andrés Delbianco

According to our database, Germán Andrés Delbianco authored at least 10 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On algebraic abstractions for concurrent separation logics.

Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas

Proc. ACM Program. Lang., 2021

2019

Specifying concurrent programs in separation logic: morphisms and simulations.

Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas

Proc. ACM Program. Lang., 2019

2017

Hoare-style Reasoning with Higher-order Control: Continuations and Concurrency.

Germán Andrés Delbianco

PhD thesis, 2017

Concurrent Data Structures Linked in Time (Artifact).

Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

Dagstuhl Artifacts Ser., 2017

Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources.

Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco

CoRR, 2017

Concurrent Data Structures Linked in Time.

Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Hoare-style specifications as correctness conditions for non-linearizable concurrent objects.

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2014

Communicating State Transition Systems for Fine-Grained Concurrent Resources.

Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco

Proceedings of the Programming Languages and Systems, 2014

2013

Hoare-style reasoning with (algebraic) continuations.

Germán Andrés Delbianco, Aleksandar Nanevski

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2011

Applicative Shortcut Fusion.

Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011