Kei Davis
My research interests, some active and some not, include
- computer system and application performance analysis, modeling, and simulation;
- discrete event simulation;
- parallel programming;
- operating systems;
- programming language semantics, design, and implementation, and
programming paradigms and idioms;
- formal semantics-based program analysis;
- functional programming.