Tengshun Yang

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Dirichlet Process

Exact Inference

Markov Chain Monte Carlo Methods

Formal Analysis

Top Venues

Proc. ACM Program. Lang.

J. Syst. Archit.

Publications

Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu
Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs. CoRR (2024)
Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming. CoRR (2023)
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA). J. Syst. Archit. 126 (2022)
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
Formal Analysis of 5G AKMA. SETTA (2021)