Tengshun Yang -

Registered user since Fri 1 Dec 2023

Name:Tengshun Yang

Affiliation:SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences

Contributions

2026

POPL

Author of Piecewise Analysis of Probabilistic Programs via k-Induction within the POPL-track

2024

PLDI

Author of Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving within the PLDI Research Papers-track

LAFI

Author of Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving within the LAFI 2024-track