-
Fuzzing Guided by Bayesian Program Analysi
Author: Zhang, Yifan; Zhang, Xin
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2026; Vol. 10, Issue POPL, pp. -. DOI: 10.1145/3776659
-
Local Contextual Type Inferenc
Author: Xue, Xu; Cui, Chen; Jiang, Shengyi; Oliveira, Bruno C. D. S
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2026; Vol. 10, Issue POPL, pp. -. DOI: 10.1145/3776653
-
An Expressive Assertion Language for Quantum Program
Author: Su, Bonan; Feng, Yuan; Ying, Mingsheng; Zhou, Li
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2026; Vol. 10, Issue POPL, pp. -. DOI: 10.1145/3776658
-
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Language
Author: Ye, Zhentao; Ji, Ruyi; Xiong, Yingfei; Zhang, Xin
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2026; Vol. 10, Issue POPL, pp. -. DOI: 10.1145/3776679
-
Piecewise Analysis of Probabilistic Programs via k-Inductio
Author: Yang, Tengshun; Feng, Shenghua; Fu, Hongfei; Zhan, Naijun; Ke, Jingyu; Wu, Shiyang
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2026; Vol. 10, Issue POPL, pp. -. DOI: 10.1145/3776709
-
ChiSA: Static Analysis for Lightweight Chisel Verificatio
Author: Cui, Jiacai; Chen, Qinlin; Zhan, Zhong-sheng; Tan, Tian; Li, Yue
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2026; Vol. 10, Issue POPL, pp. -. DOI: 10.1145/3776660
-
The Simple Essence of Boolean-Algebraic Subtypin
Author: Chau, Chun Yin; Parreaux, Lionel
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2026; Vol. 10, Issue POPL, pp. -. DOI: 10.1145/3776689
-
Orax: A Feedback-Driven Framework for Efficiently Solving Satisfiability Modulo Theories and Oracle
Author: Zhong, Zhineng; Zhang, Ziqi; Guan, Hanqin; Li, Ding
Journal: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL. 2025; Vol. 9, Issue OOPSLA1, pp. -. DOI: 10.1145/3720438
