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

Archive of past theses

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

PhD Theses

2014

  • Alessandro Pellegrini: Techniques for Transparent Parallelization of Discrete Event Simulation Models - [download]
    Supervisor: F. Quaglia
  • Sebastiano Peluso: Efficient Protocols for Replicated Transactional Systems - [download]
    Supervisors: F. Quaglia, P. Romano
  • Diego Rughetti: Autonomic Concurrency Regulation in Software Transactional Memories - [download]
    Supervisor: B. Ciciani

2013

  • 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

  • Pierangelo Di Sanzo: Performance Models of Concurrency Control Protocols for Transaction Processing Systems - [download]
    Supervisor: B. Ciciani
  • Roberto Palmieri: Speculative Protocols for Actively Replicated Transactional Systems - [download]
    Supervisor: F. Quaglia

2007

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

2003

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

1999

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

1998

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

Master’s Theses

2018

  • Matteo Principe: Transparent Distributed Cross-State Synchronization in Optimistic Parallel Discrete Event Simulation Supervisor: B. Ciciani - Co-Supervisor: F. Quaglia, A. Pellegrini
  • Stefano Carnà Supervisor: F. Quaglia - Co-Supervisor: S. Economo

2017

  • Emiliano Silvestri: Fine-Grain Time-Shared Execution of In-Memory Transactions - [download]
    Supervisor: F. Quaglia - Co-Supervisors: S. Economo, A. Pellegrini, P. Di Sanzo
  • Stefano Conoci: TITOLO - [download]
    Supervisor: F. Quaglia
  • Salvatore Rivieccio: Energy Efficient Spin-Locking in Multi-Core Machines - [download]
    Supervisor: F. Quaglia
  • Andrea Scarselli: A Lock-Free Buddy System for Scalable Memory Allocation - [download]
    Supervisor: F. Quaglia - Co-Supervisors: M. Ianni, R. Marotta
  • Tommaso Tocci: ORCHESTRA: An Asynchronous Wait-Free Distributed GVT Algorithm - [download]
    Supervisor: B. Ciciani - Co-Supervisor: A. Pellegrini

2016

  • 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
  • Nazzareno Marziale: Dynamic Clustering of Simulation Objects in Speculative Parallel Simulation Systems - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • 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

  • Mauro Ianni: Transactional Memory Based Speculative Parallel Execution of Discrete Event Applications - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • Simone Economo: TITOLO - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini
  • Andrea La Rizza: Elastic cloud resources provisioning for life insurance undertaking applications - [download]
    Supervisor: B. Ciciani - Co-Supervisors: P. Di Sanzo, A. Pellegrini
  • Luca Forte: Proactive Workload Management in Cloud Environments in the Presence of Software Aging - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2014

  • Davide Cingolani: Application Transparent and Efficient Mixed State-Saving in Speculative Simulation Platforms - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2012

  • Pietro Stroia: Securing the IDT and the System Call Table from malicious LKMs - [download]
    Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2011

  • 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
  • Gionata Cerasuolo: Cache-Aware Memory Manager for Optimistic Simulations Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini, R. Vitali

2010

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

2008

  • Roberto Vitali Supervisor: F. Quaglia
  • Diego Rughetti: Raccolta ed elaborazione di dati provenienti da reti di sensori distribuiti - [download
    Supervisor: B. Ciciani - Co-Supervisor: P. Romano
  • Roberto Palmieri: Modeling And Evaluation Of Relational Dbms Based On Lock Concurrency Control And Non Uniform Data Access Pattern - [download]
    Supervisor: F. Quaglia

1995

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

Bachelor’s Theses

2017

  • Marta Paolucci: Progetto e sviluppo dell’assemblatore e supporti di simulazione per il processore z64 - [download]
    Supervisor: B. Ciciani - Co-Supervisor: A. Pellegrini

2015

  • Andrea Scarselli: Gestione ottimizzata della delivery e del buffering dei messaggi in piattaforme multi-thread in architetture NUMA - [download]
    Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini
  • Daniele Moriggi: Progetto di un assemblatore per il processore z64 - [download]
    Supervisor: B. Ciciani - Co-Supervisors: A. Pellegrini

2011

  • 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

2008

  • Alessandro Pellegrini: Tracciamento trasparente ed efficiente di scritture su memoria dinamica con granularità arbitraria in architetture per il calcolo ottimistico - [download]
    Supervisor: F. Quaglia

2006

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

2004

  • Diego Rughetti Supervisor: B. Ciciani

Copyright © 2017 • All rights reserved