Programming Languages and Systems

Overview of attention for book

Springer International Publishing

Attention for Chapter: View-Based Owicki–Gries Reasoning for Persistent x86-TSO

Altmetric Badge

Mentioned by

twitter: 2 X users

Readers on

mendeley: 1 Mendeley

Summary X

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 1,058 followers.

RT @ComputingSurrey: Congratulations to Eleni Bila and Brijesh Dongol for winning an ESOP’22 Distinguished Artifact Award in their joint wo…

06 Apr 2022

Reply Repost Favourite

Congratulations to Eleni Bila and Brijesh Dongol for winning an ESOP’22 Distinguished Artifact Award in their joint work with Ori Lahav (Tel Aviv University), Azalea Raad and John Wickerson (ICL): View-Based Owicki-Gries Reasoning for Persistent x86-TSO (h

05 Apr 2022

Reply Repost Favourite

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.

Programming Languages and Systems

Table of Contents

Mentioned by

Readers on