Extrapol update

July 4, 2008 § Leave a comment

A quick work regarding the current status of Extrapol and its release.

Development of Extrapol progresses. With our current set of sample, Extrapol works flawlessly. We’re now adding features, improving error reporting and de-hard-wiring the model of the C standard library from the tool and moving it towards an external configuration file as well as progressively moving towards larger and more realistic samples. Development will come to an abrupt (and temporary) halt at the end of this week, though, due to personal matters (i.e. I’m getting married).

The release planned for next week, on the other hand, is canceled. As the research field of applied security is very competitive, and after careful discussion with the rest of my research team, we have decided to only release a version of Extrapol after the scientific content has been accepted for publication in a conference or journal. At the request of one of the institutes which founds this research, I will also refrain from posting detailed information on the theory and algorithms behind Extrapol, until these are cleared by the institute and accepted for publication. Without entering the details, Extrapol is expected to serve in critical infrastructures, which explains the need for clearance.

However, rest assured that there will be a release and it will be open-source (presumably licenced under a combination of MIT and LGPL). The only question is when — and this probably won’t happen before November.

Extrapol, part 1: from C to Effects

June 3, 2008 § Leave a comment

Here comes the long-promised description of Extrapol, my main ongoing research project. In a few words, our objective with Extrapol is to fill a hole in the current suite of tools built to ensure the security of systems. While there’s an ample amount of stuff designed to analyse the behaviour of processes either during their execution (dynamic analysis) or after their completion (trace analysis), there is little work on applying static analysis to actual system security.

« Read the rest of this entry »

Don’t fear the monads

February 26, 2008 § Leave a comment

If you are a developer keeping somewhat up-to-date with the latest and upcoming trends, chances are that you have heard of monads. Now, one of the traditions among developers who hear about monads is to figure them out then write a tutorial. I haven’t quite reached the second stage, but I can point you to a 1h on-line video lecture, targeted for C# and Java developers, and introducing both functional programming and monads.

Enjoy !

OCaml pour le programmeur : Un aperçu

January 14, 2008 § 3 Comments

Update: Depuis la rédaction de ce billet, j’ai décidé de faire de cette introduction un WikiLivre. La dernière version de cet aperçu se trouve donc sur le site de WikiLivres.

Ce billet signe le début d’une introduction au langage OCaml, prévue pour les programmeurs ayant déjà une expérience d’un autre langage de programmation. Il ne s’agit donc pas d’apprendre à programmer mais d’apprendre les spécificités du langage OCaml — et comment s’en servir au mieux.

« Read the rest of this entry »

Where Am I?

You are currently browsing the Java category at Il y a du thé renversé au bord de la table.