PPaperPicks

Wensheng Dou

5 papers at tracked venues · 5 at CORE A* · active 20242025

Venues

Frequent coauthors

Papers

  1. Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction
  2. Proving Cypher Query Equivalence
  3. Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems
  4. Training Deep Neural Networks with Virtual Smoothing Classes
  5. Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction