Follow
Zixin Huang
Zixin Huang
Verified email at illinois.edu
Title
Cited by
Cited by
Year
Testing probabilistic programming systems
S Dutta, O Legunsen, Z Huang, S Misailovic
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
462018
Storm: program reduction for testing and debugging probabilistic programming systems
S Dutta, W Zhang, Z Huang, S Misailovic
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
222019
Psense: Automatic sensitivity analysis for probabilistic programs
Z Huang, Z Wang, S Misailovic
International Symposium on Automated Technology for Verification and …, 2018
142018
Aqua: Automated quantized inference for probabilistic programs
Z Huang, S Dutta, S Misailovic
International Symposium on Automated Technology for Verification and …, 2021
72021
Sixthsense: Debugging convergence problems in probabilistic programs via program representation learning
S Dutta, Z Huang, S Misailovic
International Conference on Fundamental Approaches to Software Engineering …, 2022
12022
Automated quantized inference for probabilistic programs with AQUA
Z Huang, S Dutta, S Misailovic
Innovations in Systems and Software Engineering, 1-16, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–6