External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient Linearizability Monitoring

Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson 0001, Shankaranarayanan Krishna, Om Swostik Mishra. Efficient Linearizability Monitoring. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):1937-1960, 2025. [doi]

Authors

Parosh Aziz Abdulla

This author has not been identified. Look up 'Parosh Aziz Abdulla' in Google

Samuel Grahn

This author has not been identified. Look up 'Samuel Grahn' in Google

Bengt Jonsson 0001

This author has not been identified. Look up 'Bengt Jonsson 0001' in Google

Shankaranarayanan Krishna

This author has not been identified. Look up 'Shankaranarayanan Krishna' in Google

Om Swostik Mishra

This author has not been identified. Look up 'Om Swostik Mishra' in Google
runs on