David F. Bacon - David F. Bacon
David Francis Bacon | |
|---|---|
| Nació | 24 de febrero de 1963 |
| Ciudadanía | americano |
| alma mater | UC Berkeley |
| Premios | Becario ACM |
| Carrera científica | |
| Campos | Ciencias de la Computación |
| Instituciones |
IBM Watson Research Center Departamento de Ciencias de la Computación de Harvard |
| Tesis | Optimización rápida y eficaz de lenguajes orientados a objetos de tipo estático (1997) |
| Asesor de doctorado | Susan L. Graham |
David Bacon es un programador informático estadounidense .
Carrera profesional
Bacon comenzó a trabajar como programador a los 16 años y trabajó para una startup durante su último año de secundaria. En Columbia College, Universidad de Columbia , trabajó primero con David E. Shaw en la supercomputadora NON-VON, y luego en algoritmos de red y simulación con Yechiam Yemini, creando el NEST Network Simulator, que sirvió como base para varias otras redes. simuladores incluyendo el REAL de Cornell y desde allí el simulador ns de LBL .
Bacon pasó la mayor parte de su carrera en el Centro de Investigación Thomas J. Watson de IBM , comenzando como programador en 1985 trabajando en el lenguaje de programación distribuido Hermes y, finalmente, convirtiéndose en miembro principal del personal de investigación.
Se tomó un año sabático en 2009 como profesor invitado de informática en Harvard .
En 2015 se incorporó a Google , trabajando en el sistema de base de datos distribuida Spanner .
Gran parte de su trabajo se ha centrado en la recolección de basura . En 2009 fue admitido como ACM Fellow "por sus contribuciones a sistemas en tiempo real y al diseño e implementación de lenguajes orientados a objetos".
Su trabajo en el recolector de basura de rastreo en tiempo real duro Metronome se convirtió en la base de la máquina virtual IBM WebSphere Real Time Java, que se utilizó en el software del Destructor DDG 1000 de la Marina . Posteriormente, la investigación original fue seleccionada para el premio al artículo más influyente de 2013 del Simposio sobre principios de lenguajes de programación .
Su trabajo sobre estructuras cíclicas de recolección de basura en sistemas contados de referencia se ha utilizado en varios lenguajes de programación, incluido PHP .
En 2013 publicó el primer recolector de basura implementado completamente en hardware, el cual fue seleccionado como Destacado de Investigación de ACM.
Además de la recolección de basura, su trabajo se ha centrado en la implementación de lenguajes concurrentes y orientados a objetos. Su trabajo de tesis sobre Rapid Type Analysis (RTA) se ha utilizado en muchos compiladores y marcos de análisis para construir gráficos de llamadas para lenguajes orientados a objetos, incluidos Soot and Go . En 2004, su trabajo sobre bloqueo de alto rendimiento para Java apareció en la lista de los 50 artículos PLDI más influyentes de todos los tiempos.