2 papers
cs.DB2026
A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations
Ce Lyu, Changzheng Wei, Yanhao Wang +6
The query optimizer is a fundamental component of database management systems that determines the most efficient execution strategy for a given query by evaluating alternative quer…
cs.DC2025
DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
Wei Zhou, Xiong Xu, Changzheng Wei +22
We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosyst…