I am interested in creating systems (programming languages, runtimes, compilers, and architectures) that make programming easy and the resulting systems correct, reliable, and efficient. My current projects focus on (a) efficient cloud systems, (b) Uncertain<T>, a programming language and system for applications that reason about estimates from sensors, approximate hardware, and machine learning, and (c) programming and optimizing heterogeneous hardware.
Kathryn S. McKinley is a Principal Research at Microsoft Research (2011-present). She was previously an Endowed Professor of Computer Science at The University of Texas at Austin. She received her BA, MS, and PhD from Rice University. Her research interests span programming language design and implementation, runtimes, architecture, performance, cloud services, and energy efficiency. She and her collaborators have produced several widely used tools: the DaCapo Java Benchmarks (31,800+ downloads), the TRIPS Compiler, the Hoard memory manager, the MMTk memory management toolkit, and the Immix garbage collector. Her research has garnered a number of best paper and test-of-time awards. She has graduated 21 PhD students. Dr. McKinley was honored to testify to the House Science Committee (Feb. 14, 2013). She served as CRA-W co-chair and ISAT member. She currently serves on the CRA and CRA-W Boards. She is an IEEE and ACM Fellow.