Hengbiao Yu

According to our database, Hengbiao Yu authored at least 22 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification of message-passing uninterpreted programs.

Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang

Sci. Comput. Program., 2024

FPCC: Detecting Floating-Point Errors via Chain Conditions.

Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang

Proc. ACM Program. Lang., 2024

Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions.

Xianglin Wang, Xin Yi, Hengbiao Yu, Chun Huang, Lin Peng

Proceedings of the 53rd International Conference on Parallel Processing, 2024

2023

Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.

Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang

Proceedings of the IEEE International Conference on Software Analysis, 2023

Input Validation for Neural Networks via Local Robustness Verification.

Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.

Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Symbolic Verification of Message Signatures in MPI.

Hengbiao Yu, Banghu Yin, Xin Yi

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Detecting High Floating-Point Errors via Ranking Analysis.

Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.

Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2020

Symbolic verification of message passing interface programs.

Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

MPI-SV: a symbolic verifier for MPI programs.

Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Symbolic Verification of Regular Properties for Java Programs.

Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong

ACM SIGSOFT Softw. Eng. Notes, 2019

Evaluation of model checkers by verifying message passing programs.

Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang

Sci. China Inf. Sci., 2019

2018

Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel.

Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang

CoRR, 2018

Combining Symbolic Execution and Model Checking to Verify MPI Programs.

Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang

CoRR, 2018

Symbolic verification of regular properties.

Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong

Proceedings of the 40th International Conference on Software Engineering, 2018

Combining symbolic execution and model checking to verify MPI programs.

Hengbiao Yu

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

RGSE: a regular property guided symbolic executor for Java.

Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Practical symbolic verification of regular properties.

Hengbiao Yu

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2015

Poster: Symbolic Execution of MPI Programs.

Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

An Operational Semantics for Model Checking Long Running Transactions.

Hengbiao Yu, Zhenbang Chen, Ji Wang

Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013