Luca Saiu — projects

[FIXME: write this]

This page is not ready yet.


Jitter

Jitter is a generator of efficient language virtual machines. It has a preliminary web page on this server, pointing to the source code and additional information.

I started what became Jitter as an attempt to optimize GNU epsilon. Jitter has now evolved into an interesting project, useful on its own. It will be proposed to the GNU Project as well.


GNU epsilon

[FIXME: write this]

Of course there is a page about epsilon on the GNU project web site.

My PhD thesis is not a replacement for actual documentation (which I have not written yet), but it may be a nice way of understanding the philosophy behind epsilon.


Vaucanson

The Vaucanson project has
a web page at LRDE-EPITA; its official web site contains less information.


Marionnet

Marionnet has its own web site.

The other co-author is Jean-Vincent Loddo.

[FIXME: write this]

2012 poster by Jean-Vincent Loddo (in French, PDF, 4.3MB).

Marionnet is now also packaged by debian, on jessie and sid.


A simple kernel hack: Ghostification

[FIXME: write this: history, and a link to the current version]

[2013-07-01]


Multi-runtime OCaml

[FIXME: write this]

I used to work at INRIA Saclay, under the supervision of Fabrice Le Fessant; first in the ASAP team, then in Gallium.


Older projects

[FIXME: write a short introduction]

Have a look at this subdirectory. Unmaintained.


NAUSEA

[FIXME: write this: history, and a link to the current version. With Dario Russo] The home page, with very little information, is here.

NAUSEA Logos

A simple NAUSEA world. With Dario Russo. The home page, also with little information and a couple of broken links to fix, is here.


Baroque

[FIXME: write this]


ICFPc

[FIXME: write this. In 2003 alone, in 2006 with Marco Righi]


Takeshi

[FIXME: write this]


Very early, likely lost

[FIXME: write this]


Other unmaintained hacks

I've collected some information on some of my old or minor hacks in a subdirectory. Unmaintained.



[hacker emblem]

Luca Saiu
Last modified: 2019-01-29


Copyright © 2012, 2014, 2019 Luca Saiu
Verbatim copying and redistribution of this entire page are permitted provided this notice is preserved.