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.

Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness

Yu Xia 0005, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. In Zachary Ives, Angela Bonifati, Amr El Abbadi, editors, SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. pages 1478-1492, ACM, 2022. [doi]

Authors

Yu Xia 0005

This author has not been identified. Look up 'Yu Xia 0005' in Google

Xiangyao Yu

This author has not been identified. Look up 'Xiangyao Yu' in Google

Matthew Butrovich

This author has not been identified. Look up 'Matthew Butrovich' in Google

Andrew Pavlo

This author has not been identified. Look up 'Andrew Pavlo' in Google

Srinivas Devadas

This author has not been identified. Look up 'Srinivas Devadas' in Google
runs on