We stand with Ukraine  

Xin Zhao

Affiliations:
  • KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science, Stockholm, Sweden


According to our database1, Xin Zhao authored at least 6 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Language-based Approaches to Safe and Efficient Distributed Programming.
[BibTeX]
[DOI]
Xin Zhao
PhD thesis, 2021

Consistency types for replicated data in a higher-order distributed programming language.
[BibTeX]
[DOI]
Xin Zhao
,
Philipp Haller
Art Sci. Eng. Program., 2021

2020
Replicated data types that unify eventual consistency and observable atomic consistency.
[BibTeX]
[DOI]
Xin Zhao
,
Philipp Haller
J. Log. Algebraic Methods Program., 2020

2019
On consistency types for lattice-based distributed programming languages.
[BibTeX]
[DOI]
Xin Zhao
,
Philipp Haller
CoRR, 2019

Foundations of Consistency Types for a Higher-Order Distributed Language.
[BibTeX]
[DOI]
Xin Zhao
,
Philipp Haller
Proceedings of the Languages and Compilers for Parallel Computing, 2019

2018
Observable atomic consistency for CvRDTs.
[BibTeX]
[DOI]
Xin Zhao
,
Philipp Haller
Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, 2018


  Loading...