Travelled to:1 × France
1 × USA
Collaborated with:A.Nanevski I.Sergey Anindya Banerjee 0001 R.Ley-Wild Ignacio Fábregas
Talks about:concurr (4) style (2) hoar (2) structur (1) morphism (1) lineariz (1) communic (1) transit (1) specifi (1) resourc (1)
Person: Germán Andrés Delbianco
DBLP: Delbianco:Germ=aacute=n_Andr=eacute=s
Contributed to:
2014
2013
2016
20172019Wrote 5 papers:
- ESOP-2014-NanevskiLSD #communication #concurrent #fine-grained
- Communicating State Transition Systems for Fine-Grained Concurrent Resources (AN, RLW, IS, GAD), pp. 290–310.
- ICFP-2013-DelbiancoN #algebra #continuation #hoare #reasoning
- Hoare-style reasoning with (algebraic) continuations (GAD, AN), pp. 363–376.
- OOPSLA-2016-SergeyNBD #concurrent #correctness #hoare #specification
- Hoare-style specifications as correctness conditions for non-linearizable concurrent objects (IS, AN, AB0, GAD), pp. 92–110.
- ECOOP-2017-DelbiancoSNB #concurrent #data type
- Concurrent Data Structures Linked in Time (GAD, IS, AN, AB0), p. 30.
- OOPSLA-2019-Nanevski0DF #concurrent #logic #morphism #simulation #source code #specification
- Specifying concurrent programs in separation logic: morphisms and simulations (AN, AB0, GAD, IF), p. 30.