Kei Davis

2007
32	EE	Kei Davis, Jörg Striegnitz: Multiparadigm Programming in Object-Oriented Languages: Current Research. ECOOP Workshops 2007: 13-26
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

Coauthor Index

1	Kevin J. Barker	[28]
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]
16	John Hughes	[2]
17	Stefan Hüttemann	[17]
18	Song Jiang	[27] [30] [31]
19	Greg Johnson	[24]
20	Simon L. Peyton Jones	[18]
21	Darren J. Kerbyson	[24] [28]
22	Ulrike Klusik	[18]
23	Michael Lang	[24]
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 Müller	[17]
32	Scott Pakin	[24]
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]
40	Yannis Smaragdakis	[19] [20]
41	Steve Smith	[21] [23]
42	Jörg Striegnitz	[19] [20] [22] [29] [32]
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	Cheng Zhou	[21]

Colors in the list of coauthors