ZKWASM: A ZKSNARK WASM Emulator S Gao, G Li, H Fu IEEE Transactions on Services Computing, 2024 | | 2024 |
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving P Wang, T Yang, H Fu, G Li, CHL Ong Proceedings of the ACM on Programming Languages 8 (PLDI), 1361-1386, 2024 | | 2024 |
Piecewise Linear Expectation Analysis via -Induction for Probabilistic Programs T Yang, H Fu, J Ke, N Zhan, S Wu arXiv preprint arXiv:2403.17567, 2024 | | 2024 |
Equational Bit-Vector Solving via Strong Gr\" obner Bases J Song, H Fu, C Zhang arXiv preprint arXiv:2402.16314, 2024 | | 2024 |
Demystifying Template-Based Invariant Generation for Bit-Vector Programs P Yao, J Ke, J Sun, H Fu, R Wu, K Ren 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
Affine Disjunctive Invariant Generation with Farkas' Lemma H Liu, J Ke, H Fu, L Chen, G Li arXiv preprint arXiv:2307.13318, 2023 | | 2023 |
Template-Based Static Posterior Inference for Bayesian Probabilistic Programming P Wang, H Fu, T Yang, G Li, L Ong arXiv preprint arXiv:2307.13160, 2023 | | 2023 |
Automated tail bound analysis for probabilistic recurrence relations Y Sun, H Fu, K Chatterjee, AK Goharshady International Conference on Computer Aided Verification, 16-39, 2023 | 5 | 2023 |
ZAWA: A ZKSNARK WASM Emulator S Gao, G Li, H Fu, H Zhang, J Zhang | 2 | 2023 |
Scalable linear invariant generation with Farkas’ lemma H Liu, H Fu, Z Yu, J Song, G Li Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 204-232, 2022 | 9 | 2022 |
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories M Chen, G Li, C Ma, J Li, H Fu 29th International Conference on Computational Linguistics (COLING 2022 …, 2022 | 1 | 2022 |
A multi-chain synchronization protocol that leverage zero knowledge proof to minimize communication trust base S Gao, GQ Li, HF Fu, H Zhang arXiv preprint arXiv:2209.02974, 2022 | | 2022 |
Affine loop invariant generation via matrix algebra Y Ji, H Fu, B Fang, H Chen International Conference on Computer Aided Verification, 257-281, 2022 | 7 | 2022 |
Guided diffusion model for adversarial purification J Wang, Z Lyu, D Lin, B Dai, H Fu arXiv preprint arXiv:2205.14969, 2022 | 47 | 2022 |
Automated Concentration Bound Analysis for Probabilistic Recurrence Relations H Fu, Y Sun, K Chatterjee, A Goharshady | | 2021 |
Polynomial reachability witnesses via Stellensätze A Asadi, K Chatterjee, H Fu, AK Goharshady, M Mahdavi Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 30 | 2021 |
Quantitative analysis of assertion violations in probabilistic programs J Wang, Y Sun, H Fu, K Chatterjee, AK Goharshady Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 27 | 2021 |
Termination analysis of probabilistic programs with martingales K Chatterjee, H Fu, P Novotný Foundations of Probabilistic Programming, 221-258, 2020 | 17 | 2020 |
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations J Wang, Y Sun, H Fu, M Huang, AK Goharshady, K Chatterjee arXiv preprint arXiv:2008.00425, 2020 | | 2020 |
Inductive reachability witnesses A Asadi, K Chatterjee, H Fu, AK Goharshady, M Mahdavi arXiv preprint arXiv:2007.14259, 2020 | 1 | 2020 |