VLDB 2026 Research / reviewers in the wild / expert
Thomas J. Sheffler
dblp:97/4565
· DBLP profile ↗
4ranked-venue papers
2as first author
0since 2021 · last 1996
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 4 · 2 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.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
circuit simulation |
0.0 | 1 | 1987 | COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Electronic design automation › hardware simulation
compiled simulation |
0.0 | 1 | 1987 | COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Electronic design automation
hardware verification and test |
0.0 | 1 | 1987 | COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Electronic design automation › circuit simulation
switch-level simulation |
0.0 | 1 | 1987 | COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Methods — techniques the papers use, named apart from their topics
symbolic analysis · 0.0boolean representation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1996 | Algorithms for Automatic Alignment of Arrays
Siddhartha Chatterjee, John R. Gilbert, Leonid Oliker, Robert Schreiber, Thomas J. Sheffler |
J. Parallel Distributed Comput. | 5 |
| 1993 | An Analysis of Hashing on Parallel and Vector ComputersabstractParallel hashing is well-known in the folklore of parallel computing, but there has been a remarkable dearth of literature describing it in detail. Because many parallel algorithms such as histogramming, set intersection and dictionary lookup can make use of hashing as a core step, hashing is a fundamental parallel operation. This paper sheds light on the performance that may be achieved using parallel hashing algorithms and should lend credibility to their use. Thomas J. Sheffler, Randal E. Bryant |
ICPP (3) | 1 |
| 1993 | Implementing the Multiprefix Operation on Parallel and Vector ComputersabstractFor a sequence of n values, each with an associated integer label, the multiprefix operation calculates a partial sum for each value summing all preceding values with the same label, and for each label, a reduction value summing all values with that label.The multiprefix operation has been proposed as a parallel primitive because of its power for expressing many data parallel algorithms succinctly.However, most approaches to implementing this operation have been based on speciat hardware, limiting its usefulness.This paper presents an algorithm for the multiprefix operation on n elements that runs in S = 0(W) parallel steps on a p = @ processor CRCW-ARBITRARY PRAM.Because this algorithm performs only W = O(n) work, it is work efficient.While approaches based on sorting could be implemented in asymptotically fewer parallel steps, the work efficiency of this algorithm, and its low overhead make it attractive for use in real applications.A fully vectorized version of this algorithm has been designed for the CRAY Y-MP and provides good performance for a number of important algorithms.Performance data collected from integer sorting and sparse matrix-vector multiplication benchmarks based on the multiprefix operation achieve speeds that are often better than currently employed algorithms for that machine. Thomas J. Sheffler |
SPAA | 1 |
| 1987 | COSMOS: A Compiled Simulator for MOS CircuitsabstractThe COSMOS simulator provides fast and accurate switch-level modeling of MOS digital circuits. It attains high performance by preprocessing the transistor network into a functionally equivalent Boolean representation. This description, produced by the symbolic analyzer ANAMOS, captures all aspects of switch-level networks including bidirectional transistors, stored charge, different signal strengths, and indeterminate (X) logic values. The LGCC program translates the Boolean representation into a set of machine language evaluation procedures and initialized data structures. These procedures and data structures are compiled along with code implementing the simulation kernel and user interface to produce the simulation program. The simulation program runs an order of magnitude faster than our previous simulator MOSSIM II. Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler |
DAC | 5 |