2008 |
35 | EE | Kevin J. Barker,
Kei Davis,
Adolfy Hoisie,
Darren J. Kerbyson,
Mike Lang,
Scott Pakin,
José Carlos Sancho:
Experiences in scaling scientific applications on current-generation quad-core processors.
IPDPS 2008: 1-8 |
34 | EE | Kevin J. Barker,
Kei Davis,
Adolfy Hoisie,
Darren J. Kerbyson,
Mike Lang,
Scott Pakin,
José Carlos Sancho:
Entering the petaflop era: the architecture and performance of Roadrunner.
SC 2008: 1 |
2007 |
33 | EE | Kei Davis,
Jörg Striegnitz:
Multiparadigm Programming in Object-Oriented Languages: Current Research.
ECOOP Workshops 2007: 13-26 |
32 | | 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 |
31 | EE | 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: 261-274 |
30 | EE | Song Jiang,
Kei Davis,
Xiaodong Zhang:
Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification.
IEEE Trans. Computers 56(1): 95-108 (2007) |
2006 |
29 | EE | Kei Davis,
Jörg Striegnitz:
Parallel/High-Performance Object-Oriented Scientific Computing Today.
ECOOP Workshops 2006: 141-145 |
28 | EE | 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 |
27 | EE | 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 |
26 | EE | Eitan Frachtenberg,
Kei Davis,
Fabrizio Petrini,
Juan Fernández,
José Carlos Sancho:
Designing Parallel Operating Systems via Parallel Programming.
Euro-Par 2004: 689-696 |
25 | EE | Fabrizio Petrini,
Kei Davis,
José Carlos Sancho:
System-Level Fault-Tolerance in Large-Scale Parallel Machines with Buffered Coscheduling.
IPDPS 2004 |
24 | EE | 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 |
23 | EE | Kenneth L. Summers,
Thomas P. Caudell,
Kathryn Berkbigler,
Brian Bush,
Kei Davis,
Steve Smith:
Graph visualization for the analysis of the structure and dynamics of extreme-scale supercomputers.
Information Visualization 3(3): 209-222 (2004) |
2003 |
22 | EE | Kei Davis,
Jörg Striegnitz:
Parallel Object-Oriented Scientific Computing Today.
ECOOP Workshops 2003: 11-16 |
21 | | Kathryn 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: 38-43 |
2002 |
20 | EE | Kei Davis,
Yannis Smaragdakis,
Jörg Striegnitz:
Multiparadigm Programming with Object-Oriented Languages.
ECOOP Workshops 2002: 154-159 |
2001 |
19 | EE | Kei Davis,
Yannis Smaragdakis,
Jörg Striegnitz:
Multiparadigm Programming with OO Languages.
ECOOP Workshops 2001: 131-134 |
2000 |
18 | EE | 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 |
1999 |
17 | EE | Bernd Mohr,
Federico Bassetti,
Kei Davis,
Stefan Hüttemann,
Pascale Launay,
Dan C. Marinescu,
David J. Miller,
Ruthe L. Vandewart,
Matthias Müller,
Augustin Prodan:
Parallel / High-Performance Object-Oriented Scientific Computing.
ECOOP Workshops 1999: 222-239 |
16 | | 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 |
15 | | Federico Bassetti,
Kei Davis:
Optimizing Transformations of Stencil Operations for Parallel Cache-based Architectures.
PDPTA 1999: 1343-1356 |
1998 |
14 | EE | Kei Davis:
Indroduction to Parallel Objecty-Oriented Scientific Computing.
ECOOP Workshops 1998: 444-445 |
13 | EE | 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 |
12 | EE | Kei Davis,
Daniel J. Quinlan:
ROSE: An Optimizing Transformation System for C++ Array-Class Libraries.
ECOOP Workshops 1998: 452-453 |
11 | EE | Kei Davis,
Daniel J. Quinlan:
The Parallel Asynchronous Data Routing Environment PADRE.
ECOOP Workshops 1998: 454-455 |
10 | EE | Federico Bassetti,
Kei Davis,
Daniel J. Quinlan:
C++ Expression Templates Performance Issues in Scientific Computing.
IPPS/SPDP 1998: 635-639 |
9 | EE | 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 |
1997 |
8 | | Federico Bassetti,
Kei Davis,
Daniel J. Quinlan:
A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks.
ISCOPE 1997: 17-24 |
1995 |
7 | | Kei Davis:
PERs from Projections for Binding-Time Analysis.
Lisp and Symbolic Computation 8(3): 249-266 (1995) |
1994 |
6 | | Kei Davis:
PERs from Projections for Binding-Time Analysis.
PEPM 1994: 53-60 |
1993 |
5 | | Kei Davis:
Higher-order Binding-time Analysis.
PEPM 1993: 78-87 |
1992 |
4 | | Kei Davis:
Analysing Functions by Projection-Based Backward Abstraction.
Functional Programming 1992: 43-56 |
1991 |
3 | | Kei Davis:
A Note on the Choice of Domains for Projection-Based Program Analysis.
Functional Programming 1991: 73-81 |
1990 |
2 | | Kei Davis,
John Hughes:
Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK
Springer 1990 |
1989 |
1 | | Kei Davis,
Philip Wadler:
Backwards Strictness Analysis: Proved and Improved.
Functional Programming 1989: 12-30 |