EagleBear2002 的博客

11-16

软件学报'21-数据库管理系统中数据异常体系化定义与分类

11-13

Transactional Information Systems

10-21

SIGMOD'95-A Critique of ANSI SQL Isolation Levels

10-21

OOPSLA'24-Plume-Efficient and Complete Black-box Checking of Weak Isolation Levels

10-07

CONCUR'19-Robustness Against Transactional Causal Consistency

09-26

ESOP'21-Checking Robustness Between Weak Transactional Consistency Models

09-26

PODS'20-Deciding Robustness for Lower SQL Isolation Levels

08-29

CONCUR'16-Robustness against Consistency Models with Atomic Visibility

08-28

CONCUR'17-Algebraic Laws for Weak Consistency

08-26

PODC'16-Analysing Snapshot Isolation