Rathaxes : a language for device programming ?

Intervenant(s) : Lionel Auroux, David Pineau

  • Langue : English
  • Type d'événement : Conférence
  • Date : Jeudi 12 juillet 2012
  • Horaire : 14h00
  • Durée : 40 minutes
  • Lieu : Uni Mail R170


Rathaxes is a domain specific language (DSL) for device drivers programming. Our language is translated into native C by the compiler with the help of library of code templates (for Windows, Linux, OpenBSD,...). Rathaxes is not an API. Developed by students of the LSE (EPITA Systems Laboratory www.lse.epita.fr), researcher and confirmed engineers, the project is hosted by Google Code (code.google.com/p/Rathaxes). Rathaxes is an open source project : the language is under the GPLv3 license and templates library of code is under 3 clauses BSD license.

We have already presented our project at the LSM 2008 and 2011. Our presentation will provide feedbacks on the evolution of the project, with a more detailed presentation about how to use rathaxes from an OS Developer point of view :

  • Rathaxes : Why a language ?
  • What is a device ? How does the system use it ?
  • How does the Rathaxes compiler work ?
  • Presentation of the language
  • Demonstration of the current prototype with an explanation of How To Implement an OS’s Backend for Rathaxes.
  • Roadmap ...


Lionel : Head of LSE, Lionel Auroux is professor of compilation at EPITECH since 9 years, where he teach to his students how to perform a toy compiler for the language KOOC (http://lse.epita.fr/teaching/course...) for studying the implementation of the object paradigm. Because of this experience and suites to the work of Dr. Laurent Réveillère (LRI - 2002 : Devil IDL for hardware programming), he initiated the project and maintains a Rathaxes essential bricks a customizable C front-end compiler (http://code.google.com/p/cnorm/).

David : Currently employed by Scality, a rising startup in the cloud storage business, david joined the LSE out of thirst for knowledge during his studies. There, he worked mostly on Rathaxes, and implemented a big part of the current compiler.