Backwards Strictness Analysis: Proved and Improved. - Kei Davis; Philip Wadler (Functional Programming, 1989)

Strictness Analysis in 4D. - Kei Davis; Philip Wadler (Functional Programming, 1990)

A Note on the Choice of Domains for Projection-Based Program Analysis. - Kei Davis (Functional Programming, 1991)

Analysing Functions by Projection-Based Backward Abstraction. - Kei Davis (Functional Programming, 1992)

Projection-based Termination Analysis. - Kei Davis (Functional Programming, 1993)

Higher-order Binding-time Analysis. - Kei Davis (PEPM, 1993)

Projection-based program analysis. - Kei Davis (1994)

PERs from Projections for Binding-Time Analysis. - Kei Davis (LISP Symb. Comput., 1995)

A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks. - Federico Bassetti; Kei Davis; Daniel J. Quinlan (ISCOPE, 1997)

OVERTURE: Object-Oriented Parallel Adaptive Mesh Refinement for Serial and Parallel Environments. - David L. Brown; Kei Davis; William D. Henshaw; Daniel J. Quinlan; Kristi Brislawn (ECOOP Workshops, 1998)

Indroduction to Parallel Objecty-Oriented Scientific Computing. - Kei Davis (ECOOP Workshops, 1998)

ROSE: An Optimizing Transformation System for C++ Array-Class Libraries. - Kei Davis; Daniel J. Quinlan (ECOOP Workshops, 1998)

The Parallel Asynchronous Data Routing Environment PADRE. - Kei Davis; Daniel J. Quinlan (ECOOP Workshops, 1998)

C++ Expression Templates Performance Issues in Scientific Computing. - Federico Bassetti; Kei Davis; Daniel J. Quinlan (IPPS/SPDP, 1998)

Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures. - Federico Bassetti; Kei Davis; Daniel J. Quinlan (ISCOPE, 1998)

OVERTURE: An Object-Oriented Framework for High Performance Scientific Computing. - Federico Bassetti; David L. Brown; Kei Davis; William D. Henshaw; Daniel J. Quinlan (SC, 1998)

Parallel / High-Performance Object-Oriented Scientific Computing. - Bernd Mohr; Federico Bassetti; Kei Davis; Stefan Hüttemann; Pascale Launay; Dan C. Marinescu; David J. Miller 003; Ruthe L. Vandewart; Matthias S. Müller; Augustin Prodan (ECOOP Workshops, 1999)

Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice. - Federico Bassetti; Kei Davis; Madhav V. Marathe; Daniel J. Quinlan; Bobby Philip (ISCOPE, 1999)

Optimizing Transformations of Stencil Operations for Parallel Cache-based Architectures. - Federico Bassetti; Kei Davis (PDPTA, 1999)

The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). - Philip W. Trinder; Hans-Wolfgang Loidl; Ed. Barry Jr.; Kei Davis; Kevin Hammond; Ulrike Klusik; Simon L. Peyton Jones; Álvaro J. Rebón Portillo (Euro-Par, 2000)

Multiparadigm Programming with OO Languages. - Kei Davis; Yannis Smaragdakis; Jörg Striegnitz (ECOOP Workshops, 2001)

Multiparadigm Programming with Object-Oriented Languages. - Kei Davis; Yannis Smaragdakis; Jörg Striegnitz (ECOOP Workshops, 2002)

Parallel Object-Oriented Scientific Computing Today. - Kei Davis; Jörg Striegnitz (ECOOP Workshops, 2003)

Á la carte: A Simulation Framework for Extreme-scale Hardware Architectures. - Kathryn P. Berkbigler; Brian W. Bush; Kei Davis; Nicholas Moss; Steve Smith; Thomas P. Caudell; Kenneth L. Summers; Cheng Zhou (Modelling and Simulation, 2003)

