
Luigi Liquori
INRIA
Senior Researcher
Sophia Antipolis Méditerranée, France
Luigi Liquori, H.d.R., 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/members/Luigi.Liquori
Eml : Let
(*,#)=(.,@)
in Luigi*Liquori#inria*fr
Pst : INRIA, 2004 Route des
Lucioles - BP 93
FR-06902
Sophia Antipolis, France
LogNet's Project Assistant
Corinne
Mangin:
Vox : +33 4 92 38 78 57
Fax : +33 4 92 38 76 43
Research Activities
- Object-Oriented Type-Theory and Semantics for:
- Functional Programming Languages
- Imperative Programming Languages
- Concurrent Programming Languages
- Logic Programming Languages
- Semantics of
- Foundation of Proof Assistants via Dependent-type Theory
- Foundations
of
- Programmable Overlay Network Computers
- Ubiquitous/Pervasive Computing
- Internet of the Future
Curriculum Vitae (in French)
PDF
Research Interest (in French)
PDF
Publications
PDF,
GET-IT,
DBLP,
GOOGLE,
CITESEER(<2004),
MATHSCINET,
TEAMLIST
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. 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)
- DEUKS -- FP6 TEMPUS:
CD_JEP-41099-2006 (RS) Doctoral School Towards European Knowledge
Society
- TYPES -- FP6 Thematic Network:
Types for Proofs and Programs
- MIRO -- INRIA Team:
Objects,
Types and Prototypes: Semantics and Validation
(2001-2003)
Selected Events that I serve
FOOL07,
ECOOP07,
SC08,
HotP2P08 Last Papers
- D. Borsetti, C. Casetti, C. F. Chiasserini and L. Liquori. Content Discovery in Heterogeneous Mobile Networks. In Heterogeneous Wireless Access Networks: Architectures and Protocols, Springer-Verlag, book chapter, invited, 2008. GET-IT!
- L. Liquori, D. Borsetti, C. Casetti, and C. F. Chiasserini.
An Overlay Architecture for Vehicular Networks. In Proc. of IFIP
Networking-08. International Conferences on Networking, Lecture Notes in Computer Science,
4982, pages 60--71, Springer-Verlag, 2008. GET-IT!
- L. Liquori, M. Cosnard. Logical Networks: Towards
Foundations of
Programmable Overlay Networks and Overlay Computing Systems:
In Proc.
of TGC-07. International Symposium on Trustworthy Global Computing, Lecture
Notes in Computer Science, 4912, Springer-Verlag,
2008. 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, 395(?), pages --, 2008. GET-IT!
- L. Liquori, A Spiwack. FeatherTrait: A
Modest
Extension of Featherweight Java. ACM Transaction on
Programming
Languages and Systems, 30(2), ACM Press,
2008. GET-IT!
- R. Chand, M. Cosnard,
L. Liquori. The Arigatoni
Overlay Network: An Improved Resource Discovery Protocol. Future
Generation Computer Systems, 24(1), pp 31--38,
Elsevier, 2008. GET-IT!
- L. Liquori, B. Serpette. iRho: An
Imperative
Rewriting-calculus. Mathematical Structures in Computer
Science, 18, Cambridge University Press, 2008. GET-IT!
- M. Cosnard, L. Liquori. Weaving Arigatoni with a graph
topology: In Prof. of ADVCOMP-07. International Conference on Advanced
Engineering Computing and Applications in Sciences, IEEE
Computer Society, 2007. GET-IT!
- F. Honsell, M. Lenisa,
L. Liquori. A Framework for
Defining Logical Frameworks. In Computation,
Meaning and Logic. Articles dedicated to Gordon Plotkin. Electronic
Notes in Theoretical Computer Science, pages 399--436, Elsevier, 2007. GET-IT!
- L. Liquori and S. Ronchi della Rocca.
Intersection-Types à la Church. Information and
Computation, 205(9), pages 1371--1386, Elsevier, 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,
39(1), pages 1-47, Kluwer
Academic Publishers, 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!