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
592018
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
292019
Psense: Automatic sensitivity analysis for probabilistic programs
Z Huang, Z Wang, S Misailovic
Automated Technology for Verification and Analysis: 16th International …, 2018
212018
Aqua: Automated quantized inference for probabilistic programs
Z Huang, S Dutta, S Misailovic
Automated Technology for Verification and Analysis: 19th International …, 2021
202021
Simultaneous area and latency optimization for stochastic circuits by D flip-flop insertion
Z Li, Z Chen, Y Zhang, Z Huang, W Qian
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
152018
A high-accuracy approximate adder with correct sign calculation
J Hu, Z Li, M Yang, Z Huang, W Qian
Integration 65, 370-388, 2019
142019
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
52022
Astra: understanding the practical impact of robustness for probabilistic programs
Z Huang, S Dutta, S Misailovic
Uncertainty in Artificial Intelligence, 900-910, 2023
42023
Automated quantized inference for probabilistic programs with AQUA
Z Huang, S Dutta, S Misailovic
Innovations in Systems and Software Engineering 18 (3), 369-384, 2022
22022
Aquasense: Automated sensitivity analysis of probabilistic programs via quantized inference
Z Zhou, Z Huang, S Misailovic
International Symposium on Automated Technology for Verification and …, 2023
12023
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
Z Huang, S Dutta, S Misailovic
International Journal on Software Tools for Technology Transfer, 1-20, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–11