stringtranslate.com

Jorge Nécula

George Ciprian Necula es un informático rumano , ingeniero de Google y ex profesor de la Universidad de California, Berkeley , que investiga en el área de lenguajes de programación e ingeniería de software , con especial atención a la verificación de software y los métodos formales . Es más conocido por su tesis doctoral, en la que describió por primera vez el código portador de pruebas , [1] un trabajo que recibió el premio SIGPLAN Most Influential POPL Paper Award de 2007. [2]

Vida y obra

Originario de Baia Mare , Rumania , [3] Necula recibió una licenciatura en Ciencias de la Computación (1992) de la Universidad Politécnica de Bucarest . Luego llegó a la Universidad Carnegie Mellon en los Estados Unidos, donde completó su maestría en Ciencias de la Computación (1995) y su doctorado en Ciencias de la Computación (1998) con el investigador de lenguajes de programación Peter Lee . Su trabajo de doctorado introdujo el código portador de pruebas , que fue influyente como mecanismo para permitir que el código de máquina no confiable se ejecutara de manera segura sin sobrecarga de rendimiento. Se incorporó como profesor en la Universidad de California, Berkeley en 1998.

Más recientemente, el trabajo de Necula se ha centrado en herramientas de análisis, verificación y transformación de código abierto para C , incluido el lenguaje intermedio C (CIL), CCured [1] y Deputy [2].

C Lenguaje Intermedio

C Intermediate Language (CIL) es un subconjunto simplificado del lenguaje de programación C , así como un conjunto de herramientas para transformar programas C a ese lenguaje. [4] [5] [6] Varias otras herramientas utilizan CIL como una forma de tener acceso a un árbol de sintaxis abstracta de C. Uno de estos programas es Frama-C (Framework to Analyze C programs).

Premios

Necula es miembro de la Fundación Okawa y de la Fundación Alfred P. Sloan (véase Beca Sloan ). Recibió el premio Grace Murray Hopper en 2001, [7] el premio CAREER de la Fundación Nacional de Ciencias en 1999, [8] y el premio del Salón de la Fama de ACM SIGOPS en 2006. [9]

Referencias

  1. ^ George C. Necula. Compiling with Proofs (Compilación con pruebas) . Tesis doctoral, Facultad de Ciencias de la Computación, Universidad Carnegie Mellon, septiembre de 1998.
  2. ^ SIGPLAN (24 de enero de 2010). «Premio al artículo más influyente de POPL». ACM. Archivado desde el original el 2 de agosto de 2009. Consultado el 2 de febrero de 2010 .
  3. ^ George Necula (primavera de 2010). "Página de inicio de George Necula" . Consultado el 3 de febrero de 2010 .
  4. ^ George C. Necula; Scott McPeak; Shree Prakash Rahul; Westley Weimer (2002). CIL: lenguaje intermedio y herramientas para el análisis y la transformación de programas en C. Actas de la 11.ª Conferencia Internacional sobre Construcción de Compiladores. Springer. Págs. 213-228. ISBN. 3-540-43369-4.
  5. ^ "GitHub - cil-project/Cil: Lenguaje intermedio C". GitHub .
  6. ^ http://portal.acm.org/citation.cfm?id=727796 CIL: Lenguaje intermedio y herramientas para el análisis y transformación de programas en C Apuntes de clase en informática; vol. 2304 Actas de la 11.ª Conferencia internacional sobre construcción de compiladores Páginas: 213 - 228. Año de publicación: 2002. ISBN 3-540-43369-4 
  7. ^ Association for Computing Machinery (2001). «Cita del premio ACM / George Necula». Archivado desde el original el 19 de abril de 2012. Consultado el 2 de febrero de 2010 .
  8. ^ National Science Foundation (22 de junio de 2002). "Resumen del premio n.º 9875171: CARRERA: un enfoque basado en la lógica para la integridad y seguridad de los sistemas de software" . Consultado el 2 de febrero de 2010 .
  9. ^ Association for Computing Machinery (2010). «SIGOPS - Hall of Fame Award» (Premio del Salón de la Fama de SIGOPS) . Consultado el 2 de febrero de 2010 .

Enlaces externos