Kia Rahmani

Latest

• Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
• CLOTHO : Directed Test Generation for Weakly Consistent Database Systems