EDBT 2026 Demo / reviewers in the wild / expert
Haohui Huang
dblp:249/4202
· DBLP profile ↗
7ranked-venue papers
2as first author
7since 2021 · last 2026
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 3 · 3 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Computer networks · 1 · 1 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis
binary analysis |
0.9 | 1 | 2025 | Recover Function Signature from Combined Constraints · CCS 2025 |
Program analysis › binary analysis
function signature recovery |
0.9 | 1 | 2025 | Recover Function Signature from Combined Constraints · CCS 2025 |
Program analysis › static analysis
constraint-based analysis |
0.3 | 1 | 2025 | Recover Function Signature from Combined Constraints · CCS 2025 |
Methods — techniques the papers use, named apart from their topics
machine learning · 0.9constraint solving · 0.9
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | A survey of testing automated driving system
Wentai Zhu, Haohui Huang, Yu Wang 0093, Linzhang Wang |
Frontiers Comput. Sci. | 3 |
| 2026 | Pointer Pressure Gauge Reading Recognition System Based on Lightweight Multitask Interactive Network for Intelligent Robotic-Assisted MeasurementabstractDue to the low efficiency of manual inspection of pointer pressure gauges, numerous computer vision-based automatic reading recognition systems have been proposed in recent years. However, most existing work primarily focuses on using cameras or inspection robots for daily monitoring of gauges. Periodic calibration of gauges is equally important, as it ensures their optimal performance and imposes stricter precision requirements on inspections. To address these challenges, this study proposes a lightweight multitask interactive network (LMI-Net) and develops an intelligent robotic-assisted measurement system. LMI-Net, which generates a large number of feature maps through computationally inexpensive operation of a lightweight module, realizes multiple tasks via keypoint detection and instance segmentation branches. The keypoint detection branch identifies the position of the main scale and the center of the gauge, while the instance segmentation branch generates a segmentation mask of the pointer. Through our proposed multiple feature fusion (MFF) reading method, the value and order of the main scale are identified, the segmentation mask of the pointer is fitted to a straight line using a regional interpolation linear fitting method, and on the basis of geometric relationships, these pieces of feature information are fused to obtain a reading. Experimental results on a dataset containing multiple types of gauge demonstrate that with the proposed method, the reading error is controlled to within ±1/5 of the minimum resolution interval, which complies with the verification regulation for pointer pressure gauges. Jing Guo 0007, Xiongbai Long, Xiushun Zhao, Yunjiao Li, Haocheng Liu, Haohui Huang |
IEEE Trans Autom. Sci. Eng. | 6 |
| 2026 | Enhanced Zeroing Neural Network for Kinematic Control of Surgical Manipulator Under RCM ConstraintsabstractIn minimally invasive surgery, surgical instruments are typically inserted through small incisions in the patient’s body, which serve as the remote center of motion (RCM). In robot-assisted minimally invasive surgery, developing control algorithms that comply with RCM constraints is highly challenging due to the nonlinear nature of robot motion models and the stringent precision requirements necessary for patient safety. This article introduces an enhanced zeroing neural network (EZNN) model for controlling redundant manipulators while maintaining RCM constraints. The proposed model eliminates the need for pseudoinverse matrix computations and features an explicit dynamic form. It guarantees finite-time convergence and demonstrates robustness through the application of nonlinear activation functions (AFs). These properties are rigorously validated using Lyapunov theory. Simulation and experimental results indicate that the EZNN model surpasses Jacobian-based algorithms and recurrent neural networks (RNNs) in terms of efficiency and stability, all while ensuring adherence to RCM constraints. Jing Guo 0007, Kaiyao Luo, Yinlu Gan, Weixing Wu, Xi Yuan, Haohui Huang, Zhan Li 0002, Chenguang Yang 0001, Haifang Lou |
IEEE Trans. Syst. Man Cybern. Syst. | 6 |
| 2025 | Recover Function Signature from Combined ConstraintsabstractRecovering function signatures is a cornerstone of binary program analysis, yet it remains a challenging task. Existing methods either rely on disassembly-based constraints, which struggle with cross-architecture compatibility and scalability, or adopt learning-based approaches that are resource-intensive and often inaccurate. Haohui Huang, Yuxi Cheng, Haiyang Wei, Jiamu Liu, Yu Wang 0093, Linzhang Wang |
CCS | 1 |
| 2025 | Unleashing the Power of LLM to Infer State Machine From the Protocol ImplementationabstractState machines are essential for enhancing protocol analysis to identify vulnerabilities. However, inferring state machines from network protocol implementations is challenging due to complex code syntax and semantics. Traditional dynamic analysis methods often miss critical state transitions due to limited coverage, while static analysis faces path explosion issues. To overcome these challenges, we introduce a novel state machine inference approach utilizing Large Language Models (LLMs), named ProtocolGPT. This method employs retrieval augmented generation technology to enhance a pre-trained model with specific knowledge from protocol implementations. Through effective prompt engineering, we accurately identify and infer state machines. To the best of our knowledge, our approach represents the first state machine inference that leverages the source code of protocol implementations. Our evaluation of six protocol implementations shows that our method achieves a precision of over 90 %, outperforming the baselines by more than 30 %. Furthermore, integrating our approach with protocol fuzzing improves coverage by more than 20 % and uncovers two 0-day vulnerabilities compared to baseline methods. Haiyang Wei, Ligeng Chen, Zhengjie Du, Haohui Huang, Guang Cheng 0001, Fengyuan Xu, Linzhang Wang, Bing Mao 0001 |
IWQoS | 5 |
| 2025 | Image-Driven Imitation Learning: Acquiring Expert Scanning Skills in Robotics UltrasoundabstractA promising ultrasound (US) image acquisition requires experienced sonographers holding the probe with proper force and pose to ensure an excellent acoustic coupling. To enable a robotic ultrasound system (RUSS) to acquire the sonographers’ skills from ultrasound image demonstrations, this paper proposes a cutting-edge framework that integrates an expert technique discrimination network and a robotic strategy generation network to learn expert scanning skills. In this framework, the expert technique discrimination network focuses on learning expert scanning techniques from the pre- and post-frame ultrasound images. Furthermore, to acquire expert scanning skills and obtain a standard image view, we design a knowledge-based algorithm grounded on inverse reinforcement learning (IRL) to generate a series of scanning policies concerning the expert technique discrimination network. Both simulations and experiments are conducted to validate the effectiveness of the proposed framework by comparing it with MI-GPSR and PTR. The scanning success rate and trajectory tracking error of the algorithm in the simulation environment are 68% and 12.0782, respectively, while in the phantom environment are 94% and 11.8367. The results demonstrate good performance in the task of imitating expert techniques for autonomous scanning. Note to Practitioners—The motivation for this work originates from the need for ultrasound scanning tasks, such as carotid plaque and thyroid scans, to follow specific procedures. In clinical practice, sonographers require extensive learning and training to acquire these scanning skills. Traditional autonomous robotic ultrasound research often focuses on achieving the final standard view, neglecting the logical flow of the scanning process. Moreover, current studies on imitation learning for robotic ultrasound typically require not only ultrasound images from expert demonstrations but also additional data like probe position, adding complexity and potential errors to the data collection process. The proposed method addresses this by designing a framework that learns and comprehends expert techniques solely from image demonstrations. This endows RUSS with the ability to perform a human-like ultrasound scanning task. This work can be applied in the field of autonomous ultrasound robotics to assist sonographers in achieving more precise scans. Jiaming Li 0008, Haohui Huang, Qingguang Lin, Jing Guo 0007, Chenguang Yang 0001 |
IEEE Trans Autom. Sci. Eng. | 2 |
| 2021 | Optimal Robot-Environment Interaction Under Broad Fuzzy Neural Adaptive ControlabstractThis article proposes a novel control strategy based on a broad fuzzy neural network (BFNN) which is subjected to contact with the unknown environment. Compared with the conventional fuzzy neural network (NN), a prominent feature can be achieved by taking the advantage of the broad learning system (BLS) to explicitly tackle the problem of how to choose a sufficient number of NN units to approximate the unknown dynamic model. Aiming at providing a soft compliant contact scheme without the requirement of the environment model, an adaptive impedance learning is developed to establish the optimal interaction between the robot and the environment. Meanwhile, the problems related to the state constraints are addressed by incorporating a barrier Lyapunov function (BLF) into the design of a trajectory tracking controller. The proposed method can achieve desired tracking and interaction performance while guaranteeing the stability of the closed-loop system. In addition, simulation and experimental studies are performed to verify the effectiveness of BFNN under optimal impedance control with a two degree-of-freedom (DOF) manipulator and a Baxter robot, respectively. Haohui Huang, Chenguang Yang 0001, C. L. Philip Chen |
IEEE Trans. Cybern. | 1 |