Demo Data from VLDB 2026 / reviewers in the wild / expert
Cheng-Shen Han
dblp:95/9830
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1Software engineering, systems software and programming languages · 1 · 1 first-authorTheory of computation · 1 · 1 first-author
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.
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 62% Mathematical optimization · 38% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
satisfiability |
0.1 | 1 | 2012 | When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way · CAV 2012 |
Electronic design automation › physical design
clock network synthesis |
0.1 | 1 | 2011 | An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2011 |
Mathematical optimization
linear programming |
0.0 | 1 | 2012 | When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way · CAV 2012 |
Mathematical optimization › linear programming
simplex method |
0.0 | 1 | 2012 | When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way · CAV 2012 |
Electronic design automation › physical design › interconnect optimization
buffer insertion and wire sizing |
0.0 | 1 | 2011 | An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2011 |
Electronic design automation
physical design |
0.0 | 1 | 2011 | An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2011 |
Methods — techniques the papers use, named apart from their topics
simplex method · 0.1gaussian elimination · 0.1slew-constrained buffering · 0.1obstacle avoidance · 0.1deferred-merge embedding · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way
Cheng-Shen Han, Jie-Hong Roland Jiang |
CAV | 1 |
| 2011 | An Effective and Efficient Framework for Clock Latency Range Aware Clock Network SynthesisabstractIn this paper, we present an effective and efficient framework to minimize clock latency range (CLR), which is a crucial objective measuring the process variability of the high-performance clock network. An enhanced deferred-merge embedding algorithm is proposed to handle the skew and slew constraints simultaneously. Besides, instead of using traditional buffering methods that consider only capacitance loading, we adopt slew-constrained buffering for more accurate results. To explore the variation effect with different combinations of buffers and wires in terms of CLR, we design an experiment to examine it and propose an effective buffer and wire sizing scheme. In addition, obstacle avoidance handling is included in our framework. Experimental results show that our framework achieves the best results in terms of CLR compared with any other team in the 2009 ACM ISPD clock network synthesis contest and four state-of-the-art works. Sheng Chou, Cheng-Shen Han, Po-Kai Huang, Ko-Fan Tien, Tsung-Yi Ho |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |