Osdi 23 Detecting Transactional Bugs

Media Summary: Retrofitting High Availability Mechanism to Tame Hybrid Extracting More Concurrency from Distributed SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep

Osdi 23 Detecting Transactional Bugs - Detailed Analysis & Overview

Retrofitting High Availability Mechanism to Tame Hybrid Extracting More Concurrency from Distributed SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep

Photo Gallery

OSDI '23 - Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction

OSDI '23 - Verifying vMVCC, a high-performance transaction library using multi-version concurrency..

OSDI '21 - Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing

OSDI '24 - Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation

OSDI '21 - Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing

OSDI '21 - Polyjuice: High-Performance Transactions via Learned Concurrency Control

OSDI '14 - Extracting More Concurrency from Distributed Transactions

OSDI '23 - Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS

OSDI '14 - SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

FAST '14 - Checking the Integrity of Transactional Mechanisms

OSDI '23 - VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed...

USENIX Security '21 - Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking

View Detailed Profile

OSDI '23 - Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction

OSDI '23 - Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction

OSDI

OSDI '23 - Verifying vMVCC, a high-performance transaction library using multi-version concurrency..

OSDI '23 - Verifying vMVCC, a high-performance transaction library using multi-version concurrency..

OSDI

OSDI '21 - Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing

OSDI '21 - Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing

Finding

OSDI '24 - Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation

OSDI '24 - Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation

Detecting

OSDI '21 - Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing

OSDI '21 - Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing

Retrofitting High Availability Mechanism to Tame Hybrid

OSDI '21 - Polyjuice: High-Performance Transactions via Learned Concurrency Control

OSDI '21 - Polyjuice: High-Performance Transactions via Learned Concurrency Control

Polyjuice: High-Performance

OSDI '14 - Extracting More Concurrency from Distributed Transactions

OSDI '14 - Extracting More Concurrency from Distributed Transactions

Extracting More Concurrency from Distributed

OSDI '23 - Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS

OSDI '23 - Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS

OSDI

OSDI '14 - SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

OSDI '14 - SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep

FAST '14 - Checking the Integrity of Transactional Mechanisms

FAST '14 - Checking the Integrity of Transactional Mechanisms

Checking the Integrity of

OSDI '23 - VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed...

OSDI '23 - VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed...

OSDI

USENIX Security '21 - Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking

USENIX Security '21 - Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking

USENIX

OSDI '24 - Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration

OSDI '24 - Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration

Nomad: Non-Exclusive Memory Tiering via