Collaborated with:A.Nanevski G.A.Delbianco I.Sergey Ignacio Fábregas
Talks about:concurr (3) structur (1) morphism (1) lineariz (1) specifi (1) program (1) correct (1) specif (1) object (1) condit (1)
Person: Anindya Banerjee 0001
DBLP: 0001:Anindya_Banerjee
Contributed to:
2016
20172019Wrote 3 papers:
- 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.