Los Alamos National Laboratory

Los Alamos National Laboratory

Delivering science and technology to protect our nation and promote world stability
Find Expertise logo

Profile Pages

View homepages for scientists and researchers. Explore potential collaborations and project opportunities. Search the extensive range of capabilities by keyword to quickly find who and what you are looking for.

Marion Kei Davis

Kei Davis

Email
Phone (505) 667-1749

Expertise

My current and former research areas include 
  • Pure functional language compiler and runtime design and implementation;
  • Compiler intermediate representation design and implementation;
  • LLVM hackery and code generation;
  • Hardware-software co-design;
  • computer system and application performance analysis, modeling, simulation, and optimization;
  • parallel discrete event simulation;
  • parallel programming;
  • operating systems;
  • programming language semantics, design, and implementationn;
  • programming models, paradigms, and idioms;
  • formal semantics-based program analysis;
  • functional programming.

Education

  • Ph.D. Computing Science, University of Glasgow, 1994.
  • M.Sc. Computation, University of Oxford, 1988.
  • Final Honour School of Mathematics and Philosophy, University of Oxford, 1986.
  • B.S. Mathematics, New Mexico State University, 1985.
  • B.S. Computer Science, New Mexico State University, 1985.
  • Minor, Chemistry, New Mexico State University, 1985.

 

 

LANL Positions

  • Scientist, CCS-7
  • Team Leader, CCS-3
  • TSM, CCS-3
  • TSM, CIC-19
  • Postdoc, CNLS/CIC-19
 

Awards

LANL

  • 2012, LANL SPOT award for "outstanding leadership as Chair of FY13 LDRD Exploratory Research Computational Co-Design Category Team."
  • 2011, NNSA 2010 Defense Programs Award of Excellence for Significant Contributions to the Stockpile Stewardship Program Successful Deployment of Cielo Petascale Supercomputer.
  • 2011, LAAP Achievement Award recipient, for "ASC CSSE L2 Milestone Application Enablement on Next Generation Platforms."
  • 2010, LAAP Achievement Award recipient, for "Distinguished Service as Chairperson of LDRD Exploratory Research Category Teams."
  • 2009, NNSA 2007 Defense Programs Award of Excellence for Significant Contributions to the Stockpile Stewardship Program.
  • 2009, LAAP Achievement Award recipient for contributions as a member of the Computer, Computational, and Statistical Sciences (CCS) division's Workers Safety and Security Team (7/07-4/09).
  • 2009, Certificate of appreciation for >100 hours volunteer community service (in 2008).
  • 2009, Certificate of recognition for "valuable contributions to the Roadrunner Project at Los Alamos National Laboratory."
  • 2009, LANL SPOT award for distinguished service as chair of the Directorate for Theory, Simulation, and Computing's Workers Safety and Security Team (7/07-4/09).
  • 2008 (for 2007), Distinguished Performance Award for the "Roadrunner System Integration and Technical Assessment."
  • 2008, LAAP Achievement Award recipient, for distinguished service on the Directorate for Theory, Simulation, and Computing's Workers Safety and Security Team (7/07-4/09).
  • 2008, Certificate of Appreciation for for service on LANL Postdoc Committee, 2004-2008, as representative for CCS, HPC, CTN, and STB-RL (standard appointment extended by request of the Postdoc Programs Office).
  • 2006, work done as PI on LDRD ER 20040480 Self-healing High-Performance Parallel Computers cited as "success story" to NNSA by LDRD office.
  • 2006, Los Alamos Awards Program (LAAP) recipient, for work with the Performance and Architecture Lab, CCS-3.
  • 2003, Certificate of Appreciation for distinguished service on the Science and Engineering Advisory Council (1/02-12/03)

