default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKei Davis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[j12]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)
2010 – 2019
- 2019
- [j11]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): 677-691 (2019) - 2018
- [j10]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): 662-675 (2018) - [e2]Kei Davis, Mike Rainey:
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018. ACM 2018 [contents] - 2017
- [c51]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: 469-478 - 2016
- [c50]Nick Moss, Kei Davis, Patrick S. McCormick:
The ARES High-Level Intermediate Representation. LLVM-HPC@SC 2016: 32-39 - 2014
- [c49]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: 1-10 - [c48]Xuechen Zhang, Jianqiang Ou, Kei Davis, Song Jiang:
Orthrus: A Framework for Implementing Efficient Collective I/O in Multi-core Clusters. ISC 2014: 348-364 - 2013
- [j9]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): 10 (2013) - [c47]Xuechen Zhang, Jianqiang Ou, Kei Davis, Song Jiang:
Orthrus: a framework for implementing high-performance collective I/O in the multicore clusters. HPDC 2013: 113-114 - [c46]Xuechen Zhang, Ke Liu, Kei Davis, Song Jiang:
iBridge: Improving Unaligned Parallel File Access with Solid-State Drives. IPDPS 2013: 381-392 - [c45]Ke Liu, Xuechen Zhang, Kei Davis, Song Jiang:
Synergistic coupling of SSD and hard disk for QoS-aware virtual memory. ISPASS 2013: 24-33 - 2012
- [c44]Xuechen Zhang, Kei Davis, Song Jiang:
Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services. IPDPS 2012: 330-341 - [c43]Xuechen Zhang, Kei Davis, Song Jiang:
iTransformer: Using SSD to Improve Disk Scheduling for High-performance I/O. IPDPS 2012: 715-726 - [c42]Yizhe Wang, Kei Davis, Yuehai Xu, Song Jiang:
iHarmonizer: Improving the Disk Efficiency of I/O-intensive Multithreaded Codes. IPDPS 2012: 921-932 - 2011
- [c41]Xuechen Zhang, Kei Davis, Song Jiang:
QoS support for end users of I/O-intensive applications using shared storage systems. SC 2011: 18:1-18:12 - 2010
- [j8]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): 1508-1519 (2010) - [c40]Kei Davis, Jörg Striegnitz:
9th workshop on parallel/high-performance object-oriented scientific computing. SPLASH/OOPSLA Companion 2010: 267-268 - [c39]Xuechen Zhang, Kei Davis, Song Jiang:
IOrchestrator: Improving the Performance of Multi-node I/O Systems via Inter-Server Coordination. SC 2010: 1-11
2000 – 2009
- 2009
- [j7]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): 42-49 (2009) - [j6]Kei Davis, Jörg Striegnitz:
Parallel/High Performance Object-Oriented Scientific Computing 2008. Int. J. Parallel Emergent Distributed Syst. 24(6): 463-465 (2009) - [j5]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): 619-639 (2009) - [c38]Kevin J. Barker, Kei Davis, Darren J. Kerbyson:
Performance modeling in action: Performance prediction of a Cray XT4 system during upgrade. IPDPS 2009: 1-8 - [c37]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: 1-12 - 2008
- [j4]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): 453-469 (2008) - [c36]Jörg Striegnitz, Kei Davis:
Multiparadigm Programming in Object-Oriented Languages: Current Research. ECOOP Workshops 2008: 7-17 - [c35]Kei Davis, Jörg Striegnitz:
Parallel/High-Performance Object-Oriented Scientific Computing: Today's Research, Tomorrow's Practice. ECOOP Workshops 2008: 104-115 - [c34]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: 1-8 - [c33]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: 1 - 2007
- [j3]Song Jiang, Kei Davis, Xiaodong Zhang:
Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification. IEEE Trans. Computers 56(1): 95-108 (2007) - [c32]Kei Davis, Jörg Striegnitz:
Multiparadigm Programming in Object-Oriented Languages: Current Research. ECOOP Workshops 2007: 13-26 - [c31]Darren J. Kerbyson, Kevin J. Barker, Kei Davis:
Analysis of the Weather Research and Forecasting (WRF) Model on Large-Scale Systems. PARCO 2007: 89-98 - [c30]Xiaoning Ding, Song Jiang, Feng Chen, Kei Davis, Xiaodong Zhang:
DiskSeen: Exploiting Disk Layout and Access History to Enhance I/O Prefetch. USENIX ATC 2007: 261-274 - 2006
- [c29]Kei Davis, Jörg Striegnitz:
Parallel/High-Performance Object-Oriented Scientific Computing Today. ECOOP Workshops 2006: 141-145 - [c28]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: 125 - 2005
- [c27]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 - 2004
- [j2]Kenneth L. Summers, Thomas P. Caudell, Kathryn P. Berkbigler, Brian W. Bush, Kei Davis, Steve Smith:
Graph visualization for the analysis of the structure and dynamics of extreme-scale supercomputers. Inf. Vis. 3(3): 209-222 (2004) - [c26]Eitan Frachtenberg, Kei Davis, Fabrizio Petrini, Juan Fernández, José Carlos Sancho:
Designing Parallel Operating Systems via Parallel Programming. Euro-Par 2004: 689-696 - [c25]Fabrizio Petrini, Kei Davis, José Carlos Sancho:
System-Level Fault-Tolerance in Large-Scale Parallel Machines with Buffered Coscheduling. IPDPS 2004 - [c24]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: 41 - 2003
- [c23]Kei Davis, Jörg Striegnitz:
Parallel Object-Oriented Scientific Computing Today. ECOOP Workshops 2003: 11-16 - [c22]Kathryn P. Berkbigler, Brian W. 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: 38-43 - 2002
- [c21]Kei Davis, Yannis Smaragdakis, Jörg Striegnitz:
Multiparadigm Programming with Object-Oriented Languages. ECOOP Workshops 2002: 154-159 - 2001
- [c20]Kei Davis, Yannis Smaragdakis, Jörg Striegnitz:
Multiparadigm Programming with OO Languages. ECOOP Workshops 2001: 131-134 - 2000
- [c19]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: 739-743
1990 – 1999
- 1999
- [c18]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: 222-239 - [c17]Federico Bassetti, Kei Davis, Madhav V. Marathe, Daniel J. Quinlan, Bobby Philip:
Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice. ISCOPE 1999: 25-36 - [c16]Federico Bassetti, Kei Davis:
Optimizing Transformations of Stencil Operations for Parallel Cache-based Architectures. PDPTA 1999: 1343-1356 - 1998
- [c15]Kei Davis:
Indroduction to Parallel Objecty-Oriented Scientific Computing. ECOOP Workshops 1998: 444-445 - [c14]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: 446-447 - [c13]Kei Davis, Daniel J. Quinlan:
ROSE: An Optimizing Transformation System for C++ Array-Class Libraries. ECOOP Workshops 1998: 452-453 - [c12]Kei Davis, Daniel J. Quinlan:
The Parallel Asynchronous Data Routing Environment PADRE. ECOOP Workshops 1998: 454-455 - [c11]Federico Bassetti, Kei Davis, Daniel J. Quinlan:
C++ Expression Templates Performance Issues in Scientific Computing. IPPS/SPDP 1998: 635-639 - [c10]Federico Bassetti, Kei Davis, Daniel J. Quinlan:
Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures. ISCOPE 1998: 107-118 - [c9]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: 14 - 1997
- [c8]Federico Bassetti, Kei Davis, Daniel J. Quinlan:
A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks. ISCOPE 1997: 17-24 - 1995
- [j1]Kei Davis:
PERs from Projections for Binding-Time Analysis. LISP Symb. Comput. 8(3): 249-266 (1995) - 1994
- [b1]Kei Davis:
Projection-based program analysis. University of Glasgow, UK, 1994 - [c7]Kei Davis:
PERs from Projections for Binding-Time Analysis. PEPM 1994: 53-60 - 1993
- [c6]Kei Davis:
Projection-based Termination Analysis. Functional Programming 1993: 26-42 - [c5]Kei Davis:
Higher-order Binding-time Analysis. PEPM 1993: 78-87 - 1992
- [c4]Kei Davis:
Analysing Functions by Projection-Based Backward Abstraction. Functional Programming 1992: 43-56 - 1991
- [c3]Kei Davis:
A Note on the Choice of Domains for Projection-Based Program Analysis. Functional Programming 1991: 73-81 - 1990
- [c2]Kei Davis, Philip Wadler:
Strictness Analysis in 4D. Functional Programming 1990: 23-43 - [e1]Kei Davis, John Hughes:
Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, Springer 1990, ISBN 3-540-19609-9 [contents]
1980 – 1989
- 1989
- [c1]Kei Davis, Philip Wadler:
Backwards Strictness Analysis: Proved and Improved. Functional Programming 1989: 12-30
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
