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

Haiyun Bao

dblp:92/3099 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
1since 2021 · last 2026
—ORCID · none

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

Systems, architecture and hardware · 3 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 2Computer networks · 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 architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation › physical design › routing
global routing
0.012004
UTACO: a unified timing and congestion optimization algorithm for standard cell global routing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2004
Electronic design automation › physical design › routing
multicommodity flow
0.012004
UTACO: a unified timing and congestion optimization algorithm for standard cell global routing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2004
Electronic design automation › physical design
routing
0.012004
UTACO: a unified timing and congestion optimization algorithm for standard cell global routing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2004

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

shadow price · 0.0multicommodity flow · 0.0linear programming · 0.0
YearPublicationVenuePosition
2026 Prediction-Loss-Guided Long-Tail Augmentation and Uncertainty-Aware Reinforcement Learning for Car-Following Control
abstract
Reinforcement learning (RL) has demonstrated great potential for autonomous car-following control by directly optimizing key performance metrics, including safety, efficiency, and ride comfort. This study proposes an integrated RL-based car-following framework that combines trajectory prediction, reshaping of long-tail distributions, and uncertainty-aware decision-making. The trajectory prediction loss is redefined as a quantitative metric for scenario rarity and risk, facilitating a distribution-level data augmentation strategy that enriches safety-critical scenarios while preserving the naturalness of driving behavior. A probabilistic Gaussian LSTM predictor is further employed to model future vehicle motion uncertainty, which is explicitly incorporated into multi-step action evaluation through variance-weighted virtual rewards. Experiments on the highD dataset demonstrate that the proposed approach significantly improves robustness and safety, achieving substantial reductions in collision rates compared with baseline RL methods. Cross-dataset evaluation on NGSIM further confirms its generalization capability.
Hongrui Cao, Haiyun Bao, Hsin Guan
IEEE Internet Things J.4
2004 UTACO: a unified timing and congestion optimization algorithm for standard cell global routing
abstract
Timing performance and routability are two main goals of global routing. These two targets are mutually conflicting if we view and handle their effects independently. In this paper, we adopt a shadow price mechanism to incorporate the two issues into one unified objective function. We formulate global routing as a multicommodity flow problem. The objective function is the slack of congestion with the clock period as the delay limit from registers and inputs to registers and outputs. The multicommodity flow is expressed by a linear-programming formulation as a primal problem. We then convert the primal problem into a dual formulation using the shadow price as the variables. The shadow price of a net is the sum of its congestion price and timing price. The primal and dual formulation offers theoretical upper and lower bounds of the routing solution. Throughout the optimization process, the difference of the two bounds reduces, which provides the user's insight into the quality of the solutions. Based on the new formulation, this paper presents the UTACO algorithm for standard cell global routing.
Tong Jing, Xianlong Hong, Jingyu Xu 0001, Haiyun Bao, Chung-Kuan Cheng
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.4
2003 UTACO: a unified timing and congestion optimizing algorithm for standard cell global routing
abstract
Timing performance and routability are two main issues of global routing. In this paper, we adopt a shadow price mechanism to incorporate the two issues into one unified objective function. The shadow price of a net is the sum of its congestion price and timing price. Based on the new formulation, this paper presents the UTACO algorithm for standard cell (SC) global routing. The experimental results show that UTACO is efficient for both timing and congestion optimization.
Tong Jing, Xianlong Hong, Haiyun Bao, Yici Cai, Jingyu Xu 0001, Chung-Kuan Cheng
ASP-DAC3
2003 CNB: A Critical-Network-Based Timing Optimization Method for Standard Cell Global Routing
Xianlong Hong, Tong Jing, Jingyu Xu 0001, Haiyun Bao
J. Comput. Sci. Technol.4
2003 SSTT: Efficient Local Search for GSI Global Routing
Tong Jing, Xianlong Hong, Haiyun Bao, Jingyu Xu 0001
J. Comput. Sci. Technol.3
1999 A New Global Routing Algorithm Independent Of Net Ordering
abstract
We proposed a new global routing algorithm solving the net ordering problem. The algorithm uses random optimization methods to keep the equality of earlier routed nets and later routed nets in passing congested areas. It can find a solution independent of net ordering in short time. A global router is implemented in this method. Experiments show that the router performs much faster than Matula router while obtaining solutions with approximate quality.
Haiyun Bao, Xianlong Hong, Yici Cai
ASP-DAC1