This page contains
Other pages
|
|
Le 18 décembre 2010, Madame Jacqueline de Romilly , helléniste, s'en est allée. Membre de l'Académie française, première femme professeur au Collège de France, elle est connue pour ses travaux sur la civilisation et la langue de la Grèce antique, et en particulier pour ses travaux à propos de Thucydide. | Elle disait d'elle-même ne pas avoir eu, «bien sûr», la vie qu'elle souhaitait : « Avoir été juive sous l'Occupation, finir seule, presque aveugle, sans enfants et sans famille, est-ce vraiment sensationnel ? Mais ma vie de professeur a été, d'un bout à l'autre, celle que je souhaitais. » |
La destruction du langage est l'une des formes les plus graves de déshumanisation de l'homme.
I am currently a member of the Proval - Proofs of Programs group, joint team between LRI a Laboratory of French National Council for Scientific Research (CNRS) at Paris Sud 11 University and INRIA - Saclay . Until august 2010, I was a member of the database group.
You can consult a very succinct bio here. Here is my list of publications.
I am interested in Data-Centric Programming Languages. Internet explosion and the ever growing importance of data in applications as well as the recent emergence of Cloud computing, has given birth to a whirlwind of new data models (XML, JSON) and languages (XPath, XQuery, Pig, Jaql...). Whether they are developed under the banner of NoSQL (which stands for Not Only SQL), for BigData Analytics, for Cloud computing or as domain specific languages (DSL) embedded in a host language, most of them share a common subset of SQL and/or the ability to handle semistructured data.
Such languages can greatly benefit from formal uniform foundations, and we argue that such foundations should account for novel features critical to various application domains. Also, most of those languages provide limited type checking, or ignore it altogether. We believe type checking is essential for many applications, with usage ranging from error detection to optimization.
In this context one of my favorite research project is the design and development of CDuce an XML-centric general purpose functionnal programming language free software developed under an MIT license .CDuce is a language for type-safe and fast query and transformation of XML documents. Related Grant: ANR project Codex and ANR project Blanc SIMI2 Typex (Typeful certified XML: integrating language, logic, and data-oriented best practices).
< Be CDuce'd: www.cduce.org />
I am also currently working on NoSQL languages very popular in the context of cloud computing . The aim is to define a general framework that can both express and type any such languages (present or future) via an encoding into a core calculus. Each such language can in this way preserve its execution model but obtain for free a formal semantics, a type inference system and, as it happens, a prototype implementation.
- ICDE 2011 PC Member
- BDA 2011 PC Member
- XSYM 2010 PC Member
- VLDB 2009 PC Member
- Plan-X 2008 PC Member
- XSym 2007 , PC Member
- XIME-P 2007, PC Member
- BDA 2007 PC Member
- XSym 2006 , PC Member
- BDA 2005 , PC Chair
- XSym 2005 , PC Member
- Plan-X 2005, PC Member
- ISMIS 2005 , PC Member
- XIME-P 2004, PC Member
- BDA 2003, PC Member
- BDA 2002, PC Member
