Currently, the HPDCS group offers to the students the possibility to work on the following topics:
More information about open topics can be found on prof. Alessandro Pellegrini Theses Page.
Our group has been involved in the following Doctoral, Master’s, and Bachelor’s theses.
[PhD]
Romolo Marotta: Innovative Algorithms for Shared Data Structures in Multi-core Platforms - [download] [PhD]
Simone Economo: Techniques and tools for program tracing and analysis with applications to parallel programming - [download] [MSc]
Umberto Mazziotta: Parallel Priorities: Optimizing Priority Queues for NUMA Machines - [download] [MSc]
Lorenzo Altamura: Asymmetric Runtime Environments for Increased-Performance Speculative PDES - [download] [PhD]
Davide Cingolani: A new approach to reversible computing with applications to speculative parallel simulation - [download] [PhD]
Mauro Ianni: Share-everything Parallel Discrete Event Simulation on Multi-core Machines - [download] [MSc]
Serena Ferracci: Detecting Cache-based Side Channel Attacks using Hardware Performance Counters - [download] [MSc]
Andrea Piccione: An Agent-Based Simulation API for Speculative PDES Runtime Environments - [download] [MSc]
Matteo Principe: Transparent Distributed Cross-State Synchronization in Optimistic Parallel Discrete Event Simulation - [download] [MSc]
Stefano Carnà: HOP - Hardware-based Online Profiling of multi-threaded applications via AMD Instruction-Based Sampling - [download] [MSc]
Emiliano Silvestri: Fine-Grain Time-Shared Execution of In-Memory Transactions - [download] [MSc]
Stefano Conoci: Efficient Software Transactional Memory via Thread Scheduling and Dynamic Voltage and Frequency Scaling - [download] [MSc]
Salvatore Rivieccio: Energy Efficient Spin-Locking in Multi-Core Machines - [download] [MSc]
Andrea Scarselli: A Lock-Free Buddy System for Scalable Memory Allocation - [download] [MSc]
Tommaso Tocci: ORCHESTRA: An Asynchronous Wait-Free Distributed GVT Algorithm - [download] [BSc]
Marta Paolucci: Progetto e sviluppo dell’assemblatore e supporti di simulazione per il processore z64 - [download] [MSc]
Romolo Marotta: A Lock-Free O(1) Priority Queue for Pending Event Set Management - [download] [MSc]
Nazzareno Marziale: Dynamic Clustering of Simulation Objects in Speculative Parallel Simulation Systems - [download] [MSc]
Francesco Nobilia: Runtime Management of Simulation Objects Cross-State Dependencies in NUMA-oriented Parallel Simulation Platforms - [download] [MSc]
Mauro Ianni: Transactional Memory Based Speculative Parallel Execution of Discrete Event Applications - [download] [MSc]
Simone Economo: Lightweight approximate virtual page access tracing of multi-threaded applications via static binary instrumentation - [download] [MSc]
Andrea La Rizza: Elastic cloud resources provisioning for life insurance undertaking applications - [download] [MSc]
Luca Forte: Proactive Workload Management in Cloud Environments in the Presence of Software Aging - [download] [BSc]
Andrea Scarselli: Gestione ottimizzata della delivery e del buffering dei messaggi in piattaforme multi-thread in architetture NUMA - [download] [BSc]
Daniele Moriggi: Progetto di un assemblatore per il processore z64 - [download] [PhD]
Alessandro Pellegrini: Techniques for Transparent Parallelization of Discrete Event Simulation Models - [download] [PhD]
Sebastiano Peluso: Efficient Protocols for Replicated Transactional Systems - [download] [PhD]
Diego Rughetti: Autonomic Concurrency Regulation in Software Transactional Memories - download] [MSc]
Davide Cingolani: Application Transparent and Efficient Mixed State-Saving in Speculative Simulation Platforms - [download] [PhD]
Roberto Vitali: Design of Software Support Structures for High Performance Optimistic Simulations with Special Focus on Multi-Core Hosting Environment - [download] [PhD]
Pierangelo Di Sanzo: Performance Models of Concurrency Control Protocols for Transaction Processing Systems - [download] [PhD]
Roberto Palmieri: Speculative Protocols for Actively Replicated Transactional Systems - [download] [MSc]
Pietro Stroia: Securing the IDT and the System Call Table from malicious LKMs - [download] [MSc]
Alice Porfirio: Progettazione e implementazione di un meccanismo di rollback parziale per memorie software transazionali - [download] [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] [MSc]
Alessandro Pellegrini: Salvataggio e Ripristino Autonomico dello Stato degli Oggetti nei Sistemi di Simulazione Ottimistici - [download] [MSc]
Sebastiano Peluso [MSc]
Diego Didona [MSc]
Roberto Vitali [MSc]
Diego Rughetti: Raccolta ed elaborazione di dati provenienti da reti di sensori distribuiti - [download] [MSc]
Roberto Palmieri: Modeling And Evaluation Of Relational Dbms Based On Lock Concurrency Control And Non Uniform Data Access Pattern - [download] [BSc]
Alessandro Pellegrini: Tracciamento trasparente ed efficiente di scritture su memoria dinamica con granularità arbitraria in architetture per il calcolo ottimistico - [download] [PhD]
Paolo Romano: Protocols for End-To-End Reliability in Multi-Tier Systems - [download] [BSc]
Roberto Palmieri: MicroOpGen tool and developing extensions for DisSimulator, a simulator for PD32 educational-processor
Supervisor: B. Ciciani[PhD]
Andrea Santoro: Semi-Asynchronous Checkpointing for Optimistic Parallel Simulation [BSc]
Diego Rughetti [PhD]
Francesco Quaglia: Consistent Checkpointing in Distributed Computations: Theoretical Results and Protocols - [download] [PhD]
Milton Romero: Disparity/Motion Estimation for Stereoscopic Video Processing [PhD]
Gianluca Battaglini: Analysis of Manufacturing Yields Evaluation of VLSI/WSI Systems: Methods and Methodologies [MSc]
Francesco Quaglia: Passo ottimo del salvataggio dello stato nel tool SIMCOR