Theses & Proposals

Theses Proposals

Currently, the HPDCS group offers to the students the possibility to work on the following topics:

  • Parallel Discrete Event Simulation
  • Transactional Memory
  • Software Reversibility
  • Performance Models

More information about open topics can be found on prof. Alessandro Pellegrini Theses Page.

Archive of past theses

Our group has been involved in the following Doctoral, Master’s, and Bachelor’s theses.

2020

  • [PhD] Romolo Marotta: Innovative Algorithms for Shared Data Structures in Multi-core Platforms - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • [PhD] Simone Economo: Techniques and tools for program tracing and analysis with applications to parallel programming - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • [MSc] Umberto Mazziotta: Parallel Priorities: Optimizing Priority Queues for NUMA Machines - [download]
    Supervisor: A. Pellegrini - Co-Supervisor: Romolo Marotta
  • [MSc] Lorenzo Altamura: Asymmetric Runtime Environments for Increased-Performance Speculative PDES - [download]
    Supervisor: A. Pellegrini

2019

  • [PhD] Davide Cingolani: A new approach to reversible computing with applications to speculative parallel simulation - [download]
    Supervisor: F. Quaglia
  • [PhD] Mauro Ianni: Share-everything Parallel Discrete Event Simulation on Multi-core Machines - [download]
    Supervisor: F. Quaglia
  • [MSc] Serena Ferracci: Detecting Cache-based Side Channel Attacks using Hardware Performance Counters - [download]
    Supervisor: A. Pellegrini
  • [MSc] Andrea Piccione: An Agent-Based Simulation API for Speculative PDES Runtime Environments - [download]
    Supervisor: A. Pellegrini

2018

  • [MSc] Matteo Principe: Transparent Distributed Cross-State Synchronization in Optimistic Parallel Discrete Event Simulation - [download]
    Supervisor: B. Ciciani - Co-Supervisor: F. Quaglia, A. Pellegrini
  • [MSc] Stefano Carnà: HOP - Hardware-based Online Profiling of multi-threaded applications via AMD Instruction-Based Sampling - [download]
    Supervisor: F. Quaglia - Co-Supervisor: S. Economo

2017

  • [MSc] Emiliano Silvestri: Fine-Grain Time-Shared Execution of In-Memory Transactions - [download]
    Supervisor: F. Quaglia - Co-Supervisors: S. Economo, A. Pellegrini, P. Di Sanzo
  • [MSc] Stefano Conoci: Efficient Software Transactional Memory via Thread Scheduling and Dynamic Voltage and Frequency Scaling - [download]
    Supervisor: F. Quaglia
  • [MSc] Salvatore Rivieccio: Energy Efficient Spin-Locking in Multi-Core Machines - [download]
    Supervisor: F. Quaglia
  • [MSc] Andrea Scarselli: A Lock-Free Buddy System for Scalable Memory Allocation - [download]
    Supervisor: F. Quaglia - Co-Supervisors: M. Ianni, R. Marotta
  • [MSc] Tommaso Tocci: ORCHESTRA: An Asynchronous Wait-Free Distributed GVT Algorithm - [download]
    Supervisor: B. Ciciani - Co-Supervisor: A. Pellegrini
  • [BSc] Marta Paolucci: Progetto e sviluppo dell’assemblatore e supporti di simulazione per il processore z64 - [download]
    Supervisor: B. Ciciani - Co-Supervisor: A. Pellegrini

2016

  • [MSc] Romolo Marotta: A Lock-Free O(1) Priority Queue for Pending Event Set Management - [download]
    Supervisor: F. Quaglia - Co-Supervisors: P. Di Sanzo, A. Pellegrini
  • [MSc] Nazzareno Marziale: Dynamic Clustering of Simulation Objects in Speculative Parallel Simulation Systems - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • [MSc] Francesco Nobilia: Runtime Management of Simulation Objects Cross-State Dependencies in NUMA-oriented Parallel Simulation Platforms - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2015

  • [MSc] Mauro Ianni: Transactional Memory Based Speculative Parallel Execution of Discrete Event Applications - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • [MSc] Simone Economo: Lightweight approximate virtual page access tracing of multi-threaded applications via static binary instrumentation - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • [MSc] Andrea La Rizza: Elastic cloud resources provisioning for life insurance undertaking applications - [download]
    Supervisor: B. Ciciani - Co-Supervisors: P. Di Sanzo, A. Pellegrini
  • [MSc] Luca Forte: Proactive Workload Management in Cloud Environments in the Presence of Software Aging - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • [BSc] Andrea Scarselli: Gestione ottimizzata della delivery e del buffering dei messaggi in piattaforme multi-thread in architetture NUMA - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • [BSc] Daniele Moriggi: Progetto di un assemblatore per il processore z64 - [download]
    Supervisor: B. Ciciani - Co-Supervisor: A. Pellegrini

