George Necula

George Necula
George Necula.jpg
George Necula in Berkeley im Jahr 2010.
Staatsangehörigkeit rumänisch
Alma Mater Polytechnische Universität Bukarest
Bekannt für Proof-Carrying-Code
Wissenschaftliche Karriere
Felder Informatik
Institutionen Google
Doktorand Peter Lee

George Ciprian Necula ist ein rumänisch Informatiker, Ingenieur bei Googleund ehemaliger Professor bei der Universität von Kalifornien, Berkeley Wer rechert im Bereich von Programmiersprachen und Softwareentwicklung, mit einem besonderen Fokus auf Softwareüberprüfung und Formale Methoden. Er ist am bekanntesten für seinen Doktortitel. Thesearbeit zuerst beschreiben Proof-Carrying-Code,[1] Eine Arbeit, die das 2007 erhielt Sigplan am einflussreichsten Popl Paper Award.[2]

Leben und Arbeit

Ursprünglich aus Baia Mare, Rumänien,[3] Necula nahm an der Polytechnische Universität Bukarest Bevor er zukommt Carnegie Mellon Universität in den Vereinigten Staaten, um seine Doktorarbeit zu vervollständigen. Unter Programmiersprachen Forscher Peter Lee. Seine Doktorarbeit. These zuerst beschreiben Proof-Carrying-Code war einflussreich als Mechanismus, um den nicht vertrauenswürdigen Maschinencode sicher ohne Leistungsaufwand auszuführen. Er schloss sich als Fakultät bei der an Universität von Kalifornien, Berkeley In 1998.

In jüngerer Zeit konzentrierte sich die Arbeit von Necula auf Open-Source-Analysen, Überprüfung und Transformationsinstrumente für C, einschließlich der C -Zwischensprache (CIL), cced [1]und stellvertretend [2].

C Zwischensprache

C Intermediate Language (CIL) ist eine vereinfachte Untergruppe der C Programmiersprachesowie eine Reihe von Tools zur Umwandlung von C -Programmen in diese Sprache.[4][5][6] Mehrere andere Tools verwenden CIL, um Zugriff auf ein C zu haben Zusammenfassung Syntaxbaum. Eines dieser Programme ist Frama-C (Framework zur Analyse von C -Programmen).

Auszeichnungen

Necula ist Fellow der Okawa Foundation und der Alfred P. Sloan Foundation (sehen Sloan Fellowship). Er erhielt die Grace Murray Hopper Award in 2001,[7] Der Karrierepreis der National Science Foundation im Jahr 1999,[8] und die ACM Sigops Hall of Fame Award im Jahr 2006.[9]

Verweise

  1. ^ George C. Necula. Kompilieren mit Proofs. Doktorarbeit, School of Information, Carnegie Mellon Univ., September 1998.
  2. ^ Sigplan (2010-01-24). "Einflussreicher Popl Paper Award". ACM. Archiviert von das Original am 2009-08-02. Abgerufen 2010-02-02.
  3. ^ George Necula (Frühjahr 2010). "George Neculas Homepage". Abgerufen 2010-02-03.
  4. ^ George C. Necula; Scott McPeak; Shree Prakash Rahul; Westley Weimer (2002). CIL: Zwischensprache und Tools zur Analyse und Transformation von C -Programmen. Proc. 11. int'l Conf. Auf Compiler -Konstruktion. Springer. S. 213–228. ISBN 3-540-43369-4.
  5. ^ "Github - cil -project/cil: c Zwischensprache".
  6. ^ http://portal.acm.org/citation.cfm?id=727796 CIL: Zwischensprache und Tools zur Analyse und Transformation von C -Programmen Lecture Notes in Informatik; Vol. 2304 Verfahren der 11. Internationalen Konferenz über Compiler -Bau Seiten: 213 - 228. Jahr der Veröffentlichung: 2002. ISBN3-540-43369-4
  7. ^ Assoziation für Computermaschinen (2001). "ACM Award Citation / George Necula". Abgerufen 2010-02-02.
  8. ^ National Science Foundation (2002-06-22). "Zusammenfassung #9875171 - Karriere: Ein logikbasierter Ansatz zur Integrität und Sicherheit des Softwaresystems". Abgerufen 2010-02-02.
  9. ^ Assoziation für Computermaschinen (2010). "Sigops - Hall of Fame Award". Abgerufen 2010-02-02.

Externe Links