Джулия Ловалл
Джулия Летиция Лауолл — учёный-компьютерщик, специализирующийся на языках программирования . Получив образование в США, она работала в США, Дании и Франции, где является директором по исследованиям компании Inria . Она является одним из разработчиков Coccinelle , инструмента для поиска закономерностей и систематических преобразований исходного кода . [1] [2] [3] а также она провела исследование предметно-ориентированных языков для операционных систем .
Образование и карьера
[ редактировать ]Лоуалл специализировалась на математике в Оберлин-колледже , который окончила в 1986 году, и начала учебу в аспирантуре по информатике в Университете Карнеги-Меллона . [4] У нее есть докторская степень. из Университета Индианы , завершена в 1994 году. Ее диссертация «Введение и устранение продолжения в языках программирования высшего порядка » была написана под совместным руководством Дэниела П. Фридмана и Оливье Дэнви . [5]
После получения докторской степени она работала с Гарри Мейрсоном в группе логики и вычислений в Университете Брандейса в Бостоне. [6] и в Научно-исследовательском институте компьютерных наук и случайных систем (IRISA) в Ренне , Франция, [7] прежде чем занять должность преподавателя на факультете компьютерных наук (DIKU) университета Копенгагенского . В 2011 году она переехала из Копенгагена во Французский институт исследований в области компьютерных наук и автоматизации (Inria); [2] в Inria она руководит проектом Whisper (хорошо отточенное инфраструктурное программное обеспечение для сред программирования и среды выполнения). [8] С 2013 по 2020 год она также работала в Лаборатории информатики Парижа 6 Университета Сорбонны . [9]
Признание
[ редактировать ]Лоуолл получила две награды «Проверка временем» за свои публикации. Ее статья с Гарри Мэрсоном «Оптимальность и неэффективность: что не является стоимостной моделью лямбда-исчисления?», посвященная критериям оптимизации для поиска нормальных форм в лямбда-исчислении , получила первую награду «Самая влиятельная бумага» ICFP от ACM SIGPLAN . через десять лет после его публикации в 1996 году. [10] Кроме того, ее статья «Документирование и автоматизация сопутствующей эволюции драйверов устройств Linux» (совместно с Йоаном Падиоло, Рене Ридхофом Хансеном и Жилем Мюллером в EuroSys 2008) получила награду EuroSys Test of Time Award 2018. В документе была представлена информация о Cocinelle и описано ее использование для поддержки драйверов устройств , чтобы обеспечить их синхронизацию с изменениями операционной системы. [11]
Ссылки
[ редактировать ]- ^ Эдж, Джейк (31 августа 2016 г.), «В сознании программиста Coccinelle» , Linux Weekly News , получено 7 марта 2024 г.
- ^ Jump up to: а б Бидвелл, Джонни (3 июля 2018 г.), «Преобразование ядра» , формат Linux , получено 7 марта 2024 г.
- ^ Программа должна работать , Суперкомпьютерный центр Лейбница Баварской академии наук и гуманитарных наук, 25 июля 2022 г. , получено 7 марта 2024 г.
- ^ «Награды NSF и Джавитса выпускникам» , The Observer , Оберлинский колледж, сентябрь 1987 г.
- ^ Джулия Лоуэлл в проекте «Математическая генеалогия»
- ^ Мэрсон, Гарри, Логика и вычисления , Университет Брандейса , получено 7 марта 2024 г.
- ^ «PE Personnel» , Группа частичной оценки (COMPOSE) , IRISA, заархивировано из оригинала 7 мая 1997 г.
- ^ «Члены команды» , Whisper , Inria , получено 7 марта 2024 г.
- ^ ЛАВОЛЛ Джулия , LIP6 , получено 7 марта 2024 г.
- ^ Самая влиятельная бумажная награда ICFP , ACM SIGPLAN , получена 7 марта 2024 г.
- ^ «Награда EuroSys за испытание временем» , EuroSys , европейское отделение ACM SIGOPS , получено 7 марта 2024 г.
Внешние ссылки
[ редактировать ]- Домашняя страница
- Публикации Джулии Лоуолл, проиндексированные Google Scholar
