This is an old revision of the document!


Free Software Development

The Formal Languages & Compilers Group is active in the development of free software, through student projects and thesis works.

  1. ILDJIT, by Simone Campanoni: a JIT compiler for the CIL bytecode based on Portable.Net (Technical Report 2008.3).
  2. Jelatine VM, by Gabriele Svelto: a VM based on the J2ME CLCD specifications, featuring a fast interpreter and a zero-overhead precise garbage collector, suitable for embedded applications.
  3. SeleKaffe, by Paolo Palumbo: a variant of the Kaffe implementation of the Java VM Specification featuring selective compilation.
  4. A collection of SUIF Passes, written by students of the Software Compilers course at ALaRI and the Program Analysis and Optimization course at Politecnico di Milano, including:
    • Loop Flattening
    • Loop Unrolling
    • Loop Peeling
    • Program instrumentation and profiling tools
    • A simplified C front-end
  5. Forson, by Alfonso Tarantini: a program for syntactically correct sentence generation. Guided by a Bison grammar file as input, it provides random or coverage testing sentences. The program can be used for compiler or parser testing or didactical purposes.
  6. Elcc, by Andrea Mocci: an Earley parser generator written in Python and compatible with Yacc/Bison Syntax.
publications/software.1278497769.txt.gz · Last modified: 2014/10/20 20:25 (external edit)
Recent changes RSS feed Creative Commons License Donate Driven by DokuWiki