Demo Data from EDBT 2026 / reviewers in the wild / expert
Kimming So
dblp:77/6322
· DBLP profile ↗
13ranked-venue papers
2as first author
0since 2021 · last 1993
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 12 · 2 first-authorSoftware engineering, systems software and programming languages · 5 · 1 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
7 papers |
Memory systems · 43% Processor architecture and microarchitecture · 23% Performance modeling and evaluation · 18% | |
| Theoretical computer science
1 paper |
Approximation and online algorithms · 50% Mathematical optimization · 50% |
Topics — the 26 heaviest of 28, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Memory systems
cache |
0.0 | 3 | 1988 | Cache Operations by MRU Change · IEEE Trans. Computers 1988 Cache Performance of Vector Processors · ISCA 1988 Cache Design of a Sub-Micron CMOS System/370 · ISCA 1987 |
Processor architecture and microarchitecture
branch prediction |
0.0 | 1 | 1992 | Improving the Accuracy of Dynamic Branch Prediction Using Branch Correlation · ASPLOS 1992 |
Memory systems › cache
cache behavior |
0.0 | 1 | 1988 | Cache Operations by MRU Change · IEEE Trans. Computers 1988 |
Memory systems › cache
cache performance |
0.0 | 1 | 1988 | Cache Performance of Vector Processors · ISCA 1988 |
Memory systems › cache management
cache replacement |
0.0 | 1 | 1988 | Cache Operations by MRU Change · IEEE Trans. Computers 1988 |
Performance modeling and evaluation › simulation
cache simulation |
0.0 | 1 | 1988 | Cache Operations by MRU Change · IEEE Trans. Computers 1988 |
Memory systems
memory hierarchy |
0.0 | 1 | 1988 | Cache Performance of Vector Processors · ISCA 1988 |
Performance modeling and evaluation › simulation › cache simulation
trace-driven cache simulation |
0.0 | 1 | 1988 | Cache Operations by MRU Change · IEEE Trans. Computers 1988 |
Processor architecture and microarchitecture
vector processor |
0.0 | 1 | 1988 | Cache Performance of Vector Processors · ISCA 1988 |
Memory systems
memory access patterns |
0.0 | 1 | 1987 | Memory Access Patterns of Parallel Scientific Programs · SIGMETRICS 1987 |
Parallel and multicore computing › parallel computing
parallel scientific computing |
0.0 | 1 | 1987 | Memory Access Patterns of Parallel Scientific Programs · SIGMETRICS 1987 |
High-performance computing
scientific computing systems |
0.0 | 1 | 1987 | Memory Access Patterns of Parallel Scientific Programs · SIGMETRICS 1987 |
Processor architecture and microarchitecture
instruction fetch |
0.0 | 1 | 1992 | Improving the Accuracy of Dynamic Branch Prediction Using Branch Correlation · ASPLOS 1992 |
Embedded and real-time systems › real-time scheduling
deterministic scheduling |
0.0 | 1 | 1980 | Deterministic Scheduling with Pipelined Processors · IEEE Trans. Computers 1980 |
Parallel and multicore computing
multiprocessor system |
0.0 | 1 | 1980 | On the Comparison Between Single and Multiple Processor Systems · ISCA 1980 |
Processor architecture and microarchitecture › pipelining
pipelined processor |
0.0 | 1 | 1980 | Deterministic Scheduling with Pipelined Processors · IEEE Trans. Computers 1980 |
Processor architecture and microarchitecture › instruction scheduling
pipelined processor scheduling |
0.0 | 1 | 1980 | Deterministic Scheduling with Pipelined Processors · IEEE Trans. Computers 1980 |
Performance modeling and evaluation
queueing models |
0.0 | 1 | 1980 | On the Comparison Between Single and Multiple Processor Systems · ISCA 1980 |
Electronic design automation › high-level synthesis
scheduling |
0.0 | 1 | 1980 | Deterministic Scheduling with Pipelined Processors · IEEE Trans. Computers 1980 |
Parallel and multicore computing
task scheduling |
0.0 | 1 | 1980 | Deterministic Scheduling with Pipelined Processors · IEEE Trans. Computers 1980 |
Approximation and online algorithms
bin packing |
0.0 | 1 | 1980 | A Stochastic Model of Bin-Packing · Inf. Control. 1980 |
Mathematical optimization › stochastic optimization › stochastic combinatorial optimization
stochastic bin packing |
0.0 | 1 | 1980 | A Stochastic Model of Bin-Packing · Inf. Control. 1980 |
Performance modeling and evaluation › workload characterization
locality analysis |
0.0 | 1 | 1988 | Cache Performance of Vector Processors · ISCA 1988 |
Performance modeling and evaluation
workload characterization |
0.0 | 1 | 1988 | Cache Performance of Vector Processors · ISCA 1988 |
Memory systems
shared memory |
0.0 | 1 | 1987 | Memory Access Patterns of Parallel Scientific Programs · SIGMETRICS 1987 |
Performance modeling and evaluation › simulation › discrete-event simulation
trace-driven simulation |
0.0 | 1 | 1987 | Cache Design of a Sub-Micron CMOS System/370 · ISCA 1987 |
Methods — techniques the papers use, named apart from their topics
trace-driven simulation · 0.0hardware performance counters · 0.0instruction-level simulation · 0.0MRU change detection · 0.0trace simulation · 0.0parallel simulation · 0.0probabilistic model · 0.0precedence constraint analysis · 0.0combinatorial models · 0.0coffman-graham algorithm · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1993 | Techniques to Enhance Cache Performance Across Parallel Program SectionsabstractPrivate caches are critical components in high per formance multiprocessor systems. However, it has been found that, when executing a parallel program, individual processors are very difficult to attain high cache hit ratio from one program section to another; therefore sophisti cated software coherence schemes are not cost effective. In this study, trace-driven simulation has been used to evaluate various less sophisticated compiler and software techniques which can enhance this inter-section locality in parallel executions. We found that the locality can be substantially im proved through the following ways of altering the sched uling of iterations in parallel DO loops among the executing processors: i) assignment of iterations in chunks, ii) reversed execution of parallel loops, and Hi) interchange inner and outer loops. These can be done manually by a programmer or automatically by a parallelizing compiler. Moreover, we also propose a software coherence scheme which can attain the maxi mum inter-section locality for read-only shared data. Jih-Kwon Peir, Kimming So, Ju-Ho Tang |
ICPP (1) | 2 |
| 1992 | Improving the Accuracy of Dynamic Branch Prediction Using Branch CorrelationabstractLong branch delay is a well-known problem in today's high performance superscalar and supetpipeline processor designs.A common technique used to alleviate this problem is to predict the direction of branches during the instruction fetch.Counter-based branch prediction, in particular, has been reported as an effective scheme for predicting the direction of branches.However, its accuracy is generally limited by branches whose future behavior is also dependent upon the history of other branches.To enhance branch prediction accuracy with a minimum increase in hardware COSLwe propose a correlation-based scheme and show how the prediction accuracy can be improved by incorporating information, not only from the history of a specific brsncb but also from the history of other branches.Specifically, we use the information provided by a proper subhistory of a branch to predict the outcome of that branch.The proper subhistory is selected based on the outcomes of the most recently executed M branches.The new scheme is evaluated using traces collected from running the SPEC benchmark suite on an IBM RISC System/6000 workstation.The results show that, as compared with the 2-bit counter-based prediction scheme, the correlation-based branch prediction achieves up to 11 ~0 additional accuracy at the extra hardware cost of one shift register.The results also show that the accuracy of the new scheme surpasses that of the counter-based branch predction at saturation. Shien-Tai Pan, Kimming So, Joseph T. Rahmeh |
ASPLOS | 2 |
| 1991 | Inter-Section Locality of Shared Data in Parallel Programs
Jih-Kwon Peir, Kimming So, Ju-Ho Tang |
ICPP (1) | 2 |
| 1989 | Performance Visualization of Parallel Programs on a Shared Memory Multiprocessor System
David B. Bernstein, Anthony Bolmarcich, Kimming So |
ICPP (2) | 3 |
| 1989 | Trace Driven Simulation for Studying MIMD Parallel Computers
Kimming So |
ICPP (1) | 2 |
| 1988 | Cache Performance of Vector ProcessorsabstractAn instruction-level simulator for IBM 3090 with VF (vector facility) has been developed for studying the performance of vector processors and their memory hierarchies. Results of a study of the locality of several large scientific applications are presented. The cache miss ratios of vectorized applications are found to be almost equal to those of their original scalar executions. Moreover, both the spatial and temporal locality of these applications (in scalar and vector executions) are strong enough to show a sufficiently high hit ratio on conventional cache structures.> Kimming So, Vittorio Zecca |
ISCA | 1 |
| 1988 | Cache Operations by MRU ChangeabstractThe performance of set associative caches is analyzed. The method used is to group the cache lines into regions according to their positions in the replacement stacks of a cache, and then to observe how the memory access of a CPU is distributed over these regions. Results from the preserved CPU traces show that the memory accesses are heavily concentrated on the most recently used (MRU) region in the cache. The concept of MRU change is introduced; the idea is to use the event that the CPU accesses a non-MRU line to approximate the time the CPU is changing its working set. The concept is shown to be useful in many aspects of cache design and performance evaluation, such as comparison of various replacement algorithms, improvement of prefetch algorithms, and speedup of cache simulation.> Kimming So, Rudolph N. Rechtschaffen |
IEEE Trans. Computers | 1 |
| 1987 | A Speedup Analyzer for Parallel Programs
Anthony Bolmarcich, Kimming So, Frederica Darema, V. Alan Norton |
ICPP | 2 |
| 1987 | Cache Design of a Sub-Micron CMOS System/370abstractAn innovative cache accessing scheme based on high MRU (most recently used) hit ratio [1] is proposed for the design of a one-cycle cache in a CMOS implementation of System/370. It is shown that with this scheme the cache access time is reduced by 30 ~ 35% and the performance is within 4% of a true one-cycle cache. This cache scheme is proposed to be used in a VLSI System/370, which is organized to achieve high performance by taking advantage of the performance and integration level of an advanced CMOS technology with half-micron channel length [2]. Decisions on the system partition are based on technology limitations, performance considerations and future extendability. Design decisions on various aspects of the cache organization are based on trace simulations for both UP (uniprocessor) and MP (multiprocessor) configurations. J. H. Chang, H. Chao, Kimming So |
ISCA | 3 |
| 1987 | Memory Access Patterns of Parallel Scientific ProgramsabstractA parallel simulator, PSIMUL, has been used to collect information on the memory access patterns and synchronization overheads of several scientific applications. The parallel simulation method we use is very efficient and it allows us to simulate execution of an entire application program, amounting to hundreds of millions of instructions. We present our measurements on the memory access characteristics of these applications; particularly our observations on shared and private data, their frequency of access and locality. We have found that, even though the shared data comprise the largest portion of the data in the application program, on the average a small fraction of the memory references are to shared data. The low averages do not preclude bursts of traffic to shared memory nor does it rule out positive benefits from caching shared data. We also discuss issues of synchronization overheads and their effect on performance. Frederica Darema, Gregory F. Pfister, Kimming So |
SIGMETRICS | 3 |
| 1980 | On the Comparison Between Single and Multiple Processor SystemsabstractWe study the comparison between an m-processor (multiprocessor) system and a single-processor system whose processor is m times as fast as any in the multiprocessor system. The expected superiority of the single-processor system is measured in terms of mean and maximum flow times, using both combinatorial and probabilistic models. Edward G. Coffman Jr., Kimming So |
ISCA | 2 |
| 1980 | A Stochastic Model of Bin-Packing
Edward G. Coffman Jr., Kimming So, Micha Hofri, Andrew Chi-Chih Yao |
Inf. Control. | 2 |
| 1980 | Deterministic Scheduling with Pipelined ProcessorsabstractIn this paper several results are proven showing a correspondence between problems involving task systems with single-stage processors and similar ones using pipelined processors. For example, an optimal schedule for a task system with arbitrary precedence constraints using a single pipelined processor with two stages is found by the familiar Coffman–Graham algorithm for a system with two single-stage processors. Precedence constraints in the form of inforests, out-forests, and directed acyclic graphs are examined. Task systems with release times and deadlines for each task are also considered. John L. Bruno, John W. Jones III, Kimming So |
IEEE Trans. Computers | 3 |