Frances Allen

Con una gran deuda de préstamos estudiantiles , Allen se unió a IBM Research en Poughkeepsie , Nueva York, como programadora en 1957, donde enseñó a los nuevos empleados los fundamentos de Fortran . ^{[ 12 ]} Este fue uno de los primeros lenguajes de programación de alto nivel, y se había anunciado solo dos meses antes de que Allen se uniera a IBM. ^{[ 14 ]}

Durante este período, Allen a menudo aprendía temas sobre Fortran solo unos días antes de impartir esas mismas lecciones a los investigadores. ^{[ 12 ]} Aprendió por su cuenta sobre el compilador de Fortran leyendo su código fuente, lo que despertó en ella un interés de por vida en el diseño de compiladores. ^{[ 14 ]} En aquel entonces, los investigadores dudaban en adoptar Fortran porque estaban acostumbrados a programar en lenguaje ensamblador , y era de conocimiento común que los lenguajes compilados no podían producir código con un rendimiento suficiente para compararlos. ^{[ 15 ]} Allen planeaba regresar a la docencia en escuelas una vez que hubiera pagado sus préstamos estudiantiles, pero terminó permaneciendo en IBM durante sus 45 años de carrera. ^{[ 12 ]}

En 1959, Allen fue asignado al proyecto Harvest para descifrar códigos con la Agencia de Seguridad Nacional y trabajó en un lenguaje de programación llamado Alpha . ^{[ 7 ]} El proyecto era confidencial y estaba diseñado para espiar a la Unión Soviética, pero muchos miembros del equipo desconocían los detalles hasta que se filtraron a la prensa posteriormente. Allen dirigió el equipo de optimización de compiladores tanto para Harvest como para el proyecto anterior Stretch . ^{[ 15 ]}

En 1962, Allen fue transferida al Centro de Investigación Thomas J. Watson , donde contribuyó al proyecto ACS-1 , y más tarde, en la década de 1970, a PL/I . Durante estos años, trabajó con su colega investigador John Cocke para escribir una serie de artículos fundamentales sobre compiladores optimizadores , lo que ayudó a mejorar la eficiencia del código máquina traducido de lenguajes de alto nivel. ^{[ 2 ]} Ambos también crearon un compilador optimizador para Fortran, y este compilador finalmente también funcionó con Autocoder y Alpha. ^{[ 14 ]}

Allen comenzó a publicar artículos sobre la optimización de compiladores para compartir su conocimiento con otros investigadores. Sus primeras publicaciones incluyeron "Optimización de programas" y "Análisis del flujo de control". ^{[ 14 ]} Allen y Cocke publicaron "Un catálogo de transformaciones de optimización" en 1972, que sistematizó las técnicas más importantes para la optimización de compiladores. Este trabajo se considera uno de los más importantes de Allen y abarca técnicas clave de compiladores como la inserción de procedimientos , el desenrollado de bucles , la eliminación de subexpresiones comunes , el movimiento de código y la optimización de la inspección visual . ^{[ 15 ]}

Durante su tiempo en IBM, Allen impulsó activamente la participación de científicos informáticos de grupos subrepresentados y encontró maneras de atraer y retener a mujeres en el campo. Fue una razón clave por la que la mitad del equipo de investigación de compiladores de IBM estuvo compuesto por mujeres durante las décadas de 1970 y 1980. ^{[ 2 ]} Allen fue voluntaria durante muchos años a través del programa de mentores de IBM. ^{[ 12 ]} Barbara Simons trabajó con Allen y la consideraba una amiga: la recordaba como una feminista convencida. ^{[ 14 ]}

De 1970 a 1971, Allen pasó un año sabático en la Universidad de Nueva York y posteriormente ejerció como profesora adjunta durante algunos años. Otro año sabático la llevó a la Universidad de Stanford en 1977. ^{[ 13 ]} Allen fue profesora de Anita Borg y la única mujer que tuvo como profesora a Borg durante sus estudios de posgrado. ^{[ 14 ]} Allen también fue nombrada Profesora Distinguida del Rector y Profesora Mackay en la Universidad de California, Berkeley, y Profesora Regente en la Universidad de California, San Diego. ^{[ 12 ]}

De 1980 a 1995, Allen lideró el trabajo de IBM en el desarrollo de la computación paralela y ayudó a desarrollar software para el proyecto IBM Blue Gene . ^{[ 16 ]} Trabajó en PTRAN, el Traductor Paralelo, diseñado para aprovechar el paralelismo automático mediante el análisis del grafo de dependencias de un programa y la distribución del trabajo en una arquitectura paralela. El objetivo del sistema era transformar automáticamente programas escritos secuencialmente en programas paralelizados de manera eficiente. ^{[ 15 ]}

Allen se convirtió en la primera mujer en ser nombrada IBM Fellow en 1989. ^{[ 17 ]} En 1995, pasó a ser presidenta del comité directivo de IBM, la IBM Academy. ^{[ 15 ]} En 2000, IBM creó un premio en su honor, el Premio Frances E. Allen a la Mentoría de Mujeres en Tecnología. ^{[ 14 ]}

Allen se jubiló de IBM en 2002, pero siguió vinculada a la corporación como Miembro Emérita. En 2007, se creó en su honor la Beca de Doctorado de IBM. ^{[ 17 ]} Tras su jubilación, continuó participando activamente en programas que animan a mujeres y niñas a seguir carreras en ciencia e informática. ^{[ 18 ]}

La mención de su premio AM Turing dice lo siguiente:

El trabajo de Fran Allen ha tenido un enorme impacto en la investigación y la práctica de los compiladores. Tanto individualmente como en colaboración con John Cocke , introdujo muchas de las abstracciones, algoritmos e implementaciones que sentaron las bases de la tecnología de optimización automática de programas. Su artículo de 1966, "Optimización de programas", estableció la base conceptual para el análisis y la transformación sistemáticos de programas informáticos. Este artículo introdujo el uso de estructuras basadas en la teoría de grafos para codificar el contenido de los programas con el fin de derivar relaciones de forma automática y eficiente e identificar oportunidades de optimización. Sus artículos de 1970, "Análisis del flujo de control" y "Una base para la optimización de programas", establecieron los "intervalos" como contexto para un análisis y una optimización eficientes y efectivos del flujo de datos. Su artículo de 1971 con Cocke, "Un catálogo de transformaciones optimizadoras", proporcionó la primera descripción y sistematización de las transformaciones optimizadoras. Sus artículos de 1973 y 1974 sobre el análisis del flujo de datos interprocedimental extendieron el análisis a programas completos. En 1976, Allen escribió un artículo junto con Cocke que describe una de las dos principales estrategias de análisis utilizadas en la optimización de compiladores. Desarrolló e implementó sus métodos en compiladores para IBM STRETCH-HARVEST y el sistema experimental Advanced Computing System. Este trabajo demostró la viabilidad y la estructura de los optimizadores modernos, independientes de la máquina y del lenguaje. Posteriormente, fundó y dirigió el proyecto PTRAN para la ejecución paralela automática de programas FORTRAN. Su equipo de PTRAN desarrolló nuevos esquemas de detección de paralelismo y creó el concepto de grafo de dependencia de programas, el método de estructuración principal utilizado por la mayoría de los compiladores paralelizados.