Kei Davis

	2009
41		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
40		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
39		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. IEEE Computer 42(11): 42-49 (2009)
	2008
38		Kei Davis, Jörg Striegnitz: Parallel/High-Performance Object-Oriented Scientific Computing: Today's Research, Tomorrow's Practice. ECOOP Workshops 2008: 104-115
37		Jörg Striegnitz, Kei Davis: Multiparadigm Programming in Object-Oriented Languages: Current Research. ECOOP Workshops 2008: 7-17
36		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
35		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
34		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 Processing Letters 18(4): 453-469 (2008)
	2007
33		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		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		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		Kei Davis, Jörg Striegnitz: Parallel/High-Performance Object-Oriented Scientific Computing Today. ECOOP Workshops 2006: 141-145
28		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		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		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		Fabrizio Petrini, Kei Davis, José Carlos Sancho: System-Level Fault-Tolerance in Large-Scale Parallel Machines with Buffered Coscheduling. IPDPS 2004
24		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		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		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		Kei Davis, Yannis Smaragdakis, Jörg Striegnitz: Multiparadigm Programming with Object-Oriented Languages. ECOOP Workshops 2002: 154-159
	2001
19		Kei Davis, Yannis Smaragdakis, Jörg Striegnitz: Multiparadigm Programming with OO Languages. ECOOP Workshops 2001: 131-134
	2000
18		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		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
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		Kei Davis: Indroduction to Parallel Objecty-Oriented Scientific Computing. ECOOP Workshops 1998: 444-445
13		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		Kei Davis, Daniel J. Quinlan: ROSE: An Optimizing Transformation System for C++ Array-Class Libraries. ECOOP Workshops 1998: 452-453
11		Kei Davis, Daniel J. Quinlan: The Parallel Asynchronous Data Routing Environment PADRE. ECOOP Workshops 1998: 454-455
10		Federico Bassetti, Kei Davis, Daniel J. Quinlan: C++ Expression Templates Performance Issues in Scientific Computing. IPPS/SPDP 1998: 635-639
9		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

Coauthor Index

1	Kevin J. Barker	[28] [32] [34] [35] [36] [39] [40]
2	Ed. Barry Jr.	[18]
3	Federico Bassetti	[8] [9] [10] [15] [16] [17]
4	Kathryn Berkbigler	[21] [23]
5	Kristi Brislawn	[13]
6	David L. Brown	[13]
7	Brian Bush	[21] [23]
8	Thomas P. Caudell	[21] [23]
9	Feng Chen	[31]
10	Xiaoning Ding	[31]
11	Eitan Frachtenberg	[26]
12	Roberto Gioiosa	[27]
13	Kevin Hammond	[18]
14	William D. Henshaw	[13]
15	Adolfy Hoisie	[24] [34] [35] [36] [39]
16	John Hughes	[2]
17	Stefan Hüttemann	[17]
18	Song Jiang	[27] [30] [31] [41]
19	Greg Johnson	[24]
20	Simon L. Peyton Jones	[18]
21	Darren J. Kerbyson	[24] [28] [32] [34] [35] [36] [39] [40]
22	Ulrike Klusik	[18]
23	Michael Lang	[24] [34] [35] [36] [39]
24	Pascale Launay	[17]
25	Hans-Wolfgang Loidl	[18]
26	Madhav V. Marathe	[16]
27	Dan C. Marinescu	[17]
28	David J. Miller	[17]
29	Bernd Mohr	[17]
30	Nicholas Moss	[21]
31	Matthias S. Müller	[17]
32	Scott Pakin	[24] [34] [35] [36] [39]
33	Juan Fernández Peinador (Juan Fernández)	[26]
34	Fabrizio Petrini	[24] [25] [26] [27]
35	Bobby Philip	[16]
36	Álvaro J. Rebón Portillo	[18]
37	Augustin Prodan	[17]
38	Daniel J. Quinlan	[8] [9] [10] [11] [12] [13] [16]
39	José Carlos Sancho	[25] [26] [27] [28] [34] [35] [36] [39]
40	Yannis Smaragdakis	[19] [20]
41	Steve Smith	[21] [23]
42	Jörg Striegnitz	[19] [20] [22] [29] [33] [37] [38]
43	Kenneth L. Summers	[21] [23]
44	Philip W. Trinder	[18]
45	Ruthe L. Vandewart	[17]
46	Philip Wadler	[1]
47	Xiaodong Zhang	[30] [31]
48	Xuechen Zhang	[41]
49	Cheng Zhou	[21]

Colors in the list of coauthors