3 papers
cs.DB2026
Extending Elle for Transaction Workloads with Duplicate Values
Zhiheng Cai, Si Liu, Hengfeng Wei +1
Elle is one of the most widely adopted black-box isolation validators. It crucially relies on the unique-value assumption for sound and efficient isolation validation. Yet, transac…
econ.EM2026
Intraday Gas Fee Heterogeneity on Ethereum: Evidence from Operational Firms
Irene Aldridge, Gavhar Annaeva, Leyla Beriker +21
Ethereum's EIP-1559 fee mechanism was designed under the assumption of homogeneous, myopic agents responding to a single congestion signal. We examine how this assumption interacts…
cs.DB2025
Fast Verification of Strong Database Isolation (Extended Version)
Zhiheng Cai, Si Liu, Hengfeng Wei +2
Strong isolation guarantees, such as serializability and snapshot isolation, are essential for maintaining data consistency and integrity in modern databases. Verifying whether a d…