Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Keith Seymour

dblp:69/2892 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
High-performance computing › performance optimization
auto-tuning
0.112008
The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software · HPDC 2008
Cloud and datacenter computing
virtualization
0.112008
The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software · HPDC 2008
Cloud and datacenter computing › virtualization
virtual cluster
0.012008
The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software · HPDC 2008
YearPublicationVenuePosition
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 computing
abstract
Abstract 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 optimization
abstract
This 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
CLUSTER1
2008 The impact of paravirtualized memory hierarchy on linear algebra computational kernels and software
abstract
Previous 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
HPDC2
2007 POET: Parameterized Optimizations for Empirical Tuning
abstract
The 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
IPDPS2
2003 Automatic translation of Fortran to JVM bytecode
abstract
Abstract 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