Hengbiao Yu

24 papers A* 2A 3B 1C 3Misc 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A conf
Fine-Grained Global Search for Inputs Triggering Floating-Point Exceptions in Gpu Programs.
IPDPS
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang, Chun Huang, Deheng Yang
2025 C conf
Function-level Optimization Automatic Tuner for Numerical Programs.
APSEC
Xinni Liu, Xinpeng Li, Guangping Yu, Hengbiao Yu, Xin Yi, Chun Huang
2024 J jnl
FPCC: Detecting Floating-Point Errors via Chain Conditions.
Proc. ACM Program. Lang.
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang
2024 B conf
Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions.
ICPP
Xianglin Wang, Xin Yi, Hengbiao Yu, Chun Huang, Lin Peng
2024 J jnl
Verification of message-passing uninterpreted programs.
Sci. Comput. Program.
Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang
2023 A conf
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability.
SANER
Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang
2023 — conf
Input Validation for Neural Networks via Local Robustness Verification.
QRS Companion
Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang
2023 C conf
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution.
APSEC
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang
2022 C conf
Detecting High Floating-Point Errors via Ranking Analysis.
APSEC
Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin
2022 A conf
Symbolic Verification of Message Signatures in MPI.
ICST
Hengbiao Yu, Banghu Yin, Xin Yi
2020 — conf
MPI-SV: a symbolic verifier for MPI programs.
ICSE (Companion Volume)
Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang
2020 Misc conf
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations.
SETTA
Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang
2020 A* conf
Symbolic verification of message passing interface programs.
ICSE
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
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
2019 J jnl
Evaluation of model checkers by verifying message passing programs.
Sci. China Inf. Sci.
Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang
2019 J jnl
Symbolic Verification of Regular Properties for Java Programs.
ACM SIGSOFT Softw. Eng. Notes
Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong
2018 J jnl
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel.
CoRR
Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Wei Dong, Ji Wang
2018 J jnl
Combining Symbolic Execution and Model Checking to Verify MPI Programs.
CoRR
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
2018 — conf
Combining symbolic execution and model checking to verify MPI programs.
ICSE (Companion Volume)
Hengbiao Yu
2018 A* conf
Symbolic verification of regular properties.
ICSE
Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
2017 — conf
Practical symbolic verification of regular properties.
ESEC/SIGSOFT FSE
Hengbiao Yu
2017 — conf
RGSE: a regular property guided symbolic executor for Java.
ESEC/SIGSOFT FSE
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong
2015 — conf
Poster: Symbolic Execution of MPI Programs.
ICSE (2)
Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang
2013 — conf
An Operational Semantics for Model Checking Long Running Transactions.
WS-FM
Hengbiao Yu, Zhenbang Chen, Ji Wang