7 citations · 18 across the 17 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Relational Logic with Framing and Hypotheses: Technical Report
Anindya Banerjee, David A. Naumann, Mohammad Nikouei
Relational properties arise in many settings: relating two versions of a program that use different data representations, noninterference properties for security, etc. The main ing…
cs.LO2016
Concurrent Data Structures Linked in Time
Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski +1
Arguments about correctness of a concurrent data structure are typically carried out by using the notion of linearizability and specifying the linearization points of the data stru…