EDBT 2026 Demo / reviewers in the wild / expert
Keith Seymour
dblp:69/2892
· DBLP profile ↗
6ranked-venue papers
2as first author
0since 2021 · last 2013
0000-0003-0850-2745ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 6 · 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 |
Cloud and datacenter computing · 56% High-performance computing · 44% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
High-performance computing › performance optimization
auto-tuning |
0.1 | 1 | 2008 | The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software · HPDC 2008 |
Cloud and datacenter computing
virtualization |
0.1 | 1 | 2008 | The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software · HPDC 2008 |
Cloud and datacenter computing › virtualization
virtual cluster |
0.0 | 1 | 2008 | The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software · HPDC 2008 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Enabling workflows in GridSolve: request sequencing and service trading
Yinan Li 0002, Asim YarKhan, Jack J. Dongarra, Keith Seymour, Aurélie Hurault |
J. Supercomput. | 4 |
| 2010 | SmartGridRPC: The new RPC model for high performance Grid computingabstractAbstract The paper presents the SmartGridRPC model, an extension of the GridRPC model, which aims to achieve higher performance. The traditional GridRPC provides a programming model and API for mapping individual tasks of an application in a distributed Grid environment, which is based on the client‐server model characterized by the star network topology. SmartGridRPC provides a programming model and API for mapping a group of tasks of an application in a distributed Grid environment, which is based on the fully connected network topology. The SmartGridRPC programming model and API and its performance advantages over the GridRPC model are outlined in this paper. In addition, experimental results using a real‐world application are also presented. Copyright © 2010 John Wiley & Sons, Ltd. Thomas Brady, Jack J. Dongarra, Michele Guidolin, Alexey L. Lastovetsky, Keith Seymour |
Concurr. Comput. Pract. Exp. | 5 |
| 2008 | A comparison of search heuristics for empirical code optimizationabstractThis paper describes the application of various search techniques to the problem of automatic empirical code optimization. The search process is a critical aspect of auto-tuning systems because the large size of the search space and the cost of evaluating the candidate implementations makes it infeasible to find the true optimum point by brute force. We evaluate the effectiveness of Nelder-Mead Simplex, Genetic Algorithms, Simulated Annealing, Particle Swarm Optimization, Orthogonal search, and Random search in terms of the performance of the best candidate found under varying time limits. Keith Seymour, Haihang You, Jack J. Dongarra |
CLUSTER | 1 |
| 2008 | The impact of paravirtualized memory hierarchy on linear algebra computational kernels and softwareabstractPrevious studies have revealed that paravirtualization imposes minimal performance overhead on High Performance Computing (HPC) workloads, while exposing numerous benefits for this field. In this study, we are investigating the memory hierarchy characteristics of paravirtualized systems and their impact on automatically-tuned software systems. We are presenting an accurate characterization of memory attributes using hardware counters and user-process accounting. For that, we examine the proficiency of ATLAS, a quintessential example of an autotuning software system, in tuning the BLAS library routines for paravirtualized systems. In addition, we examine the effects of paravirtualization on the performance boundary. Our results show that the combination of ATLAS and Xen paravirtualization delivers native execution performance and nearly identical memory hierarchy performance profiles. Our research thus exposes new benefits to memory-intensive applications arising from the ability to slim down the guest OS without influencing the system performance. In addition, our findings support a novel and very attractive deployment scenario for computational science and engineering codes on virtual clusters and computational clouds. Lamia Youseff, Keith Seymour, Haihang You, Jack J. Dongarra, Richard Wolski |
HPDC | 2 |
| 2007 | POET: Parameterized Optimizations for Empirical TuningabstractThe excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observation motivates the recent interest in performance tuning using empirical techniques. We present a new embedded scripting language, POET (parameterized optimization for empirical tuning), for parameterizing complex code transformations so that they can be empirically tuned. The POET language aims to significantly improve the generality, flexibility, and efficiency of existing empirical tuning systems. We have used the language to parameterize and to empirically tune three loop optimizations - interchange, blocking, and unrolling - for two linear algebra kernels. We show experimentally that the time required to tune these optimizations using POET, which does not require any program analysis, is significantly shorter than that when using a full compiler-based source-code optimizer which performs sophisticated program analysis and optimizations. Qing Yi, Keith Seymour, Haihang You, Richard W. Vuduc, Daniel J. Quinlan |
IPDPS | 2 |
| 2003 | Automatic translation of Fortran to JVM bytecodeabstractAbstract This paper reports on the design of a Fortran‐to‐Java translator whose target language is the instruction set of the Java Virtual Machine. The goal of the translator is to generate Java implementations of legacy Fortran numerical codes in a consistent and reliable fashion. The benefits of directly generating bytecode are twofold. First, compared with generating Java source code, it provides a much more straightforward and efficient mechanism for translating Fortran GOTO statements. Second, it provides a framework for pursuing various compiler optimizations, which could be beneficial not only to our project, but to the Java community as a whole. Copyright © 2003 John Wiley & Sons, Ltd. Keith Seymour, Jack J. Dongarra |
Concurr. Comput. Pract. Exp. | 1 |