Alexia Massalin (anteriormente Henry Massalin ) es una científica informática y programadora estadounidense. Fue pionera en el concepto de superoptimización , [1] [2] y diseñó el núcleo Synthesis , un pequeño núcleo con una capa de compatibilidad con Unix que hace un uso intensivo de código automodificable para lograr eficiencia. [3] [4]
Después de la secundaria, le dieron una beca para la Escuela de Ingeniería Cooper Union en Manhattan , donde obtuvo una licenciatura y una maestría. [5] [2] Fue a obtener su doctorado en ciencias de la computación de la Universidad de Columbia en 1992, estudiando con el profesor Calton Pu .
En la década de 1980 trabajó para Philon Inc., una empresa emergente de Nueva York especializada en la optimización de compiladores. En octubre de 1992, Massalin se unió a MicroUnity como científica investigadora, donde se hizo responsable de los módulos de procesamiento de señales y la arquitectura del software. [5]
El primer producto innovador de Massalin llegó mientras estudiaba en Columbia. Massalin desarrolló Synthesis , un núcleo de sistema operativo que asignaba recursos, ejecutaba interfaces de hardware de bajo nivel y de seguridad, y creaba código ejecutable para mejorar el rendimiento. [2] Synthesis optimizó el código crítico del sistema operativo utilizando información de tiempo de ejecución, lo que fue una nueva idea que antes se consideraba poco práctica. [2] Para respaldar Synthesis , Massalin inventó estructuras de datos similares a objetos llamadas Quajects , que contienen información tanto de datos como de código. [4]
Massalin sigue trabajando en microprocesadores de banda ancha. [ cita requerida ]
Sus padres eran refugiados croatas de Trieste . En la década de 1940, se mudaron a Astoria, Queens , Nueva York, donde su padre se convirtió en trabajador de la construcción. [2]
En un artículo de 1996 en la revista Wired , el autor Gary Andrew Poole dijo que ella "podría ser el Einstein de nuestro tiempo". [2] Era bien conocida por ofrecer viajes a caballito a las personas que conocía, entre las que se encontraban notables científicos informáticos como Dennis Ritchie , Ken Thompson y el pionero de la inteligencia artificial Marvin Minsky . [6]
Dado un conjunto de instrucciones, el superoptimizador encuentra el programa más corto para calcular una función. Se han generado programas sorprendentes, muchos de los cuales implican una manipulación de bits complicada que guarda poca semejanza con los programas fuente que definieron las funciones. La idea clave del superoptimizador es una prueba probabilística que hace que las búsquedas exhaustivas sean prácticas para programas de tamaño útil.