Duilio Protti
Departamento de Ciencias de la Computación
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario

Actualmente estoy trabajando por 6 meses en Evolution Robotics en California. Fui profesor asistente de Teoría de Compiladores, de Comunicaciones, y de Programación Paralela, materias de 4to y 5to año de la Lic. en Ciencias de la Computación de la Universidad Nacional de Rosario. Trabajé como Ingeniero de Software en Globant Argentina y previamente en Intel. Más detalles en mi perfil de Linkedin.

Educación: Licenciado en Ciencias de la Computación. Mi tesis de grado Testing de Unidad de Programas Concurrentes define un esquema para ejecutar casos de prueba unitaria de programas C en todas las intercalaciones posibles de sus acciones atómicas, de una manera que es independiente del mecanismo multihilo que se utilice. Además los casos de prueba se expresan en código C. El entorno se implementó extendiendo (CUnit) y fue bautizado CUThread. Se puede encontrar el paquete CUnit 2.1.0 con las extensiones CUThread añadidas aquí.

• "Linux KVM as a learning tool", Linux Journal #186, Octubre de 2009.

• "Writing a kernel from scratch", workshop en las VII Jornadas de Ciencias de la Computación, Rosario, Argentina. Octubre de 2009. (slides: día 1, día 2)
• "Intel Atom Microarchitecture", presentación en la Conferencia Argentina de Micro-Nanoelectrónica, Tecnología y Aplicaciones (EAMTA), Centro Atómico Bariloche, Argentina. Octubre de 2009. (algunas fotos)
  En esta conferencia hay un taller de diez días para estudiantes de Ingeniería Electrónica provenientes de todo el país que construyen un microprocesador completo desde el comienzo, incluyendo su diseño y simulación con herramientas de software, serigrafía, deposición en substrato de silicio, soldado de pines metálicos y puesta en marcha y medición del mismo. Todo esto se hace en las salas limpias del Centro Atómico Bariloche.
• "Linux KVM como herramienta de aprendizaje", presentación en las JCC 2008 acerca de una forma fácil de construir sistemas operativos minimales rápidamente con fines de autoaprendizaje.
• "Composable Memory Transactions" (también en inglés), presentación de Diciembre de 2005 acerca de Memoria Transaccional en Software y su aplicación a resolver problemas de concurrencia. Más específicamente la charla se concentró en su forma componible, para la cual escribí una biblioteca en C llamada LibCMT.
  

• LibVisual: a framework which allows to write audio visualization plugins without the need to handle every aspect of the process. It lets you concentrate mostly on the artistic part of the job. The project leader is Dennis Smit (yes, with no 'h', he's dutch).
• LibCMT: a C library implementing a composable memory transaction's model. The library is under development and it's implemented in a portable way, without depending on any particular thread/memory model. Currently, I'm the project leader.
• Infinity XMMS plugin: a visualization plugin for the XMMS audio player. The base code was written my Julien Carme. I have made many improvements and I'm the actual maintainer.
• GTL (Gidiss Trusted Linux): is a security enhanced Linux with multi level security. I have developed the trusted window of it, a text line at the bottom of text terminals, used as a trusted path from the kernel to the user. You can read the details of the implementation on this document (in spanish). It is also a nice intro to the way the terminals are implemented on the Linux kernel. The implementation was done modifying the VGA driver which writes to a text terminal, and the whole project was my final work for the elective class "Formals Methods for Information Security".
  
• Casual contributions to various projects: Nmap, Liferea, Boost, Mono and many others.

• "5 problems and 5 solutions of Information Security", Msc. Maximiliano Cristiá (Rosario National University, Argentina).
  
• "Verification of sequential and concurrent programs", PhD. Leonor Prensa Nieto (INRIA, Sophia-Antipolis, France).
• "From philosophy to program size", PhD. Gregorio Chaitin (IBM Watson Research Center, EE. UU).
• "Computer applications of theorem proving using Coq", PhD. Nora Szasz, Msc. Carlos Luna (University of the Republic, Uruguay).
• "3D games technology: real time rendering and character animation", Dr. Alan Watt (University of Sheffield, UK).
• "Techniques for static analysis of programs", PhD. Sergio Yovine (INRIA, France).
• "Query mining on the Web", PhD. Ricardo Baeza Yates (Director of the Center for Web Research, Engineering School, Chile University).
• Muchos otros dentro de Intel