Login / Signup
Kei Davis
ORCID
Publication Activity (10 Years)
Years Active: 1989-2020
Publications (10 Years): 5
Top Topics
Data Transfer
Internal Memory
Prefetching
Hard Disk
Top Venues
IPDPS
ACM Trans. Storage
ISC
LLVM-HPC@SC
</>
Publications
</>
Samuel K. Gutiérrez
,
Dorian C. Arnold
,
Kei Davis
,
Patrick S. McCormick
On the memory attribution problem: A solution and case study using MPI.
Concurr. Comput. Pract. Exp.
32 (3) (2020)
Bao Nguyen
,
Hua Tan
,
Kei Davis
,
Xuechen Zhang
Persistent Octrees for Parallel Mesh Refinement through Non-Volatile Byte-Addressable Memory.
IEEE Trans. Parallel Distributed Syst.
30 (3) (2019)
Suman Karki
,
Bao Nguyen
,
Joshua Feener
,
Kei Davis
,
Xuechen Zhang
Enforcing End-to-End I/O Policies for Scientific Workflows Using Software-Defined Storage Resource Enclaves.
IEEE Trans. Multi Scale Comput. Syst.
4 (4) (2018)
Samuel K. Gutierrez
,
Kei Davis
,
Dorian C. Arnold
,
Randal S. Baker
,
Robert W. Robey
,
Patrick S. McCormick
,
Daniel Holladay
,
Jon A. Dahl
,
R. Joe Zerr
,
Florian Weik
,
Christoph Junghans
Accommodating Thread-Level Heterogeneity in Coupled Parallel Applications.
IPDPS
(2017)
Nick Moss
,
Kei Davis
,
Patrick S. McCormick
The ARES High-Level Intermediate Representation.
LLVM-HPC@SC
(2016)
Patrick S. McCormick
,
Christine Sweeney
,
Nick Moss
,
Dean Prichard
,
Samuel K. Gutierrez
,
Kei Davis
,
Jamaludin Mohd-Yusof
Exploring the construction of a domain-aware toolchain for high-performance computing.
WOLFHPC@SC
(2014)
Xuechen Zhang
,
Jianqiang Ou
,
Kei Davis
,
Song Jiang
Orthrus: A Framework for Implementing Efficient Collective I/O in Multi-core Clusters.
ISC
(2014)
Xuechen Zhang
,
Ke Liu
,
Kei Davis
,
Song Jiang
iBridge: Improving Unaligned Parallel File Access with Solid-State Drives.
IPDPS
(2013)
Xuechen Zhang
,
Jianqiang Ou
,
Kei Davis
,
Song Jiang
Orthrus: a framework for implementing high-performance collective I/O in the multicore clusters.
HPDC
(2013)
Ke Liu
,
Xuechen Zhang
,
Kei Davis
,
Song Jiang
Synergistic coupling of SSD and hard disk for QoS-aware virtual memory.
ISPASS
(2013)
Song Jiang
,
Xiaoning Ding
,
Yuehai Xu
,
Kei Davis
A Prefetching Scheme Exploiting both Data Layout and Access History on Disk.
ACM Trans. Storage
9 (3) (2013)
Yizhe Wang
,
Kei Davis
,
Yuehai Xu
,
Song Jiang
iHarmonizer: Improving the Disk Efficiency of I/O-intensive Multithreaded Codes.
IPDPS
(2012)
Xuechen Zhang
,
Kei Davis
,
Song Jiang
iTransformer: Using SSD to Improve Disk Scheduling for High-performance I/O.
IPDPS
(2012)
Xuechen Zhang
,
Kei Davis
,
Song Jiang
Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services.
IPDPS
(2012)
Xuechen Zhang
,
Kei Davis
,
Song Jiang
QoS support for end users of I/O-intensive applications using shared storage systems.
SC
(2011)
Kei Davis
,
Jörg Striegnitz
9th workshop on parallel/high-performance object-oriented scientific computing.
SPLASH/OOPSLA Companion
(2010)
Song Jiang
,
Xuechen Zhang
,
Shuang Liang
,
Kei Davis
Improving Networked File System Performance Using a Locality-Aware Cooperative Cache Protocol.
IEEE Trans. Computers
59 (11) (2010)
Xuechen Zhang
,
Kei Davis
,
Song Jiang
IOrchestrator: Improving the Performance of Multi-node I/O Systems via Inter-Server Coordination.
SC
(2010)
Kevin J. Barker
,
Kei Davis
,
Adolfy Hoisie
,
Darren J. Kerbyson
,
Michael Lang
,
Scott Pakin
,
José Carlos Sancho
Using Performance Modeling to Design Large-Scale Systems.
Computer
42 (11) (2009)
Kei Davis
,
Kevin J. Barker
,
Darren J. Kerbyson
Performance Prediction via Modeling: a Case Study of the ORNL Cray XT4 Upgrade.
Parallel Process. Lett.
19 (4) (2009)
Xuechen Zhang
,
Song Jiang
,
Kei Davis
Making resonance a common case: A high-performance implementation of collective I/O on parallel file systems.
IPDPS
(2009)
Kevin J. Barker
,
Kei Davis
,
Darren J. Kerbyson
Performance modeling in action: Performance prediction of a Cray XT4 system during upgrade.
IPDPS
(2009)
Kei Davis
,
Jörg Striegnitz
Parallel/High Performance Object-Oriented Scientific Computing 2008.
Int. J. Parallel Emergent Distributed Syst.
24 (6) (2009)
Kevin J. Barker
,
Kei Davis
,
Adolfy Hoisie
,
Darren J. Kerbyson
,
Michael Lang
,
Scott Pakin
,
José Carlos Sancho
A Performance Evaluation of the Nehalem Quad-Core Processor for Scientific Computing.
Parallel Process. Lett.
18 (4) (2008)
Kevin J. Barker
,
Kei Davis
,
Adolfy Hoisie
,
Darren J. Kerbyson
,
Michael Lang
,
Scott Pakin
,
José Carlos Sancho
Experiences in scaling scientific applications on current-generation quad-core processors.
IPDPS
(2008)
Kevin J. Barker
,
Kei Davis
,
Adolfy Hoisie
,
Darren J. Kerbyson
,
Michael Lang
,
Scott Pakin
,
José Carlos Sancho
Entering the petaflop era: the architecture and performance of Roadrunner.
SC
(2008)
Jörg Striegnitz
,
Kei Davis
Multiparadigm Programming in Object-Oriented Languages: Current Research.
ECOOP Workshops
(2008)
Kei Davis
,
Jörg Striegnitz
Parallel/High-Performance Object-Oriented Scientific Computing: Today's Research, Tomorrow's Practice.
ECOOP Workshops
(2008)
Song Jiang
,
Kei Davis
,
Xiaodong Zhang
Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification.
IEEE Trans. Computers
56 (1) (2007)
Xiaoning Ding
,
Song Jiang
,
Feng Chen
,
Kei Davis
,
Xiaodong Zhang
DiskSeen: Exploiting Disk Layout and Access History to Enhance I/O Prefetch.
USENIX Annual Technical Conference
(2007)
Kei Davis
,
Jörg Striegnitz
Multiparadigm Programming in Object-Oriented Languages: Current Research.
ECOOP Workshops
(2007)
Darren J. Kerbyson
,
Kevin J. Barker
,
Kei Davis
Analysis of the Weather Research and Forecasting (WRF) Model on Large-Scale Systems.
PARCO
(2007)
Kei Davis
,
Jörg Striegnitz
Parallel/High-Performance Object-Oriented Scientific Computing Today.
ECOOP Workshops
(2006)
José Carlos Sancho
,
Kevin J. Barker
,
Darren J. Kerbyson
,
Kei Davis
MPI tools and performance studies - Quantifying the potential benefit of overlapping communication and computation in large-scale scientific applications.
SC
(2006)
José Carlos Sancho
,
Fabrizio Petrini
,
Kei Davis
,
Roberto Gioiosa
,
Song Jiang
Current Practice and a Direction Forward in Checkpoint/Restart Implementations for Fault Tolerance.
IPDPS
(2005)
Kenneth L. Summers
,
Thomas P. Caudell
,
Kathryn P. Berkbigler
,
Brian Bush
,
Kei Davis
,
Steve Smith
Graph visualization for the analysis of the structure and dynamics of extreme-scale supercomputers.
Inf. Vis.
3 (3) (2004)
Kei Davis
,
Adolfy Hoisie
,
Greg Johnson
,
Darren J. Kerbyson
,
Michael Lang
,
Scott Pakin
,
Fabrizio Petrini
A Performance and Scalability Analysis of the BlueGene/L Architecture.
SC
(2004)
Fabrizio Petrini
,
Kei Davis
,
José Carlos Sancho
System-Level Fault-Tolerance in Large-Scale Parallel Machines with Buffered Coscheduling.
IPDPS
(2004)
Eitan Frachtenberg
,
Kei Davis
,
Fabrizio Petrini
,
Juan Fernández
,
José Carlos Sancho
Designing Parallel Operating Systems via Parallel Programming.
Euro-Par
(2004)
Kei Davis
,
Jörg Striegnitz
Parallel Object-Oriented Scientific Computing Today.
ECOOP Workshops
(2003)
Kathryn P. Berkbigler
,
Brian Bush
,
Kei Davis
,
Nicholas Moss
,
Steve Smith
,
Thomas P. Caudell
,
Kenneth L. Summers
,
Cheng Zhou
Á la carte: A Simulation Framework for Extreme-scale Hardware Architectures.
Modelling and Simulation
(2003)
Kei Davis
,
Yannis Smaragdakis
,
Jörg Striegnitz
Multiparadigm Programming with Object-Oriented Languages.
ECOOP Workshops
(2002)
Kei Davis
,
Yannis Smaragdakis
,
Jörg Striegnitz
Multiparadigm Programming with OO Languages.
ECOOP Workshops
(2001)
Philip W. Trinder
,
Hans-Wolfgang Loidl
,
Ed. Barry Jr.
,
Kei Davis
,
Kevin Hammond
,
Ulrike Klusik
,
Simon L. Peyton Jones
,
Álvaro J. Rebón Portillo
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note).
Euro-Par
(2000)
Federico Bassetti
,
Kei Davis
,
Madhav V. Marathe
,
Daniel J. Quinlan
,
Bobby Philip
Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice.
ISCOPE
(1999)
Federico Bassetti
,
Kei Davis
Optimizing Transformations of Stencil Operations for Parallel Cache-based Architectures.
PDPTA
(1999)
Bernd Mohr
,
Federico Bassetti
,
Kei Davis
,
Stefan Hüttemann
,
Pascale Launay
,
Dan C. Marinescu
,
David J. Miller
,
Ruthe L. Vandewart
,
Matthias S. Müller
,
Augustin Prodan
Parallel / High-Performance Object-Oriented Scientific Computing.
ECOOP Workshops
(1999)
David L. Brown
,
Kei Davis
,
William D. Henshaw
,
Daniel J. Quinlan
,
Kristi Brislawn
OVERTURE: Object-Oriented Parallel Adaptive Mesh Refinement for Serial and Parallel Environments.
ECOOP Workshops
(1998)
Kei Davis
Indroduction to Parallel Objecty-Oriented Scientific Computing.
ECOOP Workshops
(1998)
Kei Davis
,
Daniel J. Quinlan
ROSE: An Optimizing Transformation System for C++ Array-Class Libraries.
ECOOP Workshops
(1998)
Federico Bassetti
,
David L. Brown
,
Kei Davis
,
William D. Henshaw
,
Daniel J. Quinlan
OVERTURE: An Object-Oriented Framework for High Performance Scientific Computing.
SC
(1998)
Kei Davis
,
Daniel J. Quinlan
The Parallel Asynchronous Data Routing Environment PADRE.
ECOOP Workshops
(1998)
Federico Bassetti
,
Kei Davis
,
Daniel J. Quinlan
C++ Expression Templates Performance Issues in Scientific Computing.
IPPS/SPDP
(1998)
Federico Bassetti
,
Kei Davis
,
Daniel J. Quinlan
Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures.
ISCOPE
(1998)
Federico Bassetti
,
Kei Davis
,
Daniel J. Quinlan
A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks.
ISCOPE
(1997)
Kei Davis
PERs from Projections for Binding-Time Analysis.
LISP Symb. Comput.
8 (3) (1995)
Kei Davis
PERs from Projections for Binding-Time Analysis.
PEPM
(1994)
Kei Davis
Projection-based Termination Analysis.
Functional Programming
(1993)
Kei Davis
Higher-order Binding-time Analysis.
PEPM
(1993)
Kei Davis
Analysing Functions by Projection-Based Backward Abstraction.
Functional Programming
(1992)
Kei Davis
A Note on the Choice of Domains for Projection-Based Program Analysis.
Functional Programming
(1991)
Kei Davis
,
Philip Wadler
Strictness Analysis in 4D.
Functional Programming
(1990)
Kei Davis
,
Philip Wadler
Backwards Strictness Analysis: Proved and Improved.
Functional Programming
(1989)