Designing Parallel Operating Systems via Parallel Programming. - Eitan Frachtenberg; Kei Davis; Fabrizio Petrini; Juan Fernández 001; José Carlos Sancho (Euro-Par, 2004)

System-Level Fault-Tolerance in Large-Scale Parallel Machines with Buffered Coscheduling. - Fabrizio Petrini; Kei Davis; José Carlos Sancho (IPDPS, 2004)

A Performance and Scalability Analysis of the BlueGene/L Architecture. - Kei Davis; Adolfy Hoisie; Greg Johnson; Darren J. Kerbyson; Michael Lang 003; Scott Pakin; Fabrizio Petrini (SC, 2004)

Graph visualization for the analysis of the structure and dynamics of extreme-scale supercomputers. - Kenneth L. Summers; Thomas P. Caudell; Kathryn P. Berkbigler; Brian W. Bush; Kei Davis; Steve Smith (Inf. Vis., 2004)

Current Practice and a Direction Forward in Checkpoint/Restart Implementations for Fault Tolerance. - José Carlos Sancho; Fabrizio Petrini; Kei Davis; Roberto Gioiosa; Song Jiang 001 (IPDPS, 2005)

Parallel/High-Performance Object-Oriented Scientific Computing Today. - Kei Davis; Jörg Striegnitz (ECOOP Workshops, 2006)

MPI tools and performance studies - Quantifying the potential benefit of overlapping communication and computation in large-scale scientific applications. - José Carlos Sancho; Kevin J. Barker; Darren J. Kerbyson; Kei Davis (SC, 2006)

Multiparadigm Programming in Object-Oriented Languages: Current Research. - Kei Davis; Jörg Striegnitz (ECOOP Workshops, 2007)

Analysis of the Weather Research and Forecasting (WRF) Model on Large-Scale Systems. - Darren J. Kerbyson; Kevin J. Barker; Kei Davis (PARCO, 2007)

DiskSeen: Exploiting Disk Layout and Access History to Enhance I/O Prefetch. - Xiaoning Ding; Song Jiang 001; Feng Chen 005; Kei Davis; Xiaodong Zhang 001 (USENIX ATC, 2007)

Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification. - Song Jiang 001; Kei Davis; Xiaodong Zhang 001 (IEEE Trans. Computers, 2007)

Parallel/High-Performance Object-Oriented Scientific Computing: Today's Research, Tomorrow's Practice. - Kei Davis; Jörg Striegnitz (ECOOP Workshops, 2008)

Experiences in scaling scientific applications on current-generation quad-core processors. - Kevin J. Barker; Kei Davis; Adolfy Hoisie; Darren J. Kerbyson; Michael Lang 003; Scott Pakin; José Carlos Sancho (IPDPS, 2008)

Entering the petaflop era: the architecture and performance of Roadrunner. - Kevin J. Barker; Kei Davis; Adolfy Hoisie; Darren J. Kerbyson; Michael Lang 003; Scott Pakin; José Carlos Sancho (SC, 2008)

A Performance Evaluation of the Nehalem Quad-Core Processor for Scientific Computing. - Kevin J. Barker; Kei Davis; Adolfy Hoisie; Darren J. Kerbyson; Michael Lang 003; Scott Pakin; José Carlos Sancho (Parallel Process. Lett., 2008)

Performance modeling in action: Performance prediction of a Cray XT4 system during upgrade. - Kevin J. Barker; Kei Davis; Darren J. Kerbyson (IPDPS, 2009)

Making resonance a common case: A high-performance implementation of collective I/O on parallel file systems. - Xuechen Zhang 001; Song Jiang 001; Kei Davis (IPDPS, 2009)

Using Performance Modeling to Design Large-Scale Systems. - Kevin J. Barker; Kei Davis; Adolfy Hoisie; Darren J. Kerbyson; Michael Lang 003; Scott Pakin; José Carlos Sancho (Computer, 2009)