2014

  • [PhD] Alessandro Pellegrini: Techniques for Transparent Parallelization of Discrete Event Simulation Models - [download]
    Supervisor: F. Quaglia
  • [PhD] Sebastiano Peluso: Efficient Protocols for Replicated Transactional Systems - [download]
    Supervisors: F. Quaglia, P. Romano
  • [PhD] Diego Rughetti: Autonomic Concurrency Regulation in Software Transactional Memories - download]
    Supervisor: B. Ciciani
  • [MSc] Davide Cingolani: Application Transparent and Efficient Mixed State-Saving in Speculative Simulation Platforms - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2013

  • [PhD] Roberto Vitali: Design of Software Support Structures for High Performance Optimistic Simulations with Special Focus on Multi-Core Hosting Environment - [download]
    Supervisor: F. Quaglia

2012

  • [PhD] Pierangelo Di Sanzo: Performance Models of Concurrency Control Protocols for Transaction Processing Systems - [download]
    Supervisor: B. Ciciani
  • [PhD] Roberto Palmieri: Speculative Protocols for Actively Replicated Transactional Systems - [download]
    Supervisor: F. Quaglia
  • [MSc] Pietro Stroia: Securing the IDT and the System Call Table from malicious LKMs - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2011

  • [MSc] Alice Porfirio: Progettazione e implementazione di un meccanismo di rollback parziale per memorie software transazionali - [download]
    Supervisor: F. Quaglia - Co-Supervisors: P. Di Sanzo, A. Pellegrini
  • [MSc] Gionata Cerasuolo: Cache-Aware Memory Manager for Optimistic Simulations Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini, R. Vitali
  • [BSc] Fernando Visca: Tecniche di instrumentazione statica per il supporto alla trasparenza verso il programmatore nelle STM - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini, R. Palmieri

2010

  • [MSc] Alessandro Pellegrini: Salvataggio e Ripristino Autonomico dello Stato degli Oggetti nei Sistemi di Simulazione Ottimistici - [download]
    Supervisor: F. Quaglia
  • [MSc] Sebastiano Peluso
    Supervisor: F. Quaglia
  • [MSc] Diego Didona
    Supervisor: F. Quaglia

2008

  • [MSc] Roberto Vitali
    Supervisor: F. Quaglia
  • [MSc] Diego Rughetti: Raccolta ed elaborazione di dati provenienti da reti di sensori distribuiti - [download]
    Supervisor: B. Ciciani - Co-Supervisor: P. Romano
  • [MSc] Roberto Palmieri: Modeling And Evaluation Of Relational Dbms Based On Lock Concurrency Control And Non Uniform Data Access Pattern - [download]
    Supervisor: F. Quaglia
  • [BSc] Alessandro Pellegrini: Tracciamento trasparente ed efficiente di scritture su memoria dinamica con granularità arbitraria in architetture per il calcolo ottimistico - [download]
    Supervisor: F. Quaglia

2007

  • [PhD] Paolo Romano: Protocols for End-To-End Reliability in Multi-Tier Systems - [download]
    Supervisor: F. Quaglia

2006

  • [BSc] Roberto Palmieri: MicroOpGen tool and developing extensions for DisSimulator, a simulator for PD32 educational-processor Supervisor: B. Ciciani

2003

  • [PhD] Andrea Santoro: Semi-Asynchronous Checkpointing for Optimistic Parallel Simulation
    Supervisor: B. Ciciani

2004

  • [BSc] Diego Rughetti
    Supervisor: B. Ciciani

1999

  • [PhD] Francesco Quaglia: Consistent Checkpointing in Distributed Computations: Theoretical Results and Protocols - [download]
    Supervisor: B. Ciciani
  • [PhD] Milton Romero: Disparity/Motion Estimation for Stereoscopic Video Processing
    Supervisor: B. Ciciani

1998

  • [PhD] Gianluca Battaglini: Analysis of Manufacturing Yields Evaluation of VLSI/WSI Systems: Methods and Methodologies
    Supervisor: B. Ciciani

1995

  • [MSc] Francesco Quaglia: Passo ottimo del salvataggio dello stato nel tool SIMCOR
    Supervisor: B. Ciciani