Luigi Liquori 

INRIA Senior Researcher

LogNet Team

INRIA-Sophia Antipolis Méditerranée

Sophia Antipolis Méditerranée, France

Research Activities 

• Foundations of Generic Overlay Networks
• Language semantics
• Object-Oriented, Functional, Imperative, Concurrent, Logic
• Logics and Computations
  • Lambda-calculus, Type Theory, Rho-calculus, Term Rewriting Systems, Continuations
• Foundation of Proof Assistants via Dependent-type Theory
  

Curriculum Vitae

Publications

Habilitation

• HDR

Selected Projets

• myMed -- Interreg Alcotra:  un réseau informatique transfrontalier pour l'échange de contenus dans un environnement fixe et mobile (with Politecnico di Torino, Università di Torino, Università del Piemonte Orientale), 2010--2013.
• JMED -- Action Color INRIA Sophia: Design, Formalization, and Implementation of Flexible Composition
   Mechanisms on the Java Language Platform (with Università di Genova), 2010
• ARIGATONI -- Research: Programmable Overlay Network for Generic Resouce Discovery, 2004--
• ARIWHEELS -- Action Color INRIA Sophia: Arigatoni on Wheels (with Politecnico di Torino), 2007.
• AEOLUS -- FP6 FET Global Computing: Algorithmic Principles for Building Efficient Overlay Computers (WIKI, CORDIS), 2006-2010.
• DEUKS -- FP6 TEMPUS: CD_JEP-41099-2006 (RS) Doctoral School Towards European Knowledge Society, 2006-2009.
• TYPES -- FP6 Thematic Network: Types for Proofs and Programs
• MIRO -- INRIA Team: Objects, Types and Prototypes: Semantics and Validation, 2001-2003.

Selected Software

• (Synapse) Synapse is a scalable protocol for information retrieval over the inter-connection of heterogeneous overlay networks. Applications of top of Synapse see those intra-overlay networks as a unique inter-overlay network.  Scalability in Synapse is achieved via co-located nodes, \ie\ nodes that are part of multiple overlay networks at the same time. Co-located nodes, playing the role of neural synapses and connected to several overlay networks, give a larger search area and provide alternative routing. Synapse can either work with ``open'' overlays adapting their protocol to synapse interconnection requirements, or with ``closed'' overlays that will not accept any change to their protocol. Built-in primitives to deal with social networking give an incentive for nodes cooperation.
• (CarPal) CarPal, is a proof-of-concept for a mobility sharing application that leverages a Distributed Hash Table to allow a community of people to spontaneously share trip information without the costs of a centralized structure.  The peer-to-peer architecture allows moreover the deployment on portable devices and opens new scenarios where trips and sharing requests can be updated in real time.  Using an original protocol already developed that allows to interconnect different overlays/communities, the success rate (number of shared rides) can be boosted up thus increasing the effectiveness of our solution. Simulations results are shown to give a possible estimate of such effectiveness.
  
• (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).

Last Papers

• New!  V. Ciancaglini, L. Liquori and L. Vanni. CarPal : interconnecting overlay networks for a community-driven shared mobility, In Proc. of TGC'10. International Symposium on Trustworthy Global Computing, Munich, Germany. Lecture Notes in Computer Science, Springer-Verlag, to appear, 2010. GET-IT!
  
  
• New!  D. Dougherty and L. Liquori. Logic and computation in a lambda calculus with intersection and union types, In Proc. of LPAR'10. Logic for Programming, Artificial Intelligence, and Reasoning, Dakar, Senegal, Lecture Notes in Computer Science, Springer-Verlag, to appear, 2010. GET-IT!


• New!  L. Liquori, C. Tedeschi, L. Vanni, F. Bongiovanni, V. Ciancaglini and B. Marinkovic. Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks, In Proc. of IFIP Networking'10. International Conferences on Networking., Chennai, India Lecture Notes in Computer Science, Springer-Verlag, to appear, 2010. GET-IT!


• L. Liquori, C. Tedeschi and F. Bongiovanni. Babelchord: a social tower of DHT-based overlay networks. In Proc. of IEEE ISCC'09. Symposium on Computers and Communications, Sousse, Tunisie. IEEE Computer Society, pages 307-312, 2009. GET-IT!
  
  
• 27%  F. Honsell, M. Lenisa, and L. Liquori, and I. Scagnetto. A Conditional Logical Framework. In Proc. of LPAR'08. Logic for Programming, Artificial Intelligence, and Reasoning, Doha, Qatar, Lecture Notes in Computer Science 5330, pages 143–157, Springer-Verlag, 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., Singapore. Lecture Notes in Computer Science, 4982, pages 60–71, Springer-Verlag, 2008. GET-IT!
  
  
• 39%  L.  Liquori and 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, Sophia-Antipolis, France. Lecture Notes in Computer Science, 4912, Springer-Verlag, 2008. GET-IT!


• Invited  D. Borsetti, C. Casetti, C. F. Chiasserini and L. Liquori. Content Discovery in Heterogeneous Mobile Networks. Heterogeneous Wireless Access Networks: Architectures and Protocols, E. Hossain editor, pages 419–441, Springer-Verlag, book chapter, 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!
  
  
• Invited  L. Liquori, A Spiwack. Extending FeatherTrait Java with Interfaces. In Calculi, Types and Applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. Theoretical Computer Science, 398(1-3), pages 243–260, Elsevier, 2008. GET-IT!
  
  
• Selected  R. Chand, M. Cosnard, L. Liquori. Powerful Resource Discovery for Arigatoni Overlay Network. 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!
  
  
• L. Liquori and S. Ronchi della Rocca. Intersection-Types à la Church. Information and Computation, 205(9), pages 1371–1386, Elsevier, 2007. GET-IT!
  
  
• Invited  F. Honsell, M. Lenisa, and 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!
  
  
• A. Ciaffaglione, L. Liquori, and 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! 
  
  
• M. Cosnard and L. Liquori. Weaving Arigatoni with a graph topology: In Proc. of ADVCOMP-07. International Conference on Advanced Engineering Computing and Applications in Sciences, 8 pages, IEEE Computer Society, 2007. GET-IT!
  
  
• 24%  R. Chand, M. Cosnard, and L. Liquori. Improving Resource Discovery in the Arigatoni Overlay Network. In Proc. of ARCS'07: 20th International Conference on Architecture of Computing Systems System Aspects in Pervasive and Organic Computing, Lecture Notes in Computer Science, 4415, pages 98–111, Springer-Verlag, 2007. GET-IT!