Demo Data from SIGIR 2026 / reviewers in the wild / expert
David A. Carlson
dblp:64/861
· DBLP profile ↗
20ranked-venue papers
15as first author
0since 2021 · last 1992
0000-0001-9910-5379ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 13 · 10 first-authorTheory of computation · 6 · 5 first-authorDatabases, data management, data science and information retrieval · 2 · 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.
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
High-performance computing · 26% Electronic design automation · 23% Integrated circuit design · 23% | |
| Theoretical computer science
5 papers |
Computational complexity · 58% Algorithms and data structures · 32% Graph algorithms and graph theory · 10% |
Topics — the 22 heaviest of 22, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity
time-space tradeoffs |
0.0 | 3 | 1987 | Time-Space Efficient Algorithms for Computing Convolutions and Related Problems · Inf. Comput. 1987 Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983 Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980 |
Electronic design automation › multi-objective optimization
area-time tradeoff |
0.0 | 1 | 1990 | Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990 |
Integrated circuit design › digital circuit design
arithmetic circuit design |
0.0 | 1 | 1990 | Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990 |
Integrated circuit design › digital circuit design › arithmetic circuit design › adder design
carry-lookahead adder |
0.0 | 1 | 1990 | Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990 |
Electronic design automation › physical design
VLSI layout |
0.0 | 1 | 1990 | Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990 |
High-performance computing
fast fourier transform |
0.0 | 1 | 1988 | The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988 |
Parallel and multicore computing › parallel architecture
mesh-connected computer |
0.0 | 1 | 1988 | Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988 |
Interconnection networks and networks-on-chip
network topology |
0.0 | 1 | 1988 | Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988 |
Parallel and multicore computing
parallel algorithms |
0.0 | 1 | 1988 | Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988 |
High-performance computing
scientific computing systems |
0.0 | 1 | 1988 | The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988 |
High-performance computing › sparse linear algebra
sparse matrix computation |
0.0 | 1 | 1988 | The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988 |
Algorithms and data structures
convolution |
0.0 | 1 | 1987 | Time-Space Efficient Algorithms for Computing Convolutions and Related Problems · Inf. Comput. 1987 |
Computational complexity › space complexity
pebble game |
0.0 | 2 | 1983 | Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983 Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980 |
Algorithms and data structures › fourier transform
fast fourier transform |
0.0 | 1 | 1983 | Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983 |
Computational complexity
lower bounds |
0.0 | 1 | 1983 | Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983 |
Algorithms and data structures › parallel algorithms
parallel prefix computation |
0.0 | 1 | 1990 | Extreme Area-Time Tradeoffs in VLSI · IEEE Trans. Computers 1990 |
Computational complexity › time-space tradeoffs
graph pebbling |
0.0 | 1 | 1980 | Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980 |
Processor architecture and microarchitecture › instruction set architecture
instruction set design |
0.0 | 1 | 1988 | The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer · SC 1988 |
Graph algorithms and graph theory › graph connectivity
connected components |
0.0 | 1 | 1988 | Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988 |
Graph algorithms and graph theory
graph algorithms |
0.0 | 1 | 1988 | Modified Mesh-Connected Parallel Computers · IEEE Trans. Computers 1988 |
Algorithms and data structures › symbolic computation › computational algebra
polynomial multiplication |
0.0 | 1 | 1983 | Time-Space Tradeoffs on Back-to-Back FFT Algorithms · IEEE Trans. Computers 1983 |
Computational complexity › algebraic complexity
straight-line algorithms |
0.0 | 1 | 1980 | Graph Pebbling with Many Free Pebbles can be Difficult · STOC 1980 |
Methods — techniques the papers use, named apart from their topics
asymptotic analysis · 0.0performance evaluation · 0.0time-space efficient algorithms · 0.0pebble game analysis · 0.0lower bound · 0.0diagonalization · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1992 | Integrating information systems technologies to support consultation in an information center
Sudha Ram, Stephen C. Hayne, David A. Carlson |
Inf. Manag. | 3 |
| 1992 | Ultrahigh-performance FFTs for the CRAY-2 and CRAY Y-MP supercomputers
David A. Carlson |
J. Supercomput. | 1 |
| 1991 | Using local memory to boost the performance of FFT algorithms on the CRAY-2 supercomputer
David A. Carlson |
J. Supercomput. | 1 |
| 1990 | The Design and Analysis of the Parallel Prefix Computation Algorithm
Tack-Don Han, David A. Carlson |
ICPP (3) | 2 |
| 1990 | Solving Linear Recurrence Systems on Mesh-Connected Computers with Multiple Global Buses
David A. Carlson |
J. Parallel Distributed Comput. | 1 |
| 1990 | Extreme Area-Time Tradeoffs in VLSIabstractConsideration is given to the layout of bounded fan-in and fan-out prefix computation graphs in VLSI, and it is shown that the area requirements of such graphs exhibit this interesting property. A small constant factor reduction in time of computation from 2 log eta to log eta increases the area required to embed an eta node prefix computation graph significantly from O( eta log eta ) to Omega ( eta /sup 2/). The area requirements are also given. This behavior is an example of an extreme area-time tradeoff in VLSI. Since prefix computation also models the carry computation in a carry look-ahead adder, the same behavior is observed in the area requirements of a near-minimum computation time carry look-ahead adder. The authors also present circuits which meet the derived lower bounds for all values of T between log eta and 2 log eta .> Binay Sugla, David A. Carlson |
IEEE Trans. Computers | 2 |
| 1990 | Limited width parallel prefix circuits
David A. Carlson, Binay Sugla |
J. Supercomput. | 1 |
| 1989 | Adapting shuffle-exchange like parallel processing organizations to work as systolic arrays
David A. Carlson, Binay Sugla |
Parallel Comput. | 1 |
| 1988 | The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputerabstractAs part of the Horizon project, a set of application programs is being written and their performance is being evaluated. Two of these applications, the fast Fourier transform and sparse matrix computations, are described. For both problems, efficient implementations are developed that take advantage of Horizon's unique features, including fined-grained synchronization, multiple instruction streams, and a horizontal instruction set. The results indicate that Horizon will offer very high performance, sometimes in excess of a sustained rate of one floating point operation per tick.> David A. Carlson, John M. Conroy |
SC | 1 |
| 1988 | Upper and Lower Bounds on Time-Space Tradeoffs for Computations with Embedded Fast Fourier TransformsabstractComputations with embedded Fast Fourier Transforms (FFT) have many important applications which include high-speed polynomial multiplication. In this paper, we discuss the time-space tradeoff behavior of such computations. In particular, we examine the way compositions of FFT graphs with one another and with other graphs affect this behavior. We model a computation by the well-known pebble game on directed acyclic graphs. We are able to show that the way in which connections are made between subgraphs of a graph exerts a nontrivial effect on the time-space tradeoff behavior. The graphs studied correspond to the problem of finding the maximum of a vector produced by the FFT algorithm, and to problems containing back-to-back FFTs such as polynomial multiplication. For the first problem, we show that different ways of expressing the FFT algorithm lead to very different time-space tradeoff behaviors. Our results for a polynomial multiplication algorithm based on back-to-back FFTs allow us to conclude that it has the connection pattern with the best possible time-space tradeoff behavior. David A. Carlson |
SIAM J. Discret. Math. | 1 |
| 1988 | Modified Mesh-Connected Parallel ComputersabstractThe author explores modifications of a mesh-connected parallel computer for the purpose of increasing the efficiency of executing important application programs. These modifications are made by adding one or more global mesh structures to the processing array. The author shows how his modifications allow asymptotic improvements in the efficiency of executing computations having low to medium interprocessor communication requirements (e.g. tree computations, prefix computations, or finding the connected components of a graph). For computations with high interprocessor communication requirements such as sorting, the author shows that they offer no speedup. He also compares the modified mesh-connected parallel computer to other similar organization including the pyramid, the X-tree, and the mesh-of-trees.> David A. Carlson |
IEEE Trans. Computers | 1 |
| 1988 | Parallel algorithms and architectures report of a workshop
Duncan A. Buell, David A. Carlson, Yuan-Chieh Chow, Karel Culík, Narsingh Deo, Raphael A. Finkel, Elias N. Houstis, Elaine M. Jacob Son, Zvi M. Kedem, Janusz S. Kowalik, Philip Kuekes, Joanne L. Martin, George A. Michael, Neil S. Ostlund, Jerry Potter, D. K. Pradhan, Michael J. Quinn, G. W. Stewart, Quentin F. Stout, Layne T. Watson |
J. Supercomput. | 2 |
| 1987 | Fast area-efficient VLSI addersabstractIn this paper, we study area-time tradeoffs in VLSI for prefix computation using graph representations of this problem. Since the problem is intimately related to binary addition, the results we obtain lead to the design of area-time efficient VLSI adders. This is a major goal of our work: to design very low latency addition circuitry that is also area efficient. To this end, we present a new graph representation for prefix computation that leads to the design of a fast, area-efficient binary adder. The new graph is a combination of previously known graph representations for prefix computation, and its area is close to known lower bounds on the VLSI area of parallel prefix graphs. Using it, we are able to design VLSI adders having area A = 0(n log n) whose delay time is the lowest possible value, i. e. the fastest possible area-efficient VLSI adder. Tack-Don Han, David A. Carlson |
IEEE Symposium on Computer Arithmetic | 2 |
| 1987 | Time-Space Efficient Algorithms for Computing Convolutions and Related Problems
David A. Carlson |
Inf. Comput. | 1 |
| 1985 | Performing Tree and Prefix Computations on Modified Mesh-Connected Parallel Computers
David A. Carlson |
ICPP | 1 |
| 1984 | Parallel Processing of Tree-like Computations
David A. Carlson |
ICDCS | 1 |
| 1983 | Size-Space Tradeoffs for Oblivious Computations
David A. Carlson, John E. Savage |
J. Comput. Syst. Sci. | 1 |
| 1983 | Time-Space Tradeoffs on Back-to-Back FFT AlgorithmsabstractThis paper examines the performance of back-to-back applications of a fast Fourier transform algorithm with respect to computational time and space. Using a well-known pebble game as an analysis technique, a lower bound is derived on the product of time and space, which is of the form T · S = Ω(n2 log2n) for an n-input back-to-back FFT. The implications of this lower bound on applications of a back-to-back FFT circuit, such as polynomial multiplication and permutation graphs, are also discussed. David A. Carlson |
IEEE Trans. Computers | 1 |
| 1982 | Extreme Time-Space Tradeoffs for Graphs with Small Space Requirements
David A. Carlson, John E. Savage |
Inf. Process. Lett. | 1 |
| 1980 | Graph Pebbling with Many Free Pebbles can be DifficultabstractThe pebble game on directed acyclic graphs can be used to model the space-time tradeoff behavior of a straight-line algorithm (SLA). In this game, the maximum number of pebbles used at any one time corresponds to the number of temporary registers available and is called space. The number of moves made to reach the outputs of the graph, or the time, corresponds to the number of operations required by the SLA. In this paper, it is shown that there exist infinite families of constructible graphs on N nodes which possess an extreme time-space tradeoff. For a particular set of graphs, if space is restricted to fall in the range of Θ(log N) to Θ((@@@@N/log N)), then the pebbling time necessary is superpolynomial in N. This result is obtained by deriving a lower bound on time when extra space is restricted, and then diagonalizing over the amount of this space. An extension of this argument shows that the minimum space requirement for such constructible graph families can grow as any slowly increasing function of N. David A. Carlson, John E. Savage |
STOC | 1 |