Luca Saiu

[Luca Saiu]
I'm a PhD student working in the LCR group, LIPN, Université Paris Nord.

My thesis will be an idiosynchratic blend of programming languages (logic and functional), linear logic and game theory. My two advisors are Christophe Fouqueré and Jean-Vincent Loddo.

Contact information

This page explains how to contact me.

Only if you are behind LIPN's firewall (sorry for that), you can even directly connect to the workstation I phisically work on, in my office.

Interests

I'm interested in programming languages, including their semantics and efficient implementation. Most of my recent experience revolves around functional languages, compilers and runtime systems (particularly garbage collection). I've also developed a deep interest in algorithms, parallel computation, concurrency and, to a lesser extent, computer networks.

I'm a very strong programmer in C, C++, Lisp and ML. I also happen to know a dozen or so other languages, most of which don't deserve to be mentioned; the ones which do include Prolog and APL.

Teaching

I teach DEVL (Développement de Logiciel Libre), a small course about the history, philosophy and practice of free software to first year Computer Science Master students at Institut Galilée, Université Paris Nord. The course is mostly in English.

After the end of the 2007 course a group of students asked me more pointers about how to use GNU/Linux from the command line. Here are my suggestions.

For DEVL 2008 students: the rattrapage project is ready.
For DEVL 2008 students: I strongly suggest you to subscribe to the (unofficial) course mailing list.

Publications

Talks

Here is a list of some talks of mine.

Politics

I'm an official GNU maintainer, and I deeply believe in free software. By the way, I've recently studied in depth the GNU General Public License version 3, released in June 2007. I like it very much, and I'm gradually going to upgrade all my maintained software which is currently covered by "GPLv2 or later" to "GPLv3 or later".

[Free Software: GPL version 3]
I urge you to do the same, and use "GPLv3 or later" for your new projects.

I'm an associate member of the Free Software Foundation.

[FSF Associate Member]

Projects

GNU epsilon

(2001-)
My most ambitious project. Its homepage should be updated, but epsilon is very much alive.
I'm now starting its fourth re-implementation from scratch.

epsilon's parallel garbage collector is very interesting and has evolved into an independent project.

NAUSEA

(2005-)
with Dario Russo.
Extremely cool.
LOGOS, again written with Dario Russo, is just one of its possible applications.
See the NAUSEA project page on Savannah.

Marionnet

(2007-)
with Jean-Vincent Loddo.
This also includes a simple but very nice kernel hack.

Now Marionnet has its own home page.

glyphification-mode

A minor mode for Emacs. Not polished and not released yet, but here's a video demonstration of a not-so-recent version.
It works with GNU Emacs 22 and later (a hook I use has been renamed since Emacs 21).
The new lexicon for epsilon is going to make use of this, but --as any minor mode-- the glyphification-mode is conceived to be useful in many different contexts and for most languages.

ICFP programming contests

(2004, 2005, 2006)
alone in 2004 and 2005, with Marco Righi in 2006.

Older projects, stuff which is currently unmaintained or not maintained by me

"Youth" projects

From the long gone years when I considered C++ my favorite language.

Miscellaneous hacks of mine

Most of this could be classified as recreational Computer Science -- which doesn't imply that it can't be interesting, or even contain pretty advanced stuff.
Most of these hacks were implemented in one or two days, and their packaging and presentation is far from optimal.

Partial evaluation

An online partial evaluator with support for partially-static data for a simple flowchart language with S-expressions as data structures.
It optimizes in a quite aggressive way, and does not always exactly preserve semantics: computations may be discarded (specializing some non-terminating subject progams yields terminating residual programs), even if they are never duplicated.

An optimizing brainf*ck compiler

Neural networks

The classic feed-forward network with backpropagation, more or less the same as the one written by every Computer Science student in the world.
You also wrote one, didn't you?

APL keyboard

My hand-made APL keyboard is my only published "hardware hack" so far.

Personal

To do: write something here. Or, even better, don't.

To do: refactor. Look at this, this, and also at this.

My public GPG key

You can find my GNU Privacy Guard public key here.

Please come back in a few days...
I'm going to fill (most of) the stubs real soon now. Yeah, trust me.

This is the master copy of my home page located at http://www-lipn.univ-paris13.fr/~saiu.

[Hacker emblem]
Luca Saiu
Last modified: 2009-03-08

Copyright © 2007, 2008, 2009 Luca Saiu
Verbatim copying and redistribution of this entire page are permitted provided this notice is preserved.