BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Delbianco:Germ=aacute=n_Andr=eacute=s

Contributed to:

ESOP 20142014
ICFP 20132013
OOPSLA 20162016
ECOOP 20172017
OOPSLA 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.