Germán Andrés Delbianco
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [d1]Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time (Artifact). DARTS 3(2): 04:1-04:4 (2017) - [c5]Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time. ECOOP 2017: 8:1-8:30 - [i3]Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources. CoRR abs/1709.07741 (2017) - 2016
- [c4]Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. OOPSLA 2016: 92-110 - [i2]Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Concurrent Data Structures Linked in Time. CoRR abs/1604.08080 (2016) - 2015
- [i1]Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco:
Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects. CoRR abs/1509.06220 (2015) - 2014
- [c3]Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco:
Communicating State Transition Systems for Fine-Grained Concurrent Resources. ESOP 2014: 290-310 - 2013
- [c2]Germán Andrés Delbianco, Aleksandar Nanevski:
Hoare-style reasoning with (algebraic) continuations. ICFP 2013: 363-376 - 2011
- [c1]Germán Andrés Delbianco, Mauro Jaskelioff, Alberto Pardo:
Applicative Shortcut Fusion. Trends in Functional Programming 2011: 179-194
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-03-23 23:47 CET by the dblp team