Observable atomic consistency for CvRDTs. - Xin Zhao 011; Philipp Haller (AGERE!@SPLASH, 2018)

Foundations of Consistency Types for a Higher-Order Distributed Language. - Xin Zhao 011; Philipp Haller (LCPC, 2019)

On consistency types for lattice-based distributed programming languages. - Xin Zhao 011; Philipp Haller (CoRR, 2019)

Replicated data types that unify eventual consistency and observable atomic consistency. - Xin Zhao 011; Philipp Haller (J. Log. Algebraic Methods Program., 2020)

Consistency types for replicated data in a higher-order distributed programming language. - Xin Zhao 011; Philipp Haller (Art Sci. Eng. Program., 2021)

Language-based Approaches to Safe and Efficient Distributed Programming. - Xin Zhao 011 (2021)