| Testing probabilistic programming systems S Dutta, O Legunsen, Z Huang, S Misailovic Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 67 | 2018 |
| 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 | 33 | 2019 |
| Aqua: Automated quantized inference for probabilistic programs Z Huang, S Dutta, S Misailovic Automated Technology for Verification and Analysis: 19th International …, 2021 | 27 | 2021 |
| Psense: Automatic sensitivity analysis for probabilistic programs Z Huang, Z Wang, S Misailovic Automated Technology for Verification and Analysis: 16th International …, 2018 | 24 | 2018 |
| 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 | 21 | 2018 |
| A high-accuracy approximate adder with correct sign calculation J Hu, Z Li, M Yang, Z Huang, W Qian Integration 65, 370-388, 2019 | 15 | 2019 |
| 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 | 6 | 2022 |
| Astra: understanding the practical impact of robustness for probabilistic programs Z Huang, S Dutta, S Misailovic Uncertainty in Artificial Intelligence, 900-910, 2023 | 5 | 2023 |
| 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 | 3 | 2022 |
| 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 | 2 | 2023 |
| 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 | 1 | 2024 |
| Enhancing trustworthiness in probabilistic programming: systematic approaches for robust and accurate inference Z Huang University of Illinois at Urbana-Champaign, 2024 | | 2024 |
Sasa MisailovicUniversity of Illinois at Urbana–Champaignillinois.edu의 이메일 확인됨