ACADEMIC

  • Overseas Research Students ORS Award, Committee of Vice Chancellors and Principals of the Universities of the United Kingdom, 1988, renewed 1989, 1990.
  • Snell-Newlands Research Scholarship, Senate Office, University of Glasgow, 1988, renewed 1989, 1990.
  • University Postgraduate Scholarship, Faculty of Science, University of Glasgow, 1988 (declined).
  • Two Year Fellowship to Jesus College, Oxford University, 1985.
  • NMSU Class of 1919 Scholarship Award for Highest Individual Academic Honors in 1985 graduating class.
  • NMSU Department of Mathematical Sciences Award for Outstanding Achievement in Undergraduate Mathematics, 1985.
  • Glenn R. Hamiel Award for analytical chemistry, NMSU, 1980.
  • Runner-up Outstanding Sophomore Chemistry Major, NMSU, 1980.
  • Physical Science Laboratory Award for Outstanding Freshman in the College of Arts and Sciences, NMSU, 1979.
  • Runner-up Outstanding Freshman Chemistry Major, NMSU, 1979.
  • Crimson Scholar, NMSU, every semester from Autumn 1979 to Spring 1985.
  • Dean's Honor List in the College of Arts and Sciences, NMSU, every semester as full-time student.
  • Physical Science Laboratory Four Year Academic Tuition Scholarship, Mathematics Faculty, NMSU, 1978 (declined).
  • Physical Science Laboratory Four Year Academic Tuition Scholarship, Chemistry Faculty, NMSU, 1978 (declined).
  • NMSU Four Year Academic Tuition Scholarship, 1978.
 
 

