Kei Davis
Research Scientist
Programming Models Team, Applied Computer Science Group CCS-7
Computer, Computational, and Statistical Sciences Division
Los Alamos National Laboratory
MS B285
Los Alamos, NM 87545
Tel.:
+1 (505) 667-1749
@
Email:
kei
lanl.gov
My research interests, some active and some not, include
programming language semantics, design, and implementation; programming models, paradigms, and idioms; runtime systems;
functional programming;
LLVM hackery;
hardware-software co-design;
computer system and application performance analysis, modeling, simulation, and optimization;
discrete event simulation;
parallel programming;
operating systems;
formal semantics-based program analysis.
Publications (1999-present)
Theses, publications (old, to 1999)
Service and awards at LANL, students and postdocs, external service, and other miscellaneous information
Work at LANL
(old)
Before LANL