Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Tianhao Mao

dblp:223/2627 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
5since 2021 · last 2026
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 2 · 2 first-author · 2 since 2021Security and privacy · 1 · 1 since 2021Software engineering, systems software and programming languages · 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.

Computer networks
1 paper
Physical-layer communications · 56% Cellular and mobile networks · 22% Wireless sensing and localization · 22%
Software engineering, system software, and programming languages
2 papers
Program analysis · 64% Software testing · 36%
Network and information security
1 paper
Blockchain and cryptocurrency security · 100%

Topics — the 10 heaviest of 11, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Physical-layer communications › signal processing for communications › array signal processing
angle-of-arrival and time-of-arrival estimation
0.912025
Hybrid Beamforming Design for Bistatic Integrated Sensing and Communication Systems · IEEE Trans. Commun. 2025
Physical-layer communications › beamforming
hybrid beamforming
0.912025
Hybrid Beamforming Design for Bistatic Integrated Sensing and Communication Systems · IEEE Trans. Commun. 2025
Cellular and mobile networks
integrated sensing and communication
0.912025
Hybrid Beamforming Design for Bistatic Integrated Sensing and Communication Systems · IEEE Trans. Commun. 2025
Wireless sensing and localization › localization performance analysis
localization error bounds
0.912025
Hybrid Beamforming Design for Bistatic Integrated Sensing and Communication Systems · IEEE Trans. Commun. 2025
Blockchain and cryptocurrency security › smart contract security
vulnerability detection
0.912025
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models · ASE 2025
Program analysis › error detection
semantic bug detection
0.912025
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models · ASE 2025
Program analysis
static analysis
0.912025
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models · ASE 2025
Software testing
fuzzing
0.812024
Toward Unbiased Multiple-Target Fuzzing with Path Diversity · USENIX Security Symposium 2024
Physical-layer communications › spectral efficiency
spectral efficiency maximization
0.312025
Hybrid Beamforming Design for Bistatic Integrated Sensing and Communication Systems · IEEE Trans. Commun. 2025
Physical-layer communications › modulation
waveform design
0.312025
Hybrid Beamforming Design for Bistatic Integrated Sensing and Communication Systems · IEEE Trans. Commun. 2025

Methods — techniques the papers use, named apart from their topics

large language model · 1.7code-specific language model · 1.7cascaded detection · 1.7riemannian trust-region · 0.9orthogonal matching pursuit · 0.9
YearPublicationVenuePosition
2026 Multimodal-Wireless: A Large-Scale Dataset for Sensing and Communication
abstract
This paper presents Multimodal-Wireless, a large-scale open-source dataset for multimodal sensing and communication research. The dataset is generated through an integrated and customizable data pipeline built upon the CARLA simulator and Sionna framework, and features high-resolution communication channel state information (CSI) fully synchronized with five other sensor modalities, namely LiDAR, RGB and depth camera, inertial measurement unit (IMU) and radar, all sampled at 100 Hz. It contains approximately 160,000 frames collected across four virtual towns, sixteen communication scenarios, and three weather conditions. This paper provides a comprehensive overview of the dataset, outlining its key features, overall framework, and technical implementation details. In addition, it explores potential research applications concerning communication and collaborative perception, exemplified by beam prediction using a multimodal large language model. The dataset is open in https://le-liang.github.io/mmw/.
Tianhao Mao, Le Liang, Jie Yang 0035, Hao Ye 0004, Shi Jin 0002, Geoffrey Ye Li
ICC1
2025 LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
abstract
Token-inconsistency bugs (TIBs) involve the misuse of syntactically valid yet incorrect code tokens, such as misused variables and erroneous function invocations, which can often lead to software bugs. Unlike simple syntactic bugs, TIBs occur at the semantic level and are subtle - sometimes they remain undetected for years. Traditional detection methods, such as static analysis and dynamic testing, often struggle with TIBs due to their versatile and context-dependent nature. However, advancements in large language models (LLMs) like GPT-4 present new opportunities for automating TIB detection by leveraging these models’ semantic understanding capabilities.This paper reports the first systematic measurement of LLMs’ capabilities in detecting TIBs, revealing that while GPT-4 shows promise, it exhibits limitations in precision and scalability. Specifically, its detection capability is undermined by the model’s tendency to focus on the code snippets that do not contain TIBs; its scalability concern arises from GPT-4’s high cost and the massive amount of code requiring inspection. To address these challenges, we introduce LineBreaker, a novel and cascaded TIB detection system. LineBreaker leverages smaller, codespecific, and highly efficient language models to filter out large numbers of code snippets unlikely to contain TIBs, thereby significantly enhancing the system’s performance in terms of precision, recall, and scalability. We evaluated LineBreaker on 154 Python and C GitHub repositories, each with over 1,000 stars, uncovering 123 new flaws, 45% of which could be exploited to disrupt program functionalities. Out of our 69 submitted fixes, 41 have already been confirmed or merged.
Yifan Zhang 0010, Xing Han, Tianhao Mao, Huanyao Rong, XiaoFeng Wang 0001, Luyi Xing
ASE4
2025 Hybrid Beamforming Design for Bistatic Integrated Sensing and Communication Systems
abstract
Integrated sensing and communication (ISAC) in millimeter wave is a key enabler for next-generation networks, which leverages large bandwidth and extensive antenna arrays, benefiting both communication and sensing functionalities. The associated high costs can be mitigated by adopting a hybrid beamforming structure. However, the well-studied monostatic ISAC systems face challenges related to full-duplex operation. To address this issue, this paper focuses on a three-dimensional bistatic configuration that requires only half-duplex base stations. To intuitively evaluate the error bound of bistatic sensing using orthogonal frequency division multiplexing waveforms, we propose a positioning scheme that combines angle-of-arrival and time-of-arrival estimation, deriving the closed-form expression of the position error bound (PEB). Using this PEB, we develop two hybrid beamforming algorithms for joint waveform design, aimed at maximizing achievable spectral efficiency (SE) while ensuring a predefined PEB threshold. The first algorithm leverages a Riemannian trust-region approach, achieving superior performance in terms of SE and convergence speed compared to the conventional gradient-based methods, but with higher complexity. In contrast, the second algorithm, which employs orthogonal matching pursuit, offers a more computationally efficient solution, delivering reasonable SE while maintaining the PEB constraint. Numerical results are provided to validate the effectiveness of the proposed designs.
Tianhao Mao, Jie Yang 0035, Le Liang, Shi Jin 0002
IEEE Trans. Commun.1
2024 Toward Unbiased Multiple-Target Fuzzing with Path Diversity
Huanyao Rong, Wei You 0001, XiaoFeng Wang 0001, Tianhao Mao
USENIX Security Symposium4
2024 Joint Radar-Communication Beamforming for CRB-Based Target Localization
abstract
This paper studies the beamformer design for an integrated sensing and communication system where simultaneous communication for multiple downlink users and bistatic sensing for a point target are realized. Firstly, to avoid self-interference in monostatic settings, we establish the bistatic sensing model where the sensing performance is measured by the Cramér-Rao bound (CRB) for the target's coordinates and the communication performance by the signal-to-interference-plus-noise ratio (SINR). We aim to minimize the CRB while ensuring a predefined SINR for each user. Then, we derive a closed-form beamformer for the single-user case that proves near-optimal. For the multi-user case, we introduce a beamformer design algorithm based on semidefinite relaxation and a suboptimal design algorithm based on successive convex approximation with reduced complexity. Finally, numerical results are provided to validate the solutions.
Tianhao Mao, Jie Yang 0035, Le Liang, Shi Jin 0002
VTC Spring1