Hengbiao Yu

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 20

Top Topics

Formal Verification

Symbolic Execution

Message Passing

Top Venues

ICSE (Companion Volume)

ESEC/SIGSOFT FSE

Publications

Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234 (2024)
Xianglin Wang, Xin Yi, Hengbiao Yu, Chun Huang, Lin Peng
Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions. ICPP (2024)
Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. SANER (2023)
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC (2023)
Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion (2023)
Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin
Detecting High Floating-Point Errors via Ranking Analysis. APSEC (2022)
Hengbiao Yu, Banghu Yin, Xin Yi
Symbolic Verification of Message Signatures in MPI. ICST (2022)
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
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
Symbolic verification of message passing interface programs. ICSE (2020)
Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang
MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) (2020)
Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA (2020)
Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong
Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. 62 (10) (2019)
Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
Symbolic verification of regular properties. ICSE (2018)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR (2018)
Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel. CoRR (2018)
Hengbiao Yu
Combining symbolic execution and model checking to verify MPI programs. ICSE (Companion Volume) (2018)
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE (2017)
Hengbiao Yu
Practical symbolic verification of regular properties. ESEC/SIGSOFT FSE (2017)
Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
Poster: Symbolic Execution of MPI Programs. ICSE (2) (2015)
Hengbiao Yu, Zhenbang Chen, Ji Wang
An Operational Semantics for Model Checking Long Running Transactions. WS-FM (2013)