VLDB 2026 Research / reviewers in the wild / expert
Victor Konrad
dblp:02/5351
· DBLP profile ↗
4ranked-venue papers
2as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 2 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.
| Theoretical computer science
2 papers |
Algorithms and data structures · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
High-performance computing · 75% Parallel and multicore computing · 25% |
Topics — the 6 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Algorithms and data structures
sequence algorithms |
0.0 | 1 | 1986 | Efficient Computation of the Maximum of the Sum of Two Sequences and Applications · IEEE Trans. Computers 1986 |
High-performance computing
parallel numerical algorithms |
0.0 | 1 | 1980 | On Block-Parallel Methods for Solving Linear Equations · IEEE Trans. Computers 1980 |
High-performance computing › numerical linear algebra › linear solver
iterative linear solvers |
0.0 | 1 | 1977 | Iterative Solution of Linear Equations on a Parallel Processor System · IEEE Trans. Computers 1977 |
Parallel and multicore computing
parallel algorithms |
0.0 | 1 | 1977 | Iterative Solution of Linear Equations on a Parallel Processor System · IEEE Trans. Computers 1977 |
High-performance computing
scientific computing systems |
0.0 | 1 | 1980 | On Block-Parallel Methods for Solving Linear Equations · IEEE Trans. Computers 1980 |
Algorithms and data structures
numerical linear algebra |
0.0 | 1 | 1977 | Iterative Solution of Linear Equations on a Parallel Processor System · IEEE Trans. Computers 1977 |
Methods — techniques the papers use, named apart from their topics
ranking-based algorithm · 0.0monotone function generalization · 0.0gauss-seidel method · 0.0parallelization · 0.0jacobi method · 0.0back-substitution · 0.0MIMD · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Analog property checkers: a DDR2 case study
Kevin D. Jones, Victor Konrad, Dejan Nickovic |
Formal Methods Syst. Des. | 2 |
| 1986 | Efficient Computation of the Maximum of the Sum of Two Sequences and ApplicationsabstractComputing max{a1+ b1, a2+ b2, ... ,an+ bn} trivially takes n additions. We show that if we are given the ranking for the a's and the b's separately, then an algorithm exists which will compute the maximum in ≅2n additions on the average. This can be generalized to yield an efficient algorithm to compute max{h(a1,b1), h(a2,b2),..., h(an, bn)} where h(x,y) is monotone increasing in x and y. Another generalization shows an efficient way of computing the maximum norm of a difference between two vectors. Applications are shown in pattern classification and computational geometry. Victor Konrad |
IEEE Trans. Computers | 1 |
| 1980 | On Block-Parallel Methods for Solving Linear EquationsabstractAn MIMD-type parallel-processing system was introduced recently. Using an extended PL/I notation, algorithms for the Gauss-Seidel method and for back substitution are written for this system. Block execution is shown to result in higher speedups. Yehuda Wallach, Victor Konrad |
IEEE Trans. Computers | 2 |
| 1977 | Iterative Solution of Linear Equations on a Parallel Processor SystemabstractA parallel processor system and its mode of operation are described. A notation for writing programs on it is introduced. Methods for iterative solution of a set of linear equations are then discussed. The well-known algorithms of Jacobi and Gauss–Seidel are parallelized despite the apparent inherent sequentiality of the latter. New, parallel methods for the iterative solution of linear equations are introduced and their convergence is discussed. A measure of speedup is computed for all methods. It shows that in most cases the algorithms developed in the paper may be efficiently executed on a parallel processor system. Victor Konrad, Yehuda Wallach |
IEEE Trans. Computers | 1 |