| Combining symbolic execution and model checking for data flow testing T Su, Z Fu, G Pu, J He, Z Su 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 71 | 2015 |
| Xsat: A fast floating-point satisfiability solver Z Fu, Z Su Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 47 | 2016 |
| Detecting floating-point errors via atomic conditions D Zou, M Zeng, Y Xiong, Z Fu, L Zhang, Z Su Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 41 | 2019 |
| Automated backward error analysis for numerical code Z Fu, Z Bai, Z Su ACM SIGPLAN Notices 50 (10), 639-654, 2015 | 32 | 2015 |
| Achieving High Coverage for Floating-point Code via Unconstrained Programming Z Fu, Z Su The 38th ACM SIGPLAN Conference on Programming Language Design and …, 2017 | 30 | 2017 |
| Formally verified lifting of c-compiled x86-64 binaries F Verbeek, J Bockenek, Z Fu, B Ravindran Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 15 | 2022 |
| The forgotten case of the dependency bugs: on the example of the robot operating system A Fischer-Nielsen, Z Fu, T Su, A Wąsowski Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 15 | 2020 |
| Effective floating-point analysis via weak-distance minimization Z Fu, Z Su Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 14 | 2019 |
| Modularly combining numeric abstract domains with points-to analysis, and a scalable static numeric analyzer for Java Z Fu International Conference on Verification, Model Checking, and Abstract …, 2014 | 14 | 2014 |
| In defense of pure 16-bit floating-point neural networks J Yun, B Kang, F Rameau, Z Fu CoRR, 2023 | 7 | 2023 |
| Mathematical execution: a unified approach for testing numerical code Z Fu, Z Su arXiv preprint arXiv:1610.01133, 2016 | 6 | 2016 |
| Towards Efficient Data-flow Test Data Generation T Su, C Zhang, Y Yan, L Fan, G Pu, Y Liu, Z Fu, Z Su arXiv preprint arXiv:1803.10431, 2018 | 3 | 2018 |
| Static analysis of numerical properties in the presence of pointers Z Fu Université de Rennes; Université européenne de Bretagne (2007-2016), 2013 | 2 | 2013 |
| Comparative Study: Standalone IEEE 16-bit Floating-Point for Image Classification J Yun, B Kang, F Rameau, Z Fu arXiv preprint arXiv:2305.10947, 2023 | 1 | 2023 |
| The hidden power of pure 16-bit floating-point neural networks J Yun, B Kang, Z Fu arXiv preprint arXiv:2301.12809, 2023 | 1 | 2023 |
| Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version) Z Fu, Z Su arXiv preprint arXiv:1704.03394, 2017 | 1 | 2017 |
| Targeted update–Aggressive memory abstraction beyond common sense and its application on static numeric analysis Z Fu Programming Languages and Systems: 23rd European Symposium on Programming …, 2014 | 1 | 2014 |
| On Extending Incorrectness Logic with Backwards Reasoning F Verbeek, MS Sefat, Z Fu, B Ravindran Proceedings of the ACM on Programming Languages 9 (POPL), 391-415, 2025 | | 2025 |
| Formally Verified Lifting of C-compiled x86-64 Binaries BR Freek Verbeek, Joshua Bockenek, Zhoulai Fu In ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2022 | | 2022 |
Zhendong SuProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
