EDBT 2026 Demo / reviewers in the wild / expert
So-Zen Yao
dblp:41/660
· DBLP profile ↗
8ranked-venue papers
4as first author
0since 2021 · last 1999
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 7 · 4 first-authorTheory of computation · 1
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
6 papers |
Electronic design automation · 100% | |
| Theoretical computer science
3 papers |
Mathematical optimization · 60% Graph algorithms and graph theory · 40% |
Topics — the 12 heaviest of 12, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
physical design |
0.1 | 6 | 1995 | A cell-based hierarchical pitchmatching compaction using minimal LP · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 Spectral Partitioning: The More Eigenvectors, The Better · DAC 1995 A multi-probe approach for MCM substrate testing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 |
Electronic design automation › physical design
layout compaction |
0.0 | 3 | 1995 | A cell-based hierarchical pitchmatching compaction using minimal LP · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 Cell-Based Hierarchical Pitchmatching Compaction Using Minimal LP · DAC 1993 Symbolic layout compaction under conditional design rules · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1992 |
Electronic design automation › physical design › layout compaction
hierarchical compaction |
0.0 | 2 | 1995 | A cell-based hierarchical pitchmatching compaction using minimal LP · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 Cell-Based Hierarchical Pitchmatching Compaction Using Minimal LP · DAC 1993 |
Electronic design automation › physical design
circuit partitioning |
0.0 | 1 | 1995 | Spectral Partitioning: The More Eigenvectors, The Better · DAC 1995 |
Electronic design automation › physical design › circuit partitioning
spectral partitioning |
0.0 | 1 | 1995 | Spectral Partitioning: The More Eigenvectors, The Better · DAC 1995 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 1994 | A multi-probe approach for MCM substrate testing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 |
Electronic design automation › physical design
routing |
0.0 | 1 | 1994 | A multi-probe approach for MCM substrate testing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 |
Electronic design automation › hardware verification and test
test generation |
0.0 | 1 | 1994 | A multi-probe approach for MCM substrate testing · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1994 |
Electronic design automation › physical design › layout verification
design rule checking |
0.0 | 1 | 1992 | Symbolic layout compaction under conditional design rules · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1992 |
Mathematical optimization
linear programming |
0.0 | 2 | 1995 | A cell-based hierarchical pitchmatching compaction using minimal LP · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995 Cell-Based Hierarchical Pitchmatching Compaction Using Minimal LP · DAC 1993 |
Graph algorithms and graph theory
graph decomposition |
0.0 | 1 | 1991 | The Orientation of Modules Based on Graph Decomposition · IEEE Trans. Computers 1991 |
Graph algorithms and graph theory
minimum cut |
0.0 | 1 | 1991 | The Orientation of Modules Based on Graph Decomposition · IEEE Trans. Computers 1991 |
Methods — techniques the papers use, named apart from their topics
linear programming · 0.0slicing structure decomposition · 0.0deferred-merge embedding · 0.0graph decomposition · 0.0graph partitioning · 0.0eigenvector computation · 0.0traveling salesman problem · 0.0routing tree model · 0.0graph theory · 0.0constraint graph · 0.0NP-completeness proof · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1999 | Spectral Partitioning with Multiple Eigenvectors
Charles J. Alpert, Andrew B. Kahng, So-Zen Yao |
Discret. Appl. Math. | 3 |
| 1995 | Spectral Partitioning: The More Eigenvectors, The BetterabstractArticle Free Access Share on Spectral partitioning: the more eigenvectors, the better Authors: Charles J. Alpert UCLA Computer Science Department, Los Angeles, CA UCLA Computer Science Department, Los Angeles, CAView Profile , So-Zen Yao Cadence Design Systems, San Jose, CA Cadence Design Systems, San Jose, CAView Profile Authors Info & Claims DAC '95: Proceedings of the 32nd annual ACM/IEEE Design Automation ConferenceJanuary 1995 Pages 195–200https://doi.org/10.1145/217474.217529Online:01 January 1995Publication History 84citation1,151DownloadsMetricsTotal Citations84Total Downloads1,151Last 12 Months50Last 6 weeks5 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF Charles J. Alpert, So-Zen Yao |
DAC | 2 |
| 1995 | A cell-based hierarchical pitchmatching compaction using minimal LPabstractWe describe a new linear programming (LP)-based hierarchical pitchmatching method. With a simplified treatment of the intercell constraints, the size of the LP problems is significantly reduced as compared to the best known results. In particular, the pitchmatching problem is decomposed into independent subproblems by exploiting the layout slicing structure. Each subproblem is further "folded" to reduce the LP problem size. We prove that the new method generates smaller LP problem than the previously best known approach. Experimental data show that the LP problem size can be 10 times smaller.> So-Zen Yao, Chung-Kuan Cheng, Debaprosad Dutt, Surendra Nahar, Chi-Yuan Lo |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 1994 | A multi-probe approach for MCM substrate testingabstractMulti-chip module (MCM) technology has become an important means to package high performance systems. An important task during the packaging process is to check for possible open, short, and high resistance faults in the wiring networks of the bare MCM substrates, which is called substrate testing. After examining several substrate testing methodologies, we find that multi-probe or k-probe testers are cost-effective for substrate testing. However, the testing speed of this method is not high; hence, we focus on improving the throughput by reducing the number of tests and by deriving good probe routes. For test size reduction, we propose a routing tree model to capture the wiring structure of a given net; then by taking advantage of the routing tree, we generate a minimum number of tests while ensuring complete open fault coverage. Our algorithm reduces the number of tests by up to 50% compared to that of previous approaches. Given a routing tree with its node degree bounded by a constant, our test generation algorithm runs in linear time with respect to the number of leaves of the tree. For probe route scheduling, we observe that in order to obtain a balanced and efficient scheduling, the routes of different probes must be considered simultaneously, which motivates our Multi-Dimensional Traveling Salesman Problem (MDTSP) formulation. Our package has been installed on existing substrate testers and has achieved encouraging results.> So-Zen Yao, Nan-Chi Chou, Chung-Kuan Cheng, T. C. Hu |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 1993 | Cell-Based Hierarchical Pitchmatching Compaction Using Minimal LPabstractWe describe a new linear programming (LP)-based hierarchical pitchmatching method.Whh a simplified treatment of the intercell constraints, the size of the LP problems is significantly smaller than the best known methods.In particular, the pitchmatching problem is decomposed into independent subproblems by the natural slicing structure in layout.Each subproblem is folded further to reduce the LP problem size.Experiments show that the LP problem size can be 10 times smaller than the best known result. So-Zen Yao, Chung-Kuan Cheng, Debaprosad Dutt, Surendra Nahar, Chi-Yuan Lo |
DAC | 1 |
| 1992 | An optimal probe testing algorithm for the connectivity verification of MCM substratesabstractThe k-probe testing methodology is an effective approach to detect open and short faults in MCM substrates. An algorithm which generates the minimum number of tests for complete open fault coverage is proposed. For k equals two, the algorithm is able to reduce the test size by up to 50% compared with that generated by an ordinary approach. A multidimensional traveling salesman problem formulation is developed to optimize probe routes. The approach has been tested on substrate testers and has achieved excellent results.> So-Zen Yao, Nan-Chi Chou, Chung-Kuan Cheng, T. C. Hu |
ICCAD | 1 |
| 1992 | Symbolic layout compaction under conditional design rulesabstractThe compaction of IC layouts subjected to conditional spacing rules in multiple-level metal technology is addressed. The constraints imposed by conditional rules make the automatic compaction of layout much more difficult than when the usual minimum separation rules are applied. To solve the problem, each conditional spacing rule is formulated with a set of arcs in the constraint graph representation. It is proven that finding the optimal solution under one bridge rule is NP-complete. A graph-theory method of compaction which, by reducing the problem size, can efficiently obtain an optimal solution is proposed.> Chung-Kuan Cheng, Xiaotie Deng, Yuh-Zen Liao, So-Zen Yao |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 4 |
| 1991 | The Orientation of Modules Based on Graph DecompositionabstractIn the layout stage of VLSI and printed circuit board (PCB) design, after all circuit modules (rectangular) are placed, it is possible to flip the modules so as to reduce the total net length. The authors formulate the orientation of modules as a graph problem and prove it to be NP-complete. The orientation problem is shown to be equivalent to finding a minimum cut of a graph with some arcs of negative capacities. In many cases, the graph can be decomposed into subgraphs to reduce the search space for optimum orientation. Experiments with real cases show that module orientation reduces the total net length and improves the routability.> Chung-Kuan Cheng, So-Zen Yao, T. C. Hu |
IEEE Trans. Computers | 2 |