Parallel/High Performance Object-Oriented Scientific Computing 2008. - Kei Davis; Jörg Striegnitz (Int. J. Parallel Emergent Distributed Syst., 2009)

Performance Prediction via Modeling: a Case Study of the ORNL Cray XT4 Upgrade. - Kei Davis; Kevin J. Barker; Darren J. Kerbyson (Parallel Process. Lett., 2009)

9th workshop on parallel/high-performance object-oriented scientific computing. - Kei Davis; Jörg Striegnitz (SPLASH/OOPSLA Companion, 2010)

IOrchestrator: Improving the Performance of Multi-node I/O Systems via Inter-Server Coordination. - Xuechen Zhang 001; Kei Davis; Song Jiang 001 (SC, 2010)

Improving Networked File System Performance Using a Locality-Aware Cooperative Cache Protocol. - Song Jiang 001; Xuechen Zhang 001; Shuang Liang; Kei Davis (IEEE Trans. Computers, 2010)

QoS support for end users of I/O-intensive applications using shared storage systems. - Xuechen Zhang 001; Kei Davis; Song Jiang 001 (SC, 2011)

iHarmonizer: Improving the Disk Efficiency of I/O-intensive Multithreaded Codes. - Yizhe Wang; Kei Davis; Yuehai Xu; Song Jiang 001 (IPDPS, 2012)

Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services. - Xuechen Zhang 001; Kei Davis; Song Jiang 001 (IPDPS, 2012)

iTransformer: Using SSD to Improve Disk Scheduling for High-performance I/O. - Xuechen Zhang 001; Kei Davis; Song Jiang 001 (IPDPS, 2012)

Orthrus: a framework for implementing high-performance collective I/O in the multicore clusters. - Xuechen Zhang 001; Jianqiang Ou; Kei Davis; Song Jiang 001 (HPDC, 2013)

iBridge: Improving Unaligned Parallel File Access with Solid-State Drives. - Xuechen Zhang 001; Ke Liu; Kei Davis; Song Jiang 001 (IPDPS, 2013)

Synergistic coupling of SSD and hard disk for QoS-aware virtual memory. - Ke Liu; Xuechen Zhang 001; Kei Davis; Song Jiang 001 (ISPASS, 2013)

A Prefetching Scheme Exploiting both Data Layout and Access History on Disk. - Song Jiang 001; Xiaoning Ding; Yuehai Xu; Kei Davis (ACM Trans. Storage, 2013)

Exploring the construction of a domain-aware toolchain for high-performance computing. - Patrick S. McCormick; Christine Sweeney; Nick Moss; Dean Prichard; Samuel K. Gutierrez; Kei Davis; Jamaludin Mohd-Yusof (WOLFHPC@SC, 2014)

Orthrus: A Framework for Implementing Efficient Collective I/O in Multi-core Clusters. - Xuechen Zhang 001; Jianqiang Ou; Kei Davis; Song Jiang 001 (ISC, 2014)

The ARES High-Level Intermediate Representation. - Nick Moss; Kei Davis; Patrick S. McCormick (LLVM-HPC@SC, 2016)

Accommodating Thread-Level Heterogeneity in Coupled Parallel Applications. - 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 (IPDPS, 2017)

Enforcing End-to-End I/O Policies for Scientific Workflows Using Software-Defined Storage Resource Enclaves. - Suman Karki; Bao Nguyen; Joshua Feener; Kei Davis; Xuechen Zhang 001 (IEEE Trans. Multi Scale Comput. Syst., 2018)

Persistent Octrees for Parallel Mesh Refinement through Non-Volatile Byte-Addressable Memory. - Bao Nguyen; Hua Tan; Kei Davis; Xuechen Zhang 001 (IEEE Trans. Parallel Distributed Syst., 2019)

On the memory attribution problem: A solution and case study using MPI. - Samuel K. Gutiérrez; Dorian C. Arnold; Kei Davis; Patrick S. McCormick (Concurr. Comput. Pract. Exp., 2020)