default search action

combined dblp search
author search
venue search
publication search

ask others

Hengbiao Yu

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/YiYCM024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/YiYCM024
Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, Ji Wang:
FPCC: Detecting Floating-Point Errors via Chain Conditions. Proc. ACM Program. Lang. 8(OOPSLA2): 1504-1531 (2024)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/HongCZYDW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/HongCZYDW24
Weijiang Hong, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Yide Du, Ji Wang:
Verification of message-passing uninterpreted programs. Sci. Comput. Program. 234: 103075 (2024)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/WangYYHP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/WangYYHP24
Xianglin Wang, Xin Yi, Hengbiao Yu, Chun Huang, Lin Peng:
Parallel Optimization for Accelerating the Generation of Correctly Rounded Elementary Functions. ICPP 2024: 21-31
2023
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ShuaiCZYW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ShuaiCZYW23
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang:
Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. APSEC 2023: 661-662
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/LiuCMYW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/LiuCMYW23
Jiangchao Liu, Liqian Chen, Antoine Miné, Hengbiao Yu, Ji Wang:
Input Validation for Neural Networks via Local Robustness Verification. QRS Companion 2023: 237-246
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/YuYYLCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/YuYYLCH23
Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang:
Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. SANER 2023: 224-235
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/WangYYY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/WangYYY22
Zheng Wang, Xin Yi, Hengbiao Yu, Banghu Yin:
Detecting High Floating-Point Errors via Ranking Analysis. APSEC 2022: 397-406
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/YuYY22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/YuYY22
Hengbiao Yu, Banghu Yin, Xin Yi:
Symbolic Verification of Message Signatures in MPI. ICST 2022: 185-195
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/ArthoPAABBBCCDE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20
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): 20-22 (2020)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChenYFW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChenYFW20
Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang:
MPI-SV: a symbolic verifier for MPI programs. ICSE (Companion Volume) 2020: 93-96
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YuCFWSSHD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YuCFWSSHD20
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: 1248-1260
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/YuCHW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/YuCHW20
Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang:
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. SETTA 2020: 160-176

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/HongCYW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/HongCYW19
Weijiang Hong, Zhenbang Chen, Hengbiao Yu, Ji Wang:
Evaluation of model checkers by verifying message passing programs. Sci. China Inf. Sci. 62(10): 200101:1-200101:24 (2019)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/ChenYWD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/ChenYWD19
Zhenbang Chen, Hengbiao Yu, Ji Wang, Wei Dong:
Symbolic Verification of Regular Properties for Java Programs. ACM SIGSOFT Softw. Eng. Notes 44(4): 17 (2019)
2018
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Yu18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Yu18
Hengbiao Yu:
Combining symbolic execution and model checking to verify MPI programs. ICSE (Companion Volume) 2018: 527-530
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/YuCWS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/YuCWS018
Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong:
Symbolic verification of regular properties. ICSE 2018: 871-881
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-06300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-06300
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 abs/1803.06300 (2018)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-07108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-07108
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 abs/1811.07108 (2018)
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/YuCZWD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/YuCZWD17
Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong:
RGSE: a regular property guided symbolic executor for Java. ESEC/SIGSOFT FSE 2017: 954-958
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Yu17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Yu17
Hengbiao Yu:
Practical symbolic verification of regular properties. ESEC/SIGSOFT FSE 2017: 1053-1055
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FuCYHDW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FuCYHDW15
Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang:
Poster: Symbolic Execution of MPI Programs. ICSE (2) 2015: 809-810
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/YuCW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/YuCW13
Hengbiao Yu, Zhenbang Chen, Ji Wang:
An Operational Semantics for Model Checking Long Running Transactions. WS-FM 2013: 168-187

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.