Publications

  • Pat McCormick, Kei Davis, Dean Pritchard, Nick Moss. Leveraging a Common Intermediate Representation for Programming Emerging Architectures. In 2013 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2013), Denver, CO, November 2013. (DOE/NNSA booth poster) 

  • Song Jiang, Xiaoning Ding, Yuehai Xu, Kei Davis. A Prefetching Scheme Exploiting both Data Layout and Access History on Disk. In ACM Transactions on Storage, 9 (3): October 2013. LANL LA-UR 13-22044 ACM Digital Library 

  • Xuechen Zhang, Jianqiang Ou, Kei Davis, Song Jiang. Orthrus: A Framework for Implementing High-performance Collective I/O in Multicore Clusters. In International ACM Symposium on High Performance Parallel and Distributed Computing (HPDC'13), New York, NY, June 2013. LANL LA-UR 12-25290 (research poster/short paper) 

  • Xuechen Zhang, Ke Liu, Kei Davis, Song Jiang. iBridge: Improving Unaligned Parallel File Access with Solid-State Drives. In Proceedings of the IEEE Int. Parallel and Distributed Processing Symposium (IPDPS), Boston, MA, May 2013. LANL LA-UR 12-21214 

  • Ke Liu, Xuechen Zhang, Kei Davis, Song Jiang. Synergistic Coupling of SSD and Hard Disk for QoS-aware Virtual Memory. In Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2013), Austin, TX, April 2013. LANL LA-UR 12-25289 (best paper finalist) 

  • Kei Davis et al. Making Memory Swapping Practicable: Synergistic Coupling of SSD and Hard Disk for QoS-aware Virtual Memory. In ADTSC Science Highlights, Los Alamos, March 2013. LANL LA-UR 12-20429 

  • Kei Davis et al. iBridge: Improving Unaligned Parallel File Access with Solid-State Drives. In ADTSC Science Highlights, Los Alamos, March 2013. LANL LA-UR 12-20429 

  • Kei Davis et al. Improving Disk Performance: A Prefetching Scheme Exploiting Data Layout and Access Locality. In ADTSC Science Highlights, Los Alamos, March 2013. LANL LA-UR 12-20429 

  • R.W Robey, D. Nicholaeff, R.N. Robey, P. McCormick, K. Davis, A. McLaughlin, S. Pakin, D. Montoya. Algorithms for Optimizing the Eulerian Applications Code Base for Future Computational Architectures. In Proceedings of the 2012 Nuclear Explosive Code Development Conference, Lawrence Livermore National Laboratory, February 2013. LANL LA-UR 13-20169 

  • Kei Davis. Optimization Principles for Computational Co-design with Applications to Molecular Dynamics. In LANL LDRD Day 2012, Pojoaque, NM, October 2012. LANL LA-UR LA-UR-12-25116 (poster) 

  • R.W Robey, P. McCormick, D. Nicholaeff, R.N. Robey, K. Davis, A. McLaughlin, S. Pakin, D. Montoya. Algorithms for Future Computational Architectures. In 2012 Nuclear Explosive Code Development Conference, Lawrence Livermore National Laboratory, October 2012. (poster) 

  • Ke Liu, Song Jiang, Kei Davis. Hard Disk/Solid-State Drive Synergy for Data-Intensive Computing. In LANL Student Symposium 2012, August 2012. LANL LA-UR 12-23164 (presentation and poster, DOI:10.2172/1047078) 

  • Song Jiang, Kei Davis. Tackling Unaligned I/O to Support Data-Intensive Exascale Computing. DOE Office of Science/NNSA Operating Systems and Runtime Software (OS/R) for Exascale technical report. LA-UR 12-23463, July 2012. Position paper for DOE X-Stack OS/R 

  • Kei Davis et al. Optimization Principles for Hardware/Software Co-Design with Applications in Molecular Dynamics. In ADTSC Science Highlights, Los Alamos, May 2012. LANL LA-UR 12-20429 

  • Yizhe Wang, Kei Davis, Yuehai Xu, Song Jiang. iHarmonizer: Improving the Disk Efficiency of I/O-intensive Multithreaded Codes. In Proceedings of the IEEE Int. Parallel and Distributed Processing Symposium (IPDPS), Shanghai, China, May 2012.

  • Xuechen Zhang, Kei Davis, Song Jiang. iTransformer: Using SSD to Improve Disk Scheduling for High-performance I/O. In Proceedings of the IEEE Int. Parallel and Distributed Processing Symposium (IPDPS), Shanghai, China, May 2012. LANL LA-UR 11-11688 

  • Kei Davis, Song Jiang, Xuechen Zhang. Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services. In ADTSC Science Highlights, Los Alamos, May 2012. LANL LA-UR 12-20429 

  • Kei Davis, Song Jiang, Xuechen Zhang. iTransformer: Using SSD to Improve Disk Scheduling for High-Performance I/O. In ADTSC Science Highlights, Los Alamos, May 2012. LANL LA-UR 12-20429 

  • Xuechen Zhang, Kei Davis, Song Jiang. Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services. In Proceedings of the IEEE Int. Parallel and Distributed Processing Symposium (IPDPS), Shanghai, China, May 2012. 

  • Stephan Eidenbenz, Kei Davis, Art Voter, Hristo Djidjev, Gurvits, Leonid, Christoph Junghans, Susan Mniszewski, Danny Perez, Santhi, Nandakishore, Sunil Thulasidasan. Optimization Principles for Codesign applied to Molecular Dynamics: Design Space Exploration, Performance Prediction, and Optimization Strategies. In Proceedings of the DOE ASCR Exascale Research Conference, Portland, OR, April 2012. LANL LA-UR 12-20070 

  • Ryan Braithwaite, Wuchen Feng, Kei Davis, Patrick McCormick. Modeling Data-Access Bandwidth in NUMA Architectures. technical report. LA-UR 12-10226, January 2012. 

  • Kei Davis.  Optimization Principles for Hardware/Software Co-design with Applications in Molecular Dynamics. technical report. LA-UR 11-06271, November 2011. 

  • Xuechen Zhang, Kei Davis, Song Jiang. QoS Support for End Users of I/O-intensive Applications using Shared Storage Systems. In Proceedings of the 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2011), Seattle, WA, November 2011. 

  • Kei Davis. Parallel/High-Performance Object-Oriented Scientific Computing 2010. In Proceedings of the 9th Workshop Parallel/High-Performance Object-Oriented Scientific Computing (POOSC 2010), 2011. ACM Digital Library 

  • Song Jiang, Xuechen Zhang, Shuang Liang, Kei Davis. Improving Networked File System Performance Using a Locality-Aware Cooperative Cache Protocol. In IEEE Transactions on Computers, 59 (11): November 2010. 

  • Yizhe Wang, Kei Davis, Song Jiang. iHarmonizer: Improving Disk Efficiency of I/O-intensive Multithreaded Codes. In 2010 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2010), New Orleans, LA, November 2010. research poster 

  • Xuechen Zhang, Kei Davis, Song Jiang. IOrchestrator: Improving the performance of Multi-node I/O Systems via Inter-server Coordination. In Proceedings of the 2010 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2010), New Orleans, LA, November 2010. 

  • Darren Kerbyson, Scott Pakin, Michael Lang, Sancho, Jose, Kei Davis, Kevin Barker, Joshua Peraza. Experiences from the Roadrunner Petascale Hybrid System. In Proceedings of the SIAM Conference on Parallel Processing for Scientific Computing, February 2010. Presentation only. 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Darren Kerbyson, Michael Lang, Scott Pakin, Jose Carlos Sancho. Comparing Current Capacity, Capability, and Accelerated Systems. LANL technical report. LA-UR 10-00341, 2010. 

  • Kei Davis, Kevin Barker, Darren J. Kerbyson. Performance Prediction via Modeling: A Case Study of the ORNL Cray XT4 Upgrade. In Parallel Processing Letters, 19 (4): December 2009. PPL link 

  • Kei Davis, Joerg Striegnitz. Parallel/High Performance Object-Oriented Scientific Computing 2008. In International Journal of Parallel, Emergent and Distributed Systems, London, U.K., 24 (6): November 2009. DOI: 10.1080/17445760902758529 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Darren Kerbyson, Michael Lang, Scott Pakin, Jose Carlos Sancho. Using Performance Modeling to Design Large-scale Systems. In IEEE Computer , 42 (11): November 2009. 

  • Kei Davis. A Performance Analysis and Comparison of Roadrunner, Blue Gene/P, and an AMD Barcelona/Infiniband Cluster. In Proceedings of the Los Alamos Computer Science Symposium, October 2009. Presentation only. 

  • Darren Kerbyson, Kevin Barker, Kei Davis, Adolfy Hoisie, Michael Lang, Scott Pakin, Jose Carlos Sancho. Performance Analysis and Modeling: from Giga- to Peta-Scale. In Proceedings of the 5th Erlangen International High-End-Computing Symposium, Erlangen, Germany, June 2009. LANL LA-UR 09-03971 Presentation only. 

  • Kevin Barker, Kei Davis, Darren J. Kerbyson. Performance Modeling in Action: Performance Prediction of a Cray XT4 System during Upgrade. In Proceedings of the Workshop on Large-Scale Parallel Processing (LSPP), IEEE/ACM Int. Parallel and Distributed Processing Symposium (IPDPS), Rome, Italy, May 2009. 

  • Xuechen Zhang, Song Jiang, Kei Davis. Making Resonance a Common Case: A High-Performance Implementation of Collective I/O on Parallel File Systems. In Proceedings of the IEEE/ACM Int. Parallel and Distributed Processing Symposium (IPDPS), Rome, Italy, May 2009. 

  • Kei Davis. Parallel/High-Performance Object-Oriented Scientific Computing: A Cross Section of Current Research as Presented at the 2009 Workshop. In Proceedings of the POOSC'09: Proceedings of the 8th workshop on Parallel/High-Performance Object-Oriented Scientific Computing, Genoa, Italy, 2009. ACM Digital Library 

  • Joerg Striegnitz, Kei Davis. Multiparadigm Programming in Object-Oriented Languages: Current Research. In Patrick Eugster (eds.): Object-Oriented Technology, Lecture Notes in Computer Science, Subseries Programming and Software Engineering, LNCS 5475 104-115, 2009. Springer link Amazon link 

  • Kei Davis, Joerg Striegnitz. Parallel/High-Performance Object-Oriented Scientific Computing: Today's Research, Tomorrow's Practice. In Patrick Eugster (eds.): Object-Oriented Technology, Lecture Notes in Computer Science, Subseries Programming and Software Engineering, 5475 104-115, 2009. Springer link Amazon link 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Kerbyson, Darren J., Mike Lang, Scott Pakin, Jose C. Sancho. A Performance Evaluation of the Nehalem Quad-core Processor for Scientific Computing. In Parallel Processing Letters, 18 (4): December 2008. 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Darren Kerbyson, Michael Lang, Scott Pakin, Jose Carlos Sancho. Entering the Petaflop Era: The Architecture and Performance of Roadrunner. In Proceedings of the 2008 IEEE/ACM International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2008), Austin, TX, November 2008. 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Darren Kerbyson, Michael Lang, Scott Pakin, Jose Carlos Sancho. PAL Roadrunner Report 7: Pre-delivery Performance Testing of Roadrunner (17 CUs). technical report, August 2008. LANL LA-CP 08-01083. The six PAL Roadrunner reports preceding this are not listed. 

  • Kevin J. Barker, M. Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Mike Lang, Scott Pakin, Jose C. Sancho. Performance of Roadrunner under a Realistic Application Workload. In ADTSC Science Highlights, Los Alamos, May 2008. LANL LA-UR 08-1690 USGPO 2008-760-355-21175 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Mike Lang, Scott Pakin, Jose C. Sancho. An Early Performance Evaluation of the Intel Nehalem Processor. technical report, May 2008. 

  • Kevin Barker, Kei Davis, Darren J. Kerbyson, Lang, Mike, Scott Pakin, Jose C. Sancho. An Early Performance Evaluation of the SiCortex SC648. In Proceedings of the Workshop on Unique Chips and Systems (UCAS4), IEEE Int. Symposium on Performance Analysis of Systems and Software (ISPASS), Austin, TX, April 2008. 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Kerbyson, Darren J., Mike Lang, Scott Pakin, Jose C. Sancho. Experiences in Scaling Scientific Applications on Current-generation Quad-core Processors. In Proceedings of the Workshop on Large-Scale Parallel Processing (LSPP), IEEE/ACM Int. Parallel and Distributed Processing Symposium (IPDPS), Miami, FL, April 2008. 

  • Kei Davis, Joerg Striegnitz. Multiparadigm Programming in Object-Oriented Languages: Current Research. In Michael Cebulla (eds.): Object-Oriented Technology, ECOOP 2007 Workshop Reader, LNCS 4906 13--26, April 2008.

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Mike Lang, Scott Pakin, Jose C. Sancho. PAL Roadrunner Report 6: A First Look at the Performance of One Roadrunner CU. technical report, April 2008. 

  • Kevin Barker, Kei Davis, Darren Kerbyson, Mike Lang. Advanced HPC Networks: Performance Analysis Activities at LANL. In 2008 CCS Division Review, 2008. LANL LA-UR 08-1998 poster 

  • Kevin Barker, Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Mike Lang, Scott Pakin, Jose C. Sancho. PAL Roadrunner Report 5: A Note on Application Performance of the eDP version of the Cell. technical report, October 2007. 

  • Xiaoning Ding, Song Jiang, Kei Davis, Feng Chen, Xiaodong Zhang. DiskSeen: A Prefetch Policy Based on Disk Layout and Access History. In Proceedings of the USENIX Annual Technical Conference, Santa Clara, CA, June 2007.

  • Song Jiang, Kei Davis, Xiaodong Zhang. Coordinated Multi-Level Buffer Cache Management with Consistent Access Locality Quantification. In IEEE Transactions on Computers, 56 (1): 95-108, January 2007. 

  • Darren J. Kerbyson, Kevin J. Barker, Kei Davis. Analysis of the Weather Research and Forcasting (WRF) Model on Large-scale Systems. In Christian Bischof, Martin Bucker, Paul and Joubert Gibbon, Thomas Lippert, Bernd Mohr, Frans Peters (eds.): Parallel Computing: Architectures, Algorithms and Applications, Juelich Supercomputing Center, Advances in Parallel Computing Vol. 15 89--98, 2007. 

  • Kei Davis, Joerg Striegnitz. Parallel/High-Peformance Object-Oriented Scientific Computing Today. In M. Sudholt, C. Consel (eds.): Object-Oriented Technology, LNCS 4379, 2007. 

  • Jose Carlos Sancho, Kevin Barker, Darren Kerbyson, Kei Davis. Quantifying the Potential Benefit of Overlapping Communication and Computation in Large-Scale Scientific Applications. In Proceedings of the IEEE/ACM International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2006), Tampa, FL, November 2006. LANL LA-UR 06-3109 

  • Song Jiang, Kei Davis, Fabrizio Petrini, Xiaoning Ding, Xiaodong Zhang. A Locality-Aware Cooperative Cache Management Protocol to Improve Network File System Performance. In Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS 2006), Lisboa, Portugal, July 2006. 

  • Kei Davis. Self-Healing High-Performance Parallel Computers. LANL Laboratory Directed Research and Development, Annual Report 2005 technical report, April 2006.

  • Roberto Gioiosa, Jose Carlos Sancho, Song Jiang, Fabrizio Petrini, Kei Davis. Transparent, Incremental Checkpointing at Kernel Level: A Foundation for Fault Tolerance for Parallel Computers. In Proceedings of the 2005 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2005), Seattle, WA, November 2005. 

  • Joerg Striegnitz, Kei Davis (eds.): Multiparadigm Programming 2003, John von Neumann Institute for Computing, Central Institute for Applied Mathematics, NIC series no. 27, ISBN 3-00-016005-1, Juelich, Germany, July 2005. NIC link 

  • Jose Carlos Sancho, Fabrizio Petrini, Kei Davis, Roberto Gioiosa, Song Jiang. Current Practice and a Direction Forward in Checkpoint/Restart Implementations for Fault Tolerance. In Proceedings of the Workshop on System Management Tools for Large-Scale Parallel Systems, International Parallel and Distributed Processing Symposium (IPDPS 2005), Denver, CO, April 2005. 

  • Roberto Gioiosa, Fabrizio Petrini, Kei Davis, Fabien Lebaillif-Delamare. Analysis of System Overhead on Parallel Computers. In Proceedings of the The 4th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2004), Rome, Italy, December 2004. 

  • Kei Davis, Adolfy Hoisie, Greg Johnson, Darren J. Kerbyson, Mike Lang, Scott Pakin, Fabrizio Petrini. A Performance and Scalability Analysis of the BlueGene/L Architecture. In Proceedings of the 2004 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2004), Pittsburgh, PA, November 2004. 

  • Kei Davis, Fabrizio Petrini. FastOS: Scalable Fault Tolerance. In FastOS BOF, 2004 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2004), Pittsburgh, PA, November 2004. (presentation only) 

  • Juan Fernandez, Eitan Frachtenberg, Fabrizio Petrini, Kei Davis, Jose Carlos Sancho. Architectural Support for System Software on Large-Scale Clusters. In Proceedings of the International Conference on Parallel Processing 2004 (ICPP2004), Montreal, Quebec, Canada, August 2004. LANL LA-UR 04-3795 

  • Eitan Frachtenberg, Kei Davis, Fabrizio Petrini, Juan Fernandez, Jose Carlos Sancho. Designing Parallel Operating Systems via Parallel Programming. In Proceedings of the European Conference on Parallel Computing (Euro-Par 2004), Pisa, Italy, August 2004. LANL LA-UR 04-3796 

  • Kei Davis, Fabrizio Petrini. Achieving Usability and Efficiency in Large-Scale Parallel Computing Systems. In European Conference on Parallel Computing (Euro-Par 2004), Pisa, Italy, August 2004. 

  • Fabrizio Petrini, Kei Davis, Jose Carlos Sancho. System-Level Fault-Tolerance in Large-Scale Parallel Machines with Buffered Coscheduling. In Proceedings of the 9th IEEE Workshop on Fault-Tolerant Parallel, Distributed and Network-Centric Systems (FTPDS 04), Santa Fe, NM, April 2004. 

  • 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. In Journal of Information Visualization, 2004. (Revised and expanded SoftVis'03 conference paper) 

  • Kathryn Berkbigler, Brian Bush, Kei Davis, Adolfy Hoisie, Steve Smith, Cheng Zhou, Kenneth L. Summers, Thomas P. Caudell. Graph Visualization for the Analysis of the Structure and Dynamics of Extreme-Scale Supercomputers. In Proceedings of the ACM Symposium on Software Visualization (SoftVis'03), San Diego, CA, June 2003. Update of LANL LA-UR-02-1929 

  • Kathryn Berkbigler, Graham Booker, Brian Bush, Kei Davis, Nicholas Moss. Simulating the Quadrics Interconnection Network. In Proceedings of the High Performance Computing Symposium, Advanced Simulation Technologies Conference, Orlando, FL, March 2003. 

  • Kathryn Berkbigler, Brian Bush, Kei Davis, Nicholas Moss, Steve Smith. A la carte: A Simulation Framework for Extreme-Scale Hardware Architectures. In Proceedings of the IASTED International Conference on Modeling and Simulation, Palm Springs, CA, February 2003. LANL LA-UR 02-6987 

  • Kathryn P. Berkbigler, Brian W. Bush, Kei Davis. An Approach to Extreme-Scale Simulation of Novel Architectures. In Proceedings of the Conference on Systemics, Cybernetics, and Informatics (SCI'02), Orlando, FL, July 2002. 

  • Kei Davis, Yannis Smaragdakis, Joerg Striegnitz (eds.): Multiparadigm Programming with Object-Oriented Languages MPOOL 2002 Proceedings, John von Neumann Institute for Computing, Central Institute for Applied Mathematics, NIC series no. 13, ISBN 3-00-009099-1, Juelich, Germany, June 2002. NIC link 

  • Kei Davis, Yannis Smaragdakis, Joerg Striegnitz. Multiparadigm Programming with OO Languages. In Akos Frohner (eds.): ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology, LNCS 2323, 2002. 

  • Kathryn Berkbigler, Brian Bush, Kei Davis. Extreme-Scale Architecture Simulation. In 2001 International Conference for High Performance Computing, Networking, Storage and Analysis (Supercomputing 2001), Denver, CO, November 2001. 

  • Philip Trinder, Hans-Wolfgang Loidl, Ed Barry, Kei Davis, Kevin Hammond, Ulrike Klusik. The Multi-Architecture Performance of the Parallel Functional Language GPH. In Proceedings of the European Conference on Parallel Computing (Euro-Par 2000), Munich, Germany, August 2000. 

  • Federico Bassetti, Kei Davis, Madhav Marathe. Improving Cache Untilization of Linear Relaxation Methods: Theory and Practice. In Proceedings of the Third International Symposium on Computing in Object-oriented Parallel Environments (ISCOPE'99), San Francisco, CA, December 1999. 

  • Federico Bassetti, Kei Davis, Dan Quinlan. Loop Transformations for Performance and Message Latency Hiding in Parallel Object-Oriented Frameworks. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, NV, June 1999. LANL LA-UR 98-1019 

  • Philip Trinder, Ed Barry, Kei Davis, Kevin and Junaidu Hammond, Ulrike Klusic. GpH: An Architecture-independent Functional Language. In IEEE Transactions on Software Engineering, 1999. 

  • Proceedings of the Workshop on Parallel/High-Performance Object-Oriented Scientific Computing (POOSC'99). F. Bassetti, K. Davis, and B. Mohr (Eds.) Forschungszentrum Jülich Gmbh, Zentralinstitut für Angewandte Mathematik, FZJ-ZAM-IB-9906, June 1999.

  • Loop Transformations for Performance and Message Latency Hiding in Parallel Object-Oriented Frameworks. F. Bassetti, K. Davis, and D. Quinlan. 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 1999.

  • TecScript: A Scripting Language Design for Large-scale Object-oriented Component-based Application Frameworks. Kei Davis. Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, FL, USA, July 31--Aug 4, 1999.

  • ROSE II: An Optimizing Code Transformer for C++ Object-Oriented Array Class Libraries. Kei Davis and Dan Quinlan. Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, FL, USA, July 31--Aug 4, 1999.

  • Exploiting Temporal Locality in Stencil Based Applications. Kei Davis and Federico Bassetti. Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, FL, USA, July 31--Aug 4, 1999.

  • A Study on the Impact of Memory Hierarchy on Stencil Operations for Modern Architectures. F. Bassetti, K. Davis, O. Lubeck, F. Petrini. Workshop on Scalable Shared Memory Multiprocessors, International Symposium on Computer Architecture (ISCA'99), Apr 30--May 4, 1999, Atlanta, GA.

  • Optimization and Performance of Object-Oriented Frameworks. F. Bassetti, K. Davis, and D. Quinlan. SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing, IBM TJ Watson Research Center, Yorktown Heights, NY, October 21-23, 1998.

  • Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures F. Bassetti, K. Davis, and D. Quinlan. International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98), D. Caromel et al., eds. LNCS 1505, Springer-Verlag, 1998.

  • Temporal Locality Optimizations for Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures. F. Bassetti, K. Davis, and D. Quinlan. International Conference on Parallel and Distributed Computing and Systems (PDCS '98), 1998.

  • OVERTURE: An Object-Oriented Framework for High Performance Scientific Computing. F. Bassetti, D. Brown, K. Davis, W. Henshaw, and D. Quinlan. High Performance Networking and Computing (SC'98), Orlando, FL, November 1998.

  • Introduction to Parallel Object-Oriented Scientific Computing. K. Davis. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

  • The Parallel Asynchronous Data Routing Environment PADRE. K. Davis and D. Quinlan. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

  • ROSE: An Optimizing Code Transformer for C++ Object-Oriented Array Class Libraries. K. Davis and D. Quinlan. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

  • ``OVERTURE: Object-Oriented Parallel Adaptive Mesh Refinement for Serial and Parallel Environments. D.L. Brown, K. Davis, W.D. Henshaw, D.J. Quinlan, K. Brislawn. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

  • Loop Transformations for Performance and Message Latency Hiding in Parallel Object-Oriented Frameworks. F. Bassetti, K. Davis, and D. Quinlan. 1998 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98).

  • Improving Scalability with Loop Transformations and Message Aggregation in Parallel Object-Oriented Frameworks for Scientific Computing. F. Bassetti, K. Davis, and D. Quinlan. Fourth USENIX Conference on Object-Oriented Technologies and Systems (COOTS'98), April 1998, Santa Fe, NM.

  • C++ Expression Templates Performance Issues in Scientific Computing. F. Bassetti, K. Davis, and D. Quinlan. 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98).

  • Toward FORTRAN 77 Performance from Object-Oriented C++ Scientific Frameworks. Federico Bassetti, Kei Davis, and Dan Quinlan. High Performance Computing '98--Grand Challenges in Computer Simulation.

  • C++ Expression Templates Performance Issues in Scientific Computing. Federico Bassetti, Kei Davis, and Dan Quinlan. 11/97. Technical report CRPC-TR97705-S, Center for Research on Parallel Computation (CRPC) at Rice University.

  • A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks. Federico Bassetti, Kei Davis, and Dan Quinlan. International Scientific Computing in Object-Oriented Parallel Environments Conference (ISCOPE 97) (ISCOPE'97), W. Ishikawa et al., eds. LNCS 1343, Springer-Verlag, 1997.

  • MPP Parallel Haskell. K. Davis. Draft Proceedings Implementation of Functional Languages 1996 (IFL '96) LNCS 1268, pp49-54, Bonn/Bad-Godesberg, Germany, LNCS 1268, Springer-Verlag.

  • HEAT on the DEC AlphaServer 8400. K. Davis. Technical brief for the Web, LA-UR-96-4800, Los Alamos National Laboratory, Los Alamos, NM 87545.

  • PERs from Projections for Binding-time Analysis. K. Davis. Journal of Lisp and Symbolic Computation (LASC), Vol. 8, No. 3, Kluwer, October 1995 (revised and expanded form of the PEPM '94 paper).

  • PERs from Projections for Binding-time Analysis. K. Davis. Proceedings of the 1994 ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94).

  • Projection-based Termination Analysis. K. Davis. Functional Programming: Proceedings of the 1993 Glasgow Workshop, 5-7 July 1993, Ayr, Scotland. Springer Workshops in Computing, Springer-Verlag, 1994. (gfp93.ps--145K)

  • Higher-order Binding-time Analysis. K. Davis. Proceedings of the 1993 ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93).

  • Analysing Functions by Projection-based Backward Abstraction. K. Davis. Functional Programming: Proceedings of the 1992 Glasgow Workshop, 6-8 July 1992, Ayr, Scotland. Springer Workshops in Computing, Springer-Verlag, 1993.

  • A Note on the Choice of Domains for Projection-Based Program Analysis. K. Davis. Functional Programming: Proceedings of the 1991 Glasgow Workshop, 13-15 August 1991, Isle of Skye, Scotland. P.Wadler et al., eds. Springer Workshops in Computing, Springer-Verlag, 1992.

  • Strictness Analysis in 4D. K. Davis. Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland. Simon L. Peyton Jones et al., eds. Springer Workshops in Computing, Springer-Verlag, 1991.

  • Strictness Analysis: Proved and Improved. K. Davis and P. Wadler. Functional Programming, Glasgow 1989: Proceedings of the 1989 Glasgow Workshop on Functional Programming, 21-23 August 1989, Fraserburgh, Scotland. K. Davis and J. Hughes, eds. Springer Workshops in Computing, Springer-Verlag, 1990.