Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Luigi Liquori INRIA Researcher, MASCOTTE Project Team

Luigi Liquori

INRIA Researcher

Mascotte Project Team (wiki)

I3S - CNRS - INRIA -Sophia - UNSA

Sophia Antipolis, France

Luigi Liquori, Ph.D, INRIA Researcher
Vox : +33 4 92 38 71 93
Fax    : +33 4 92 38 79 71
Mob : +33 6 65 39 51 32
Url    : www-sop.inria.fr/mascotte/Luigi.Liquori
Eml   : Let (*,#)=(.,@) in Luigi*Liquori#inria*fr
Pst     : INRIA, 2004 Route des Lucioles - BP 93
            FR-06902 Sophia Antipolis, France

Mascotte's Project Assistants
Ephie Deriche :
Vox : +33 4 92 38 76 75
Fax    : +33 4 92 38 79 71

Patricia Lachaume :
Vox   : +33 4 92 94 27 19
Fax    : +33 4 92 94 28 98

Research Activities

Object-Oriented Type-Theory and Semantics for:

Functional Programming Languages
Imperative Programming Languages
Concurrent Programming Languages
Logic Programming Languages

Semantics of

Lambda-calculus
Rho-calculus
Object-calculus
Term Rewriting Systems
Continuations

Foundation of Proof Assistants via Dependent-type Theory
Foundations of (NEW)

Overlay Networks
Overlay Computers
Ubiquitous/Pervasive Computing

Forthcoming Habilitation

Selected Software (in french)

(Momix) Outil de prototypage rapide des simulateurs Manager/Agent (400K lignes de code ProTalk, pour 40H/A de travail). Beaucoup de versions de Momix sont utilisées par Telecom Italia, en particulier pour la gestion du réseau téléphonique SDH. J'ai apporté ma contribution au projet Momix : en complétant les parties (non triviales) du modèle informatique qui manquaient ( 2K lignes) ; en deboguant des parties (non triviales) du logiciel ( 10K lignes) ; en écrivant quelques hypothèses évolutives du logiciel ; en assurant le service d'assistance en ligne aux utilisateurs/testeurs de Telecom Italia. Deux publications sur ce sujet ont été écrite. Pour problèmes de copyright la distribution est limité à l'intérieur de Telecom Italia.
(iRho & Snakes) Interprète du calcul de réécriture impératif ([4,20], liste publ.). La sémantique statique et dynamique ont été prouvé correct à l'aide de d'une programmation en Coq. La version de iRho V1.1, actuellement distribuée, a été complètement réécrite. Un nouveau parseur, des nouvelles constructions syntactiques ont été rajouté, comme par exemple, les gardes sur le patterns, les antipatterns (récemment formalisée par Kirchner-Moreau, ESOP-07), les antiexpressions, un mécanisme d'exception et la possibilité de paramétrer une évaluation par rapport au type de filtrage (pattern matching) utilisée, etc. Snake est une version sucré de iRho où toutes les mots clés du langage sont complètement non-alpha, c.à.d. sans aucun mot clés en anglais ou francais (que des ascii-icones).
(Arigamulator) Simulateur des protocoles de l'overlay Arigatoni. Avec l'aide de Raphaël Chand, un simulateur des protocoles de Resource Discovery, RD et virtual intermittence, VI de l'overlay (2.5K lignes en C++) à été écrit et maintenant distribué. Le simulateur s'est révélé indispensable pour valider le passage à l'échelle de nos algorithmes par rapport à la topologie choisie (hybrid-multi layer).

Selected Projets

ARIGATONI -- Research: Programmable Overlay Network for Generic Resouce Discovery
COLORS -- Action INRIA Sophia: Arigatoni on Wheels (with Politecnico di Torino, ETH Zurich)
AEOLUS -- FP6 FET Global Computing: Algorithmic Principles for Building Efficient Overlay Computers (WIKI, CORDIS)
MIRO -- INRIA Team: Objects, Types and Prototypes: Semantics and Validation (2001-2003)
TYPES -- FP6 Thematic Network: Types for Proofs and Programs

Selected Events that I serve

FOOL07, ECOOP07

News

L. Liquori, A Spiwack. FeatherTrait: A Modest Extension of Featherweight Java. ACM Transaction on Programming Languages and Systems, 24 pages, ACM Press, accepted, to appear, 2007. GET-IT!
R. Chand, M. Cosnard, L. Liquori. The Arigatoni Overlay Network: An Improved Resource Discovery Protocol. Future Generation Computer Systems, 13 pages, Elsevier, accepted, to appear, 2007. GET-IT!
L. Liquori, A Spiwack. Extending FeatherTrait Java with Interfaces. In Mario Coppo, Mariangiola Dezani and Simona Ronchi della Rocca Festschrift. Theoretical Computer Science, 25 pages, Elsevier, accepted, to appear, 2007. GET-DRAFT!
F. Honsell, M. Lenisa, L. Liquori. A Framework for Defining Logical Frameworks. In Gordon D. Plotkin Festschrift. Electronic Notes in Theoretical Computer Science, 42 pages, accepted, to appear, Elsevier, 2007. GET-IT!
L. Liquori, B. Serpette. iRho: An Imperative Rewriting-calculus. Mathematical Structures in Computer Science, 34 pages, Cambridge University Press, accepted, to appear, 2007. GET-IT!
A. Ciaffaglione, L. Liquori, M. Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. Journal of Automated Reasoning, 54 pages, Kluwer Academic Publishers, accepted, to appear, 2007. GET-IT!
D. Benza, M. Cosnard, L. Liquori, M. Vesin. Arigatoni: A Simple Programmable Overlay Network. In Proc. of JVA'06, John Vincent Atanasoff International Symposium on Modern Computing, Sofia, Bulgaria, pages 82--91, IEEE Computer Society, 2006. GET-IT!