High Performance Computing Laboratory · ISTI-CNR · Pisa

Engineering scalable data systems for real-world impact.

We design algorithms and systems that make information access and AI fast, practical and scalable under real-world constraints: massive data, tight latency, limited energy and hardware budgets, distributed infrastructures and privacy. Our work spans efficient retrieval over learned sparse and dense representations, learning to rank and conversational search; semantic enrichment of mobility and social data; resource-aware, decentralized AI, and orchestration across the cloud–edge continuum. We pair algorithmic design with careful engineering and reproducible evaluation.

—
Peer-reviewed papers
—
In A/A* conferences and Q1 journals
—
Citations to these papers
36
Research projects
—
Awards and recognitions

Research

Four research lines

01

Efficient, distributed and resource-aware AI

LLMs and agentic applications that stay accurate and reliable under limits on latency, memory, energy, bandwidth and privacy. Compression, quantization, distillation, pruning, caching and adaptive inference; parameter-efficient fine-tuning; federated and decentralized AI for services that run close to users and data, across cloud, edge and device.

    Papers in this line →
    02

    Efficient information retrieval and search

    Accurate, low-latency search over massive, heterogeneous collections. Learned dense and sparse representations and their indexing, compression and querying; vector search and approximate nearest neighbours; learning to rank, re-ranking, hybrid retrieval and retrieval-augmented generation that balance effectiveness and efficiency.

      Papers in this line →
      03

      Cloud-edge continuum and distributed platforms

      Platforms that bring computation and data closer to users across cloud, edge, device and federated environments. Decentralized, AI-enhanced orchestration for service placement, scheduling, resource allocation and migration that adapts to workload, resources and mobility, cutting latency, bandwidth, energy and cost.

        Papers in this line →
        04

        Mobility, social data and semantic enrichment

        AI-driven analysis of mobility, social, textual and spatio-temporal data. Semantic trajectories, large-scale mobility analytics, context-aware services and LLM-based understanding of text and social media, for smart mobility, transportation, tourism and urban computing.

          Papers in this line →

          People

          Our team

          Researchers and staff

          Ph.D. students

          Research associates

          Former researchers and Ph.D. students

          Many of our alumni now hold positions at universities (Sapienza University of Rome, Ca' Foscari University of Venice, UCL) and companies such as Meta, Twitter, Bloomberg, Ferrari, Yahoo and DuckDuckGo.

          Results & impact

          Selected results

          Award-winning work, patented technology and our most-cited papers of recent years.

          Award-winning papers

          Patents

          Most cited since

            Citation counts from OpenAlex, updated with each build.

            Software & data

            Open-source software and datasets

            Our research ships as code and data others can reuse. Most tools are open source; our efficient-retrieval libraries are collected under TusKANNy ↗.

            tusKANNy

            Rust · learned sparse retrieval

            Seismic

            Fast retrieval over learned sparse embeddings. Inverted lists are split into geometrically cohesive blocks with summary sketches, so most blocks can be skipped at query time. SIGIR 2024 Best Paper Runner-up; 1st and 2nd place at the SISAP 2026 Indexing Challenge with kANNolo.

            tusKANNy

            Rust · ANN search

            kANNolo

            A research library for approximate nearest-neighbour search over dense and sparse embeddings, built for easy prototyping without giving up speed. Implements HNSW graph indexes and product quantization.

            QuickRank logo

            C++ · learning to rank

            QuickRank

            An efficient learning-to-rank toolkit with C++ implementations of GBRT, LambdaMART, Oblivious GBRT/LambdaMART, Coordinate Ascent and RankBoost.

            RankEval logo

            Python · ranking evaluation

            RankEval

            Analysis and evaluation of learning-to-rank models built on ensembles of regression trees: interoperable tools to compare and dissect models from different LtR libraries.

            TripBuilder

            Web app · tourism

            TripBuilder

            Plans time-budgeted sightseeing tours from points of interest and tourist movement patterns mined from Wikipedia and Flickr. ECIR 2014 Best Demo Award.

            SearchShortcuts

            Web search · query suggestion

            SearchShortcuts

            Query suggestion that copes with data sparsity, so it works well for rare queries in the long tail of the query distribution.

            Datasets

            Awards

            Awards & recognition

            1. 2026
              Best Paper · Honorable Mention

              When Reducing Representations Improves Performance

              ECIR 2026 · A. Pasin, G. Faggioli, N. Ferro, R. Perego, N. Tonellotto

            2. 2026
              Challenge winner · 1st & 2nd place

              SISAP 2026 Indexing Challenge, Task 3 (sparse)

              Two Indexes, One Foundation: kANNolo and Seismic for Efficient Learned Sparse Retrieval · S. Martinico, F. M. Nardini, C. Rulli, R. Venturini

            3. 2025
              Best Short Student Paper

              Investigating the Scalability of Approximate Sparse Retrieval Algorithms to Massive Datasets

              ECIR 2025 · S. Bruch, F. M. Nardini, C. Rulli, R. Venturini, L. Venuta

            4. 2024
              Best Paper · Runner-up

              Efficient Inverted Indexes for Approximate Retrieval over Learned Sparse Representations

              ACM SIGIR 2024 · S. Bruch, F. M. Nardini, C. Rulli, R. Venturini

            5. 2023
              Best Paper · Honorable Mention

              A Geometric Framework for Query Performance Prediction in Conversational Search

              ACM SIGIR 2023 · G. Faggioli, N. Ferro, C. I. Muntean, R. Perego, N. Tonellotto

            6. 2022
              Best Industry-Impact Paper

              Ensemble Model Compression for Fast and Energy-Efficient Ranking on FPGAs

              ECIR 2022 · V. Gil-Costa, F. Loor, R. Molina, F. M. Nardini, R. Perego, S. Trani

            7. 2021
              Industry grant

              Xilinx University Donation Program

              An Alveo U55C data-center accelerator card for research on fast ranking on FPGAs · F. M. Nardini

            8. 2017
              Industry grant

              NVIDIA Academic GPU Grant Program

              A Titan Xp GPU · F. M. Nardini

            9. 2016
              Best Student Paper

              SEL: A Unified Algorithm for Entity Linking and Saliency Detection

              ACM DocEng 2016 · S. Trani, D. Ceccarelli, C. Lucchese, S. Orlando, R. Perego

            10. 2015
              Best Paper

              QuickScorer: a Fast Algorithm to Rank Documents with Additive Ensembles of Regression Trees

              ACM SIGIR 2015 · C. Lucchese, F. M. Nardini, S. Orlando, R. Perego, N. Tonellotto, R. Venturini. Also a Notable Article in Computing 2015, ACM Computing Reviews.

            11. 2014
              Best Paper

              Partitioned Elias-Fano Indexes

              ACM SIGIR 2014 · G. Ottaviano, R. Venturini

            12. 2014
              Best Demo Paper

              TripBuilder: A Tool for Recommending Sightseeing Tours

              ECIR 2014 · I. Brilhante, J. A. Macedo, F. M. Nardini, C. Renso, R. Perego

            13. 2014
              Research awards

              Yahoo Faculty Research and Engagement Program (two awards)

              R. Perego: using query logs to recommend mobile apps · R. Venturini: compressed data structures for personal document collections

            14. 2013
              Best Paper

              Baquara: A Holistic Ontological Framework for Movement Analysis Using Linked Data

              ER 2013 · R. Fileto, M. Krüger, N. Pelekis, Y. Theodoridis, C. Renso

            15. 2013
              Notable Article

              Discovering Tasks from Search Engine Query Logs

              ACM TOIS · selected by ACM Computing Reviews · C. Lucchese, S. Orlando, R. Perego, F. Silvestri, G. Tolomei

            16. 2013
              Challenge winner

              Monte Carlo Simulation for SPECT with XtreemOS

              XtreemOS Challenge · E. Carlini, S. Erturk, G. Righetti

            17. 2011
              Best Paper · Runner-up

              Identifying Task-based Sessions in Search Engine Query Logs

              ACM WSDM 2011 · C. Lucchese, S. Orlando, R. Perego, F. Silvestri, G. Tolomei

            18. 2010
              Best Paper

              Efficient Dynamic Pruning with Proximity Support

              LSDS-IR 2010 (SIGIR workshop) · N. Tonellotto, C. Macdonald, I. Ounis

            19. 2010
              Best Paper · Runner-up

              Mining Top-K Patterns from Binary Datasets in Presence of Noise

              SIAM SDM 2010 · C. Lucchese, S. Orlando, R. Perego

            20. 2010
              Nomination

              ERCIM Cor Baayen Award

              C. Lucchese, one of the two Italian nominees (F. Silvestri was nominated in 2005)

            21. 2007
              Best Paper

              Sorting Out the Document Identifier Assignment Problem

              ECIR 2007 · F. Silvestri

            22. 2004
              Best Paper

              An Online Recommender System for Large Web Sites

              Web Intelligence 2004 · R. Baraglia, F. Silvestri

            Contact

            Work with us

            We welcome Ph.D. candidates, visiting researchers and industrial partners interested in efficient search, AI and data systems. Write to the lab head to get in touch.

            Where we are

            HPC Lab · ISTI "A. Faedo"
            Consiglio Nazionale delle Ricerche
            Area della Ricerca di Pisa, Building B, 2nd floor (gates 19–20)
            Via G. Moruzzi 1, 56124 Pisa, Italy

            Open in Google Maps ↗

            Getting here

            From Pisa Centrale, take bus LAM Verde towards Via di Pratale and get off at the first stop in Via Volpi. The CNR campus is a short walk away.