Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Plume: Efficient and complete black-box checking of weak isolation levels
Modern databases embrace weak isolation levels to cater for highly available transactions.
However, weak isolation bugs have recently manifested in many production databases. This …
However, weak isolation bugs have recently manifested in many production databases. This …
Isovista: Black-box checking database isolation guarantees
Transactional isolation is critical to the functional correctness of database management
systems (DBMSs). Much effort has recently been devoted to finding isolation bugs and …
systems (DBMSs). Much effort has recently been devoted to finding isolation bugs and …
TDSQL: Tencent Distributed Database System
Distributed databases have become indispensable in contemporary computing and data
processing, owing to their pivotal role in ensuring high availability and scalability. They …
processing, owing to their pivotal role in ensuring high availability and scalability. They …
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
Spatial Database Management Systems (SDBMSs) aim to store, manipulate, and retrieve
spatial data. SDBMSs are employed in various modern applications, such as geographic …
spatial data. SDBMSs are employed in various modern applications, such as geographic …
Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
Modern web services crucially rely on high-performance distributed databases, where
concurrent transactions are isolated from each other using concurrency control protocols …
concurrent transactions are isolated from each other using concurrency control protocols …
Checking Transaction Isolation Violations Using Graph Queries
Distributed databases provide different transaction isolation levels for higher performance
and fault tolerance. However, implementing isolation models is challenging, and database …
and fault tolerance. However, implementing isolation models is challenging, and database …
[PDF][PDF] Testing Database Engines via Query Plans
Performance is one of the most important metrics for DBMSs, especially in today's big data
era. From a software standpoint, the mainstream direction to optimize DBMSs' performance …
era. From a software standpoint, the mainstream direction to optimize DBMSs' performance …
[PDF][PDF] Beyond NOC-NOC: Understanding Computation Overhead in Distributed Database Transactions
Y Sun - 2024 - research-collection.ethz.ch
This thesis aims to understand different trade-offs between current distributed transaction
protocols. Specifically, we focus on two widely used concurrency control levels: Causal …
protocols. Specifically, we focus on two widely used concurrency control levels: Causal …
Exploring the Correlation between Transactional Bugs and Isolation Levels
T Moroianu - 2024 - research-collection.ethz.ch
This thesis aims to create a testbed for easily replicating and analyzing Database
Management System (DBMS) transactional or isolation bugs, use this testbed to replicate …
Management System (DBMS) transactional or isolation bugs, use this testbed to replicate …
[PDF][PDF] Generating Cypher Subqueries in Graph Databases
R Grave de Peralta Gonzalez - 2024 - research-collection.ethz.ch
Graph database management systems (GDBMSs) have experienced a surge in popularity in
recent years, with applications in various domains such as social networks, recommendation …
recent years, with applications in various domains such as social networks, recommendation …