Duilio Protti's Portrait

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

 


C Anti-Patterns
Photos
Interesting posts in (defunct) eXactas site


I am a software developer for Google at Globant. In the past I did work at Evolution Robotics and at Intel Corporation. More details at my Linkedin profile.
During three years I was also a lecturer at the Computer Science Department, in R-323 Communications and in R-212 Data Structures and Algorithms I.

I obtained a degree in Computer Science (more precisely, a five years Licenciatura). My final thesis, entitled "Unit testing of concurrent programs", provided 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 in 100% pure C code). The framework was implemented extending an existing software: CUnit. The extension was called CUThread. You can find the report here (in spanish) and a CUnit 2.1.0 package with the CUThread extension here.

Publications Teaching:
  • "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.
    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.
Projects I was involved:
  • 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 Visualization Plugin: originally written for the XMMS audio player and now ported to Audacious. Base code was written by Julien Carme and I made many improvements and became the 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.


This page was last modified: September 4, 2011
Maintained by Duilio Protti