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

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

Bibliographic Details
Main Authors:	Xia, Yu, Yu, Xiangyao, Butrovich, Matthew, Pavlo, Andrew, Devadas, Srinivas
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM\|Proceedings of the 2022 International Conference on Management of Data 2022
Online Access:	https://hdl.handle.net/1721.1/146094

Similar Items

Taurus: lightweight parallel logging for in-memory database management systems
by: Xia, Yu, et al.
Published: (2022)

Sundial: harmonizing concurrency control and caching in a distributed OLTP database management system
by: Yu, Xiangyao, et al.
Published: (2021)

Sundial: harmonizing concurrency control and caching in a distributed OLTP database management system
by: Yu, Xiangyao, et al.
Published: (2022)

LiTM: A Lightweight Deterministic Software Transactional Memory System
by: Xia, Yu, et al.
Published: (2021)

Towards a Cryptographically Verifiable Database Management System
by: Xia, Yu
Published: (2023)

TicToc: Time Traveling Optimistic Concurrency Control
by: Yu, Xiangyao, et al.
Published: (2018)

ASEAN & Myanmar: litmus test or existential challenge?
by: Tan, See Seng
Published: (2022)

C4: Verified Transactional Objects
by: Lesani, Mohsen, et al.
Published: (2022)

Staring into the abyss: An evaluation of concurrency control with one thousand cores
by: Yu, Xiangyao, et al.
Published: (2015)

Tardis: Time Traveling Coherence Algorithm for Distributed Shared Memory
by: Yu, Xiangyao, et al.
Published: (2018)

Tastes Great! Less Filling! High Performance and Accurate Training Data Collection for Self-Driving Database Management Systems
by: Butrovich, Matthew, et al.
Published: (2022)

Building Equality: A “Litmus Test” for Recognising and Evidencing Inequalities and Segregation in the Built Environment
by: Michael Crilly, et al.
Published: (2023-03-01)

Towards the ’Verified Verifier’. Theory and Practice
by: D. A. Kondratyev, et al.
Published: (2014-12-01)

World AIDS Day 2022 Elimination Litmus test – Children and Key Populations
Published: (2023-01-01)

COVID -19 pandemic : a litmus test of the resilience of Chinese and US governance models
by: Mao, Dun, et al.
Published: (2022)

IoT data security in outsourced databases: A survey of verifiable database
by: Ailin Chen, et al.
Published: (2024-04-01)

STAR: scaling transactions through asymmetric replication
by: Lu, Yi, et al.
Published: (2021)

Climate change, COVID-19 and war: Triad Litmus Test questioning the conscientiousness for collective action
by: Oluwaseyi Adeleye, et al.
Published: (2022-12-01)

Tardis 2.0
by: Yu, Xiangyao, et al.
Published: (2018)

GoTxn: Verifying a Crash-Safe, Concurrent Transaction System
by: Theng, Mark
Published: (2022)

Verifying data integrity of influenza genome database
by: Ong, Tse Yin
Published: (2018)

IMP: Indirect Memory Prefetcher
by: Yu, Xiangyao, et al.
Published: (2017)

Towards the Verifying Compiler
by: Hoare, C
Published: (2004)

Towards the Verifying Compiler
by: Hoare, C
Published: (2002)

The verified software repository: a step towards the verifying compiler
by: Bicarregui, J, et al.
Published: (2006)

ACM transactions on database systems
by: Association for Computing Machinery (United States)
Published: (1976)

Autonomous Temporal Transaction Database
by: Michal Kvet
Published: (2021-10-01)

Does Timing in Acquisition Modulate Heritage Children’s Language Abilities? Evidence from the Greek LITMUS Sentence Repetition Task
by: Christos Makrodimitris, et al.
Published: (2021-03-01)

Enhanced Data Locking to Serve ACID Transaction Properties in the Oracle Database
by: Michal Kvet
Published: (2023-11-01)

Secure and Robust Error Correction for Physical Unclonable Functions
by: Yu, Meng-Day (Mandel), et al.
Published: (2010)

Aria: a fast and practical deterministic OLTP database
by: Lu, Yi, et al.
Published: (2021)

Banshee: Bandwidth-Efficient DRAM Caching via Software/Hardware Cooperation
by: Yu, Xiangyao, et al.
Published: (2021)

Chemometric-Assisted Litmus Test: One Single Sensing Platform Adapted from 1–13 to Narrow pH Ranges
by: Lisa Rita Magnaghi, et al.
Published: (2023-02-01)

A Fair, Verifiable and Privacy-Protecting Data Outsourcing Transaction Scheme Based on Smart Contracts
by: Lina Li, et al.
Published: (2022-01-01)

Transaction Management Model for Mobile Database
by: Al-Khinalie, Ziyad Tariq Abdul-Mehdi
Published: (2006)

Speedy transactions in multicore in-memory databases
by: Tu, Stephen, et al.
Published: (2014)

Fast transactions for multicore in-memory databases
by: Tu, Stephen Lyle
Published: (2013)

Verifying the Correctness of Wide-Area Internet Routing
by: Feamster, Nick, et al.
Published: (2005)

A Self-Tester for Linear Functions over the Integers with an Elementary Proof of Correctness
by: Devadas, Sheela, et al.
Published: (2016)

A modern-day litmus test for the sustainability of daily IVF practice - Alabama supreme court ruling overreaches in asserting that frozen embryos are legally children
by: David B. Seifer
Published: (2024-03-01)