Kathryn S. McKinley - Kathryn S. McKinley
Kathryn S. McKinley | |
|---|---|
 Kathryn S. McKinley
| |
| Nació |
10 de enero de 1962 |
| Nacionalidad | americano |
| alma mater | Universidad de Rice |
| Conocido por | Optimizaciones de localidad y paralelismo Asignador de memoria acumulada |
| Premios |
Becario ACM (2008) Becario IEEE (2011) |
| Carrera científica | |
| Los campos | Ciencias de la Computación |
| Instituciones |
Microsoft La Universidad de Texas en Austin Universidad de Massachusetts Amherst |
| Asesor de doctorado | Ken Kennedy |
| Sitio web | www |
Kathryn S. McKinley es una científica informática estadounidense conocida por su investigación sobre compiladores , sistemas de tiempo de ejecución y arquitectura informática . También es conocida por su liderazgo en la ampliación de la participación en la informática. McKinley fue copresidente de CRA-W de 2011 a 2014.
Biografía
McKinley recibió una licenciatura en ciencias de la computación e ingeniería de la Universidad de Rice en 1985. Luego obtuvo una maestría en ciencias de la computación de la Universidad de Rice en 1990 y luego un doctorado en ciencias de la computación de la Universidad de Rice en 1992.
Se incorporó al Departamento de Ciencias de la Computación de la Universidad de Massachusetts Amherst como profesora asistente en 1993. Mientras estaba allí, fue ascendida a profesora asociada en 1999. En 2001, se trasladó a la Universidad de Texas en Austin como profesora asociada. En 2005 fue ascendida a profesora y en 2010 a profesora titular de informática. En 2011 se trasladó a Microsoft Research como investigadora principal. Actualmente es investigadora científica principal en Google .
McKinley está casado con Scotty Strahan; tienen tres hijos: Cooper, Dylan y Wyatt Strahan.
Carrera profesional
Ella y sus colegas introdujeron el primer modelo de propósito general y marco de optimización basado en dependencias y reutilización de líneas de caché para mejorar la localidad de caché de algoritmos de matriz densa mediante permutación de bucles, inversión de bucles, fusión y distribución. McKinley y su asesor, Ken Kennedy, mostraron cómo utilizar este modelo para introducir el paralelismo con la localidad y eliminar el intercambio falso. Este trabajo fue seleccionado en 2014 para el Volumen del 25º Aniversario de ICS.
McKinley, su estudiante de doctorado Emery D. Berger y sus colegas introdujeron el asignador de memoria Hoard C / C ++ , que es ampliamente utilizado por aplicaciones y en OS X de Apple. El tesoro limita la contención causada cuando varios subprocesos asignan o liberan memoria al mismo tiempo, y evita el uso compartido falso debido a la asignación de memoria. Al mismo tiempo, Hoard impone límites demostrables a la cantidad total de fragmentación .
McKinley fue un líder del grupo de investigación DaCapo, que abarcó nueve instituciones y fue financiado por NSF ITR (2000-2006). Este proyecto produjo una serie de tecnologías innovadoras de máquinas virtuales, herramientas de código abierto, evaluaciones comparativas de código abierto y nuevas metodologías para evaluar los tiempos de ejecución administrados. Los esfuerzos de evaluación comparativa y metodologías fueron dirigidos por Stephen M. Blackburn. El paquete de pruebas y las metodologías de evaluación de DaCapo Java se utilizan ampliamente en la academia y la industria para evaluar las tecnologías de análisis, optimización y prueba de Java. Blackburn, Cheng y McKinley fueron los primeros en realizar una comparación de manzanas con manzanas de algoritmos de recolección de basura que mostraron que los asignadores de lista libre renuncian a cantidades sustanciales de localidad a pesar de que requieren menos memoria en comparación con los algoritmos de copia, que asignan objetos contemporáneos de forma contigua. . Este trabajo ganó el premio SIGMETRICS 2014 Test of Time of Award.
Basándose en esta información, Blackburn y McKinley diseñaron una nueva clase de recolectores de basura, que llamaron mark-region. Su colector de región de marca Immix administra la memoria jerárquicamente utilizando bloques de tamaño fijo que constan de líneas. La asignación de objetos contiguos puede cruzar líneas, pero no bloques. La colección Immix combina el marcado de líneas y la copia de objetos en una sola pasada. Este diseño ofrece beneficios de rendimiento sustanciales debido a las huellas de pila más pequeñas y las mejoras en la localidad.
Su estudiante de doctorado Michael Bond recibió el premio ACM SIGPLAN Outstanding Doctoral Dissertation Award en 2008.
El 14 de febrero de 2013, McKinley declaró a la Casa Comité de Ciencia, Espacio y Tecnología, en el Subcomité de Investigación. Habló sobre el ecosistema de investigación informática académica, industrial y gubernamental que está impulsando la innovación y los avances económicos en casi todos los campos.
Premios
En 2008 fue nombrada miembro de la ACM .
Sus otros premios notables incluyen:
- Premio ACM SIGMETRICS Test of Time en 2014
- Premio al papel OOPSLA más influyente de 2002, otorgado en 2012. Berger, ED; Zorn, BG; McKinley, KS (noviembre de 2002). "Reconsideración de la asignación de memoria personalizada" (PDF) . Actas de la 17ª conferencia ACM SIGPLAN sobre programación, sistemas, lenguajes y aplicaciones orientados a objetos . OOPSLA '02. págs. 1-12. CiteSeerX 10.1.1.119.5298 . doi : 10.1145 / 582419.582421 . ISBN 978-1-58113-471-1. S2CID 481812 .
- Miembro del IEEE (2011)
- Premio de software de lenguajes de programación ACM SIGPLAN , para Jikes RVM (2012)
- Premio al Servicio Distinguido ACM SIGPLAN (2011)
- Científico distinguido de ACM (2006)
Referencias
enlaces externos
- Kathryn S. McKinley de la Universidad de Texas en Austin