Julia Lawall

Julia Lawall es una científica informática especializada en lenguajes de programación . Formada en Estados Unidos, ha trabajado en Estados Unidos, Dinamarca y Francia, donde es directora de investigación en Inria . Es una de las desarrolladoras de Coccinelle , una herramienta para encontrar patrones y realizar transformaciones sistemáticas del código fuente , ^{[ 1 ] [ 2 ] [ 3 ]} y también ha investigado sobre lenguajes específicos de dominio para sistemas operativos .

Lawall se especializó en matemáticas en el Oberlin College , donde se graduó en 1986, y comenzó sus estudios de posgrado en informática en la Universidad Carnegie Mellon . ^{[ 4 ]} Obtuvo su doctorado en la Universidad de Indiana Bloomington en 1994. Su tesis doctoral, « Introducción y eliminación de continuaciones en lenguajes de programación de orden superior» , fue dirigida conjuntamente por Daniel P. Friedman y Olivier Danvy . ^{[ 5 ]}

Tras finalizar su doctorado, trabajó con Harry Mairson en el grupo de Lógica y Computación de la Universidad de Brandeis en Boston, ^{[ 6 ]} y en el Instituto de Investigación de Ciencias de la Computación y Sistemas Aleatorios (IRISA) en Rennes , Francia, ^{[ 7 ]} antes de incorporarse como profesora al Departamento de Ciencias de la Computación (DIKU) de la Universidad de Copenhague . En 2011, se trasladó de Copenhague al Instituto Francés de Investigación en Ciencias de la Computación y Automatización (Inria); ^{[ 2 ]} en Inria, dirige el proyecto Whisper (software de infraestructura optimizado para entornos de programación y tiempos de ejecución). ^{[ 8 ]} También colaboró ​​con el Laboratoire d'Informatique de Paris 6 de la Universidad de la Sorbona entre 2013 y 2020. ^{[ 9 ]}

El 21 de diciembre de 2025, fue elegida miembro del Consejo Asesor Técnico de la Fundación Linux . ^{[ 10 ]}

Lawall ha ganado dos premios a la trayectoria por sus publicaciones. Su artículo con Harry Mairson, "Optimalidad e ineficiencia: ¿qué no es un modelo de coste del cálculo lambda?", sobre los criterios de optimización para encontrar formas normales en el cálculo lambda , ganó el premio inaugural al artículo ICFP más influyente de ACM SIGPLAN , diez años después de su publicación en 1996. ^{[ 11 ]} Además, su artículo "Documentación y automatización de evoluciones colaterales en controladores de dispositivos Linux" (con Yoann Padioleau, René Rydhof Hansen y Gilles Muller, en EuroSys 2008) ganó el premio EuroSys a la trayectoria de 2018. El artículo presentó Coccinelle y describió su uso en el mantenimiento de controladores de dispositivos para mantenerlos sincronizados con los cambios del sistema operativo. ^{[ 12 ]}

• Página principal
• Publicaciones de Julia Lawall indexadas por Google Académico