Mariya Koshkina. Data flow analysis for checking properties of concurrent Java programs.

Qian Wan. Concurrent manipulation of binary search trees

Xiangsheng Lao. An Efficient Optimistic Concurrency Control Scheme for DDBMS.