Next performance: OWASP 2010

I haven’t had much time to update this blog in the past few months. Well, the good news is that all this time — mostly spent on OPA — is starting to pay off. I’m starting to like our OPA platform quite a lot. Our next release, OPA S3, is shaping up to be absolutely great.

I’m now on my way to OWASP AppSec Research 2010, where I’ll present some of the core design of OPA. Normally, my slides will be made public after the talk, so I’ll try and link them here as soon as I return.

In the meantime, if you’re curious about OPA, I’m starring in a few Dailymotion tutorial slideshows

Offres d’emploi pour informaticiens de haut niveau

MLstate est une jeune entreprise innovante en campagne depuis 2008 pour la reconquête du web. Notre objectif : réinventer les bases technologiques et scientifiques des applications web, pour une toile plus saine, plus sûre et plus sécurisée. Notre équipe R&D compte une vingtaine de passionnés, docteurs ou ingénieurs en informatique, et est sur le point de s’agrandir.

Si vous êtes informaticien de haut niveau, inspiré et ingénieux, si vous êtes doté d’une forte culture informatique et scientifique, d’une grande connaissance des langages fonctionnels et impératifs, de la compilation, des systèmes de types, contactez-nous. Le candidat idéal, docteur ou non, avec ou sans expérience industrielle, aura aussi des connaissances en distribution, parallélisme, bases de données, sera capable d’évoluer dans un environnement polyglotte et disposera de la finesse nécessaire pour construire des produits finis.

Les problèmes à résoudre sont difficiles. Pour relever le défi, contactez-nous à careers@mlstate.com .

OPA internships (continued)

Thanks for all the high-level applications to MLstate’s internships. All positions are now filled.

See you soon for the next release of OPA.

–

Merci pour toutes les (très bonnes) candidatures aux stages que nous avons proposé. Tous les stages ont été pris.

À bientôt pour la prochaine version d’OPA.

OPA bugfix release

A new release of OPA has just been uploaded. This is mostly a bugfix release, pending a batch of improvements expected early March.

An IRC channel for OPA

Just a short entry to inform you that we now have an IRC channel for general discussion about OPA. It’s on Freenode and it’s called, well, #opa.

OCaml Batteries Included 1.0.0

I am happy to inform you of the release of OCaml Batteries Included 1.0.0. After I had to leave the project, it has been lead by Edgar Friendly, who seems to have done a very good job.

Now, I’ll return to my current Batteries Included project

The OPA type system, part 1

edit Part 2 of this post was never written. I no longer work on Opa. For any question regarding Opa, please contact MLstate.

Since the initial announcement regarding OPA, we have received a number of questions regarding all the aspects of the language (including, suprisingly, a few demands for answers and documentation). Well, while we’re busy putting together documentation, benchmarks and FAQ, here’s a quick tour of one of the most fundamental pieces of the language: the type system.

Nouveaux sujets M2

Deux nouveaux sujets M2 pour un stage chez MLstate. Pour plus de détails, cf. le billet qui introduisait les sujets de stage précédents.

Sujet : Bases de données

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Si la fiabilité du stockage lui-même, est un problème largement étudié, la fiabilité des entrées-sorties soulève de nombreuses questions qui restent à explorer. En particulier, que faut-il faire si des données manquent, si le format des données a changé, si les données ont été (re)réparties selon des critères différents des critères attendus.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur les questions d’interaction entre stockage et application web, notamment les notions de partage de données entre applications web et de mise-à-jour du format des données.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml et en OPA.

Sujet : Interaction entre bases de données relationnelles et bases de données structurées

Toute application web dépend d’une base de données pour le stockage des informations à long terme. Le paradigme de stockage employé par la majorité des applications à ce jour est une extension du modèle relationnel, au sens où les informations sont stockées dans des tables (ou “relations”), tables prévues pour être manipulées par un être humain et liées par des clés explicites. À l’inverse, un autre paradigme de bases de données, parfois appelé “structuré”, “algébrique” ou “objet”, stocke les informations sous la forme de structures de données, prévues pour être manipulées par un programme et liées par des références implicites.

Dans le cadre de ce travail, l’étudiant prendra part à la recherche et au développement de MLstate sur l’unification des modèles relationnels et structurés. En particulier, l’étudiant devra concevoir et implanter des techniques permettant d’exploiter des bases de données relationnelles et des données préexistantes dans le cadre d’un paradigme structuré, ainsi que de porter au modèle structuré les outils de consultation traditionnellement exploités dans le modèle relationnel.

Ce travail sera dirigé par Louis Gesbert et impliquera de la programmation en OCaml, en OPA et dans divers dialectes de SQL.

Stages M2 langages de programmation

Mise-à-jour:

Merci pour toutes les (très bonnes) candidatures aux stages que nous avons proposé. Tous les stages ont été pris.

À bientôt pour la prochaine version d’OPA.

Internship in Virtual Machine Design

Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans) offer a research or engineering internship in the domain of Programming Language Design, under the supervision of David Teller (SDS) and Henri Binsztok (MLState).