EagleBear2002 的博客

03-28

POPL'22-Truly Stateless, Optimal Dynamic Partial Order Reduction

03-18

SICOMP'97 Testing Shared Memories

03-08

使用 Github Actions 完成 Hexo + Github Pages 博客自动部署

03-07

离散数学基础知识

03-04

OOPSLA'19-On the Complexity of Checking Transactional Consistency

02-01

MySQL 可重复读如何“避免”幻读？

01-25

让 SSH 协议通过代理

01-25

数据库临时事务（Ad hoc transaction）

01-22

SIGMOD'22-Ad Hoc Transactions through the Looking Glass——An Empirical Study of Application-Level Transactions in Web Applications

01-02

软件过程与管理方法综述