Estoy de acuerdo con otros en que el documento sobre el sistema operativo de singularidad (http://research.microsoft.com/ap…) es uno de los documentos más interesantes de Microsoft Research, cuyo impacto en la industria tal vez esté por venir.
En la misma línea de sistemas operativos, “Safe to the Last Instruction: Verificación automatizada de un sistema operativo de tipo seguro” (http://research.microsoft.com/ap…) también es un excelente artículo, que presenta algunas ideas innovadoras en la construcción de micro kernel verificado. Puedo ver este enfoque aplicado en sistemas reales en los próximos años.
En un área diferente, el documento “Dryad: Programas paralelos de datos distribuidos a partir de bloques de construcción secuenciales” (http://research.microsoft.com/en…) presenta un enfoque interesante para construir programas paralelos de datos, una alternativa a la reducción de mapas ahora predominante (y su encarnación malvada Hadoop)
- ¿Cuáles son los hechos más interesantes sobre las computadoras y el almacenamiento de computadoras?
- ¿Qué es la privacidad diferencial?
- ¿Los investigadores de matemática o ciencias de la computación teóricas leen documentos o simplemente tratan de pensar originalmente?
- ¿Qué tipo de proyectos privados se pueden hacer en biología computacional o bioinformática que se pueden hacer a pequeña escala?
- ¿Cuáles son los temas candentes actuales para la investigación en redes de computadoras?