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.
Kathryn S. McKinley | |
---|---|
Nació | |
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 | |
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 |
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 sénior en Google . [1]
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. [2] McKinley y su asesor, Ken Kennedy, mostraron cómo utilizar este modelo para introducir el paralelismo con la localidad y eliminar el intercambio falso. [3] 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 presentaron 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 . [4]
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. [5] Blackburn, Cheng y McKinley fueron los primeros en realizar una comparación de manzanas con manzanas de los 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 contiguos. [6] [7] Este trabajo ganó el premio SIGMETRICS 2014 Test of Time of Award. [8]
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. [9]
Su estudiante de doctorado Michael Bond recibió el premio ACM SIGPLAN Outstanding Doctoral Dissertation Award en 2008. [10]
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. [11]
Premios
En 2008 fue nombrada miembro de la ACM . [12]
Sus otros premios notables incluyen:
- Premio ACM SIGMETRICS Test of Time en 2014 [8]
- Premio al papel más influyente de OOPSLA de 2002, otorgado en 2012. [13] 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 . págs. 1-12. CiteSeerX 10.1.1.119.5298 . doi : 10.1145 / 582419.582421 . ISBN 978-1-58113-471-1. S2CID 481812 . Parámetro desconocido
|conference=
ignorado ( ayuda ) - Miembro del IEEE (2011) [14]
- Premio de software de lenguajes de programación ACM SIGPLAN , para Jikes RVM (2012) [15]
- Premio al Servicio Distinguido ACM SIGPLAN (2011) [16]
- Científico distinguido de ACM (2006) [17]
Referencias
- ^ http://www.cs.utexas.edu/~mckinley/
- ^ KS McKinley; S. Carr; C. Tseng (1996). "Mejora de la localidad de datos con transformaciones de bucle". Transacciones ACM sobre lenguajes y sistemas de programación . 18 (4): 424–453. CiteSeerX 10.1.1.47.1703 . doi : 10.1145 / 233561.233564 . S2CID 409053 .
- ^ K. Kennedy; KS McKinley (1992). "Optimización para paralelismo y localidad de datos". Conferencia internacional de ACM sobre supercomputación : 323–334. doi : 10.1145 / 143369.143427 . ISBN 978-0897914857. S2CID 7241914 .
- ^ ED Berger; KS McKinley; RD Blumofe; PR Wilson (2000). "Hoard: un asignador de memoria escalable para aplicaciones multiproceso". ASPLOS IX Actas de la Novena Conferencia Internacional sobre Soporte Arquitectónico para Lenguajes de Programación y Sistemas Operativos . 28 (5): 117-128. doi : 10.1145 / 378995.379232 .
- ^ SM Blackburn; R. Garner; C. Hoffman; AM Khan; KS McKinley; R. Bentzur A. Diwan; D. Feinberg; D. Frampton; SZ Guyer; M. Hirzel; A. Hosking; M. Jump; H. Lee; JEB Moss; A. Phansalkar; D. Stefanovic; T. VanDrunen; D. von Dincklage; B. Wiedermann (2006). "Los puntos de referencia de DaCapo: desarrollo y análisis de evaluación comparativa de Java". Actas de la 21ª Conferencia anual ACM SIGPLAN sobre sistemas de programación orientados a objetos, lenguajes y aplicaciones : 169-190. doi : 10.1145 / 1167473.1167488 . hdl : 1885/33723 . ISBN 978-1595933485. S2CID 9255051 .
- ^ SM Blackburn; P. Cheng; KS McKinley (2004). "Mitos y realidades: el impacto en el rendimiento de la recolección de basura". SIGMETRICS '04 / Performance '04 Actas de la Conferencia internacional conjunta sobre medición y modelado de sistemas informáticos : 25–36. doi : 10.1145 / 1005686.1005693 . ISBN 978-1581138733. S2CID 7988297 .
- ^ SM Blackburn; P. Cheng; KS McKinley (2004). "¿Aceite y agua? Recolección de basura de alto rendimiento en Java con MMTk". ICSE '04 Actas de la 26ª Conferencia Internacional sobre Ingeniería de Software : 137–146. doi : 10.1109 / ICSE.2004.1317436 . ISBN 978-0-7695-2163-3. S2CID 6394407 .
- ^ a b ACM SIGMETRICS (1 de julio de 2014). "Premios SIGMETRICS" . SIGMETRÍA . Consultado el 1 de julio de 2014 .
- ^ SM Blackburn; KS McKinley (2008). "Immix: un recolector de basura de región de marca con eficiencia de espacio, recolección rápida y rendimiento de mutador" . PLDI '08 Actas de la Conferencia ACM SIGPLAN de 2008 sobre diseño e implementación de lenguajes de programación : 22–32. doi : 10.1145 / 1375581.1375586 . ISBN 9781595938602. S2CID 1569045 .
- ^ sigplan.org (7 de enero de 2014). "SIGPLAN 2008: Entrega de dos premios" . sigplan . Consultado el 7 de enero de 2014 .
- ^ "Testimonio escrito de la Dra. Kathryn S. McKinley - Audiencia sobre 'Aplicaciones para la investigación y el desarrollo de tecnologías de la información ' " (PDF) . Cámara de Representantes de Estados Unidos. 14 de febrero de 2013.
- ^ Norman, Staci (15 de enero de 2009). "Kathryn McKinley nombrada miembro de ACM" . Universidad de Texas en Austin.
- ^ "La Tercera Conferencia Anual SPLASH, celebrada en Tucson, Arizona" . SplashCon. Archivado desde el original el 8 de julio de 2013 . Consultado el 21 de junio de 2013 .
- ^ "Fellow Class of 2011" . IEEE. Archivado desde el original el 30 de abril de 2013 . Consultado el 21 de junio de 2013 .
- ^ "2012: máquina virtual de investigación Jikes (RVM)" . Sigplan. Archivado desde el original el 3 de julio de 2013 . Consultado el 21 de junio de 2013 .
- ^ "Premio al Servicio Distinguido" . Sigplan . Consultado el 21 de junio de 2013 .
- ^ "Miembro distinguido de ACM" . Asociación de Maquinaria Informática . Consultado el 21 de junio de 2013 .
enlaces externos
- Kathryn S. McKinley de la Universidad de Texas en Austin