Kathryn S. McKinley - Kathryn S. McKinley
Kathryn S. McKinley | |
|---|---|
 Kathryn S. McKinley
| |
| Née |
10 janvier 1962 |
| Nationalité | américain |
| mère nourricière | Université du riz |
| Connu pour | Optimisations de la localité et du parallélisme Allocateur de mémoire Hoard |
| Récompenses |
Boursier ACM (2008) Boursier IEEE (2011) |
| Carrière scientifique | |
| Des champs | L'informatique |
| Établissements |
Microsoft L'Université du Texas à Austin Université du Massachusetts Amherst |
| Conseiller de doctorat | Ken Kennedy |
| Site Internet | www |
Kathryn S. McKinley est une informaticienne américaine connue pour ses recherches sur les compilateurs , les systèmes d'exécution et l'architecture informatique . Elle est également connue pour son leadership dans l'élargissement de la participation à l'informatique. McKinley a été co-président du CRA-W de 2011 à 2014.
Biographie
McKinley a obtenu un baccalauréat en informatique et en ingénierie de l'Université Rice en 1985. Elle a ensuite obtenu une maîtrise en informatique de l'Université Rice en 1990, puis un doctorat en informatique de l'Université Rice en 1992.
Elle a rejoint le département d'informatique de l' Université du Massachusetts à Amherst en tant que professeure adjointe en 1993. Pendant ce temps, elle a été promue professeure agrégée en 1999. En 2001, elle a déménagé à l'Université du Texas à Austin en tant que professeure agrégée. En 2005, elle est promue professeure et en 2010 professeure dotée en informatique. En 2011, elle a rejoint Microsoft Research en tant que chercheuse principale. Elle est actuellement chercheuse scientifique principale chez Google .
McKinley est marié à Scotty Strahan; ils ont trois garçons : Cooper, Dylan et Wyatt Strahan.
Carrière
Elle et ses collègues ont introduit le premier modèle à usage général et cadre d'optimisation basé sur les dépendances et la réutilisation des lignes de cache pour améliorer la localisation du cache des algorithmes matriciels denses en utilisant la permutation de boucle, l'inversion de boucle, la fusion et la distribution. McKinley et son conseiller, Ken Kennedy, ont montré comment utiliser ce modèle pour introduire le parallélisme avec la localité et éliminer le faux partage. Cette œuvre a été sélectionnée en 2014 pour le volume du 25e anniversaire de l'ICS.
McKinley, son doctorant Emery D. Berger et ses collègues ont présenté le Hoard C/C++ Memory Allocator , qui est largement utilisé par les applications et dans OS X d'Apple. Hoard limite les conflits causés lorsque plusieurs threads allouent ou libèrent de la mémoire en même temps, et évite les faux partages dus à l'allocation de mémoire. Dans le même temps, Hoard applique des limites prouvables sur la quantité totale de fragmentation .
McKinley était un leader du groupe de recherche DaCapo, qui couvrait neuf institutions et était financé par un NSF ITR (2000-2006). Ce projet a produit un certain nombre de technologies innovantes de machines virtuelles, d'outils open source, de benchmarks open source et de nouvelles méthodologies pour évaluer les runtimes gérés. Les efforts d'analyse comparative et de méthodologie ont été dirigés par Stephen M. Blackburn. La suite de benchmarks DaCapo Java et les méthodologies d'évaluation sont largement utilisées dans les universités et l'industrie pour évaluer les technologies d'analyse, d'optimisation et de test Java. Blackburn, Cheng et McKinley ont été les premiers à effectuer une comparaison pomme à pomme des algorithmes de récupération de place qui ont montré que les allocateurs de listes libres abandonnent des quantités substantielles de localité même s'ils nécessitent moins de mémoire que les algorithmes de copie, qui allouent des objets contemporains de manière contiguë. . Ce travail a remporté le test du temps de récompense SIGMETRICS 2014.
Sur la base de cette idée, Blackburn et McKinley ont conçu une nouvelle classe de ramasse-miettes, qu'ils ont nommées mark-region. Leur collecteur de marque-région Immix gère la mémoire de manière hiérarchique à l'aide de blocs de taille fixe constitués de lignes. L'allocation d'objets contigus peut traverser des lignes, mais pas de blocs. La collection Immix mélange le marquage de lignes et la copie d'objets en un seul passage. Cette conception offre des avantages substantiels en termes de performances grâce à des empreintes de tas plus petites et à des améliorations de la localité.
Son doctorant Michael Bond a reçu le prix ACM SIGPLAN pour thèse de doctorat exceptionnelle en 2008.
Le 14 février 2013, McKinley a témoigné devant le comité de la Chambre sur la science, l'espace et la technologie, au sous-comité sur la recherche. Elle a parlé de l'écosystème de recherche informatique universitaire, industrielle et gouvernementale qui stimule l'innovation et les avancées économiques dans presque tous les domaines.
Récompenses
En 2008, elle a été nommée ACM Fellow.
Ses autres récompenses notables incluent :
- ACM SIGMETRICS Test of Time Award en 2014
- Prix du papier OOPSLA le plus influent de 2002, décerné en 2012. Berger, ED; Zorn, BG ; McKinley, KS (novembre 2002). "Reconsidérer l'allocation de mémoire personnalisée" (PDF) . Actes de la 17e conférence ACM SIGPLAN sur la programmation, les systèmes, les langages et les applications orientés objet . OOPSLA '02. p. 1-12. CiteSeerX 10.1.1.119.5298 . doi : 10.1145/582419.582421 . ISBN 978-1-58113-471-1. S2CID 481812 .
- Boursier IEEE (2011)
- ACM SIGPLAN Programming Languages Software Award, pour Jikes RVM (2012)
- Prix ACM SIGPLAN pour service distingué (2011)
- Scientifique émérite ACM (2006)
Les références
Liens externes
- Kathryn S. McKinley à l'Université du Texas à Austin