Personal information

No personal information available

Activities

Employment (3)

Hunan University: Changsha, Hunan, CN

2019-11-01 to present (School of Mathematics )
Employment
Source: Self-asserted source
XIAODONG JIA

Tulane University: LA, LA, US

2019-11-01 to 2021-06-24 | Postdoc (Computer Science)
Employment
Source: Self-asserted source
XIAODONG JIA

Laboratoire Spécification et Vérification: Cachan, Île-de-France, FR

2018-05-31 to 2019-04-30
Employment
Source: Self-asserted source
XIAODONG JIA

Education and qualifications (1)

University of Birmingham: Birmingham, West Midlands, GB

2015 to 2018
Qualification
Source: Self-asserted source
XIAODONG JIA

Works (15)

A Domain-theoretic Approach to Statistical Programming Languages

Journal of the ACM
2023-10-31 | Journal article
Contributors: Jean Goubault-Larrecq; Xiaodong Jia; Clément Théron
Source: check_circle
Crossref

Semantics for variational Quantum programming

Proceedings of the ACM on Programming Languages
2022-01-16 | Journal article
Contributors: Xiaodong Jia; Andre Kornell; Bert Lindenhovius; Michael Mislove; Vladimir Zamdzhiev
Source: check_circle
Crossref

Separating minimal valuations, point-continuous valuations and continuous valuations

2021-09-01 | Preprint
Source: Self-asserted source
XIAODONG JIA

Semantics for Variational Quantum Programming

2021-07-28 | Preprint
Source: Self-asserted source
XIAODONG JIA

Separating minimal valuations, point-continuous valuations, and continuous valuations

Mathematical Structures in Computer Science
2021-06 | Journal article
Contributors: Jean Goubault-Larrecq; Xiaodong Jia
Source: check_circle
Crossref

A Domain-Theoretic Approach to Statistical Programming Languages

2021-06-30 | Preprint
Source: Self-asserted source
XIAODONG JIA

Commutative Monads for Probabilistic Programming Languages

2021-01-31 | Preprint
Source: Self-asserted source
XIAODONG JIA

The Order-Sobrification Monad

Applied Categorical Structures
2020-10-10 | Journal article
Contributors: Xiaodong Jia
Source: check_circle
Crossref

Completing Simple Valuations in K-categories

2020-02-05 | Preprint
Source: Self-asserted source
XIAODONG JIA

Algebras of the Extended Probabilistic Powerdomain Monad

Electronic Notes in Theoretical Computer Science
2019-08 | Journal article
Part of ISSN: 1571-0661
Source: Self-asserted source
XIAODONG JIA

Domain-complete and LCS-complete Spaces

Electronic Notes in Theoretical Computer Science
2019-08 | Journal article
Part of ISSN: 1571-0661
Source: Self-asserted source
XIAODONG JIA

Core-compactness of Smyth powerspaces

2019-07-10 | Preprint
Source: Self-asserted source
XIAODONG JIA

θ-continuity and Dθ-completion of posets

Mathematical Structures in Computer Science
2018-04 | Journal article
Part of ISSN: 0960-1295
Part of ISSN: 1469-8072
Source: Self-asserted source
XIAODONG JIA

A note on coherence of dcpos

Topology and its Applications
2016-08 | Journal article
Part of ISSN: 0166-8641
Source: Self-asserted source
XIAODONG JIA

All cartesian closed categories of quasicontinuous domains consist of domains

Theoretical Computer Science
2015-08 | Journal article
Part of ISSN: 0304-3975
Source: Self-asserted source
XIAODONG JIA