Джордж Некула - George Necula

Джордж Некула
Джордж Некула.jpg
Джордж Некула в Беркли в 2010 году.
Национальностьрумынский
Альма-матерПолитехнический университет Бухареста
ИзвестенКод подтверждения
Научная карьера
ПоляИнформатика
УчрежденияGoogle
ДокторантПитер Ли

Джордж Сиприан Некула это румынский специалист в области информатики, инженер в Google, и бывший профессор Калифорнийский университет в Беркли кто занимается исследованиями в области языки программирования и программная инженерия, уделяя особое внимание проверка программного обеспечения и формальные методы. Он наиболее известен своей докторской степенью. дипломная работа, сначала описывающая код подтверждения,[1] работа, получившая 2007 Премия SIGPLAN за самую влиятельную бумагу POPL.[2]

Жизнь и работа

Первоначально из Бая-Маре, Румыния,[3] Некула посетила Политехнический университет Бухареста прежде чем прийти в Университет Карнеги Меллон в Соединенных Штатах, чтобы получить докторскую степень. под руководством исследователя языков программирования Питера Ли. Его докторская степень. тезис, впервые описывающий код подтверждения оказал влияние как механизм, позволяющий безопасно выполнять ненадежный машинный код без дополнительных затрат на производительность. Он поступил на факультет в Калифорнийский университет в Беркли в 1998 г.

В последнее время работа Necula была сосредоточена на инструментах анализа, проверки и преобразования с открытым исходным кодом для C, включая промежуточный язык C (CIL), CCured [1], и заместитель [2].

C Промежуточный язык

Промежуточный язык C (CIL) - это упрощенное подмножество Язык программирования C, а также набор инструментов для преобразования программ C на этот язык.[4][5][6]Несколько других инструментов используют CIL как способ доступа к C абстрактное синтаксическое дерево. Одна из таких программ Фрама-с (Платформа для анализа программ C).

Награды

Некула является членом Фонд Окава и Фонд Альфреда П. Слоана (видеть Sloan Fellowship ). Он получил Премия Грейс Мюррей Хоппер в 2001,[7] награда КАРЬЕРА Национального научного фонда в 1999 г.,[8] и ACM SIGOPS Премия Зала славы в 2006 году.[9]

Рекомендации

  1. ^ Джордж К. Некула. Компиляция с доказательствами. Кандидатская диссертация, Школа компьютерных наук, Университет Карнеги-Меллона, сентябрь 1998 г.
  2. ^ СИГПЛАН (24.01.2010). «Самая влиятельная бумажная премия POPL». ACM. Архивировано из оригинал на 2009-08-02. Получено 2010-02-02.
  3. ^ Джордж Некула (весна 2010 г.). "Домашняя страница Джорджа Некулы". Получено 2010-02-03.
  4. ^ Джордж К. Некула; Скотт Макпик; Шри Пракаш Рахул; Уэстли Веймер (2002). CIL: промежуточный язык и инструменты для анализа и преобразования программ C. Proc. 11-я Международная конференция по конструкции компилятора. Springer. С. 213–228. ISBN  3-540-43369-4.
  5. ^ https://github.com/cil-project/cil
  6. ^ http://portal.acm.org/citation.cfm?id=727796 CIL: промежуточный язык и инструменты для анализа и преобразования программ на языке C Конспект лекций по информатике; Vol. 2304 Труды 11-й Международной конференции по построению компиляторов. Страницы: 213 - 228. Год публикации: 2002. ISBN  3-540-43369-4
  7. ^ Ассоциация вычислительной техники (2001). "ACM Award Citation / Джордж Некула". Получено 2010-02-02.
  8. ^ Национальный научный фонд (2002-06-22). "Резюме премии № 9875171 - КАРЬЕРА: логический подход к целостности и безопасности программных систем". Получено 2010-02-02.
  9. ^ Ассоциация вычислительной техники (2010). «SIGOPS - Премия Зала славы». Получено 2010-02-02.

внешняя ссылка