Luigi Liquori 

INRIA Senior Researcher

LogNet Team

I3S - CNRS - INRIA-Sophia - UNSA

Sophia Antipolis Méditerranée, France

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  
  • Programmable Overlay Network Computers
  • Ubiquitous/Pervasive Computing
  • Internet of the Future

Curriculum Vitae (in French)

Research Interest (in French)

Publications

Habilitation

• HDR

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

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!