Duilio Protti
Computer Science Department
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario

Ardua tarea la de escribir vastos libros. Mejor es imaginar que ya existen, y escribir de ellos un resumen.

Jorge Luis Borges.

I was a lecturer at National University of Rosario (Theory of Compilers lecture). Also I did work as a Software Engineer at Intel Corporation, as a Testing Specialist at Baufest and previously as a Project Leader at Flowgate Security Consulting. You can find more details about previous jobs in my Linkedin profile.

Education: I obtained a Bachelor degree in Computer Science (more precisely, a five years Licenciatura). My final thesis, entitled "Unit testing of concurrent programs", provides a framework to execute unit testcases for C programs in all the possible interleavings of its atomic actions, in a way that is independent of the underlying threading mechanism (and is 100% pure C code). The framework was implemented extending an already existing software: CUnit. The extension developed was called CUThread. You can find the report here (in spanish) and a CUnit 2.1.0 package with the added extension (CUThread) here.

• "Writing a kernel from scratch", workshop at VII Jornadas de Ciencias de la Computación, Rosario, Argentina. October 2009. (slides: day 1, day 2)
• "Intel Atom Microarchitecture" talk at 2009 Argentine Conference on Micro-Nanoelectronics, Technology and Applications, Balseiro Institute, Bariloche Atomic Center, Argentina. (some photos)
  In this conference there is a workshop for Electronic Engineering students from all the country that builds in 1 week a complete microprocessor from the ground up, including its design, serigraphy, deposition of substrate in silicon, die soldiering to the metallic pins and power up and monitoring of the chip. All is done in the BAC's clean rooms.
• In 2008 I presented "Linux KVM como herramienta de aprendizaje", a way to easily build a toy operating system, at JCC 2008.
• In December 2005 I gave a talk at UNR about Software Transactional Memory as a solution to concurrency problems. The talk focusses more specifically on the composable form of STM, for which I wrote a C library (LibCMT). Presentation slides are available (english/spanish), containing only 23 pages and supposing no previous knowledge of the subject.
  

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

• 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).
• Many others inside of Intel