Theses Proposals

This page reports (as much as I can) about current vacant theses assignments which can be carried out with me. For additional information, come to office hours or send an email to the instructor.

Message To Prospective Students

My research program is very software-intensive, focusing largely in the area of parallel and distributing computing, performance evaluation, modeling and computer simulation, computer architectures, operating systems. If you wish to work with me on a Master’s Thesis, please consider the following checklist before:

I am not scared to write in C, and I have a strong desire to work with software very intensely.
I have been exposed to some low-level assembly language programming like x86 or ARM, MIPS or other, and it has been an interesting expecience.
I have been using UNICES (Linux, FreeBSD or other variants) happily for a while.
I have been exposed to parallel programming ( pthreads, MPI, OpenMP).
I have fun with algorithms.
I’m not scared by mathematical and logical modeling.

If you recognize yourself (even partially) in the above profile, or if you would like to increase your skills in some of the above points, please send me an email!

I look forward to hearing from you!

Theses Topics at a glance

High Performance Simulation

Theses in the field of High Performance Simulation tackles topics related to the design and development of distributed and highly-parallel runtime environments to support the execution of generic simulation models according to a speculative processing paradigm. Some theses target the definition and implementation of simulation models relying on this paradigm.

To get more information on this thesis topic, you can read the following papers: 1 2 3 4 5 6.

Spiking Neural Networks

Spiking neural networks (SNN) are among the most computationally intensive types of simulation models, with node counts on the order of up to $10^{11}$. This thesis topic tackles the implementation of efficient runtime environments for SNN simulation on parallel and distributed architectures. See this supporting material for an additional framing of the topic: 1, 2. Also, we are currently exploring the behaviour of these networks, when compared to more traditional timestepped execution models.

High-Performance Data Processing

We are building a high-performance software infrastructure to support (distributed) data processing of massively-parallel simulations. Theses in this topic deal with distributed systems, high-performance computing, autonomic optimization, heterogeneous computing. Also, we are interested in programmability of these systems, to identify effective ways to deploy stream processing pipelines to (distributed) heterogeneous systems.

Energy Efficiency

Theses in this field tackle with the problem of identifying a suitable trade-off between performance and energy consumption. The body of work in this area targets methodologies and techniques to allow for an automatic identification of the power/energy/performance level which maximizes the overall efficiency of the application.

To get more information on this thesis topic, you can read the following papers: 1 2 3 4.

Additional topics regard the identification of the optimal placement of computation in complex heterogeneous systems, to identify optimal configurations that can improve performance while saving on energy.

Non-Blocking Algorithms

Non-blocking algorithms are a family of concurrent algorithms which enforce correctness by relying on fine-grain synchronization hardware instructions, globally termed Read-Modify-Write instructions. Theses in this family address the implementation of data structures which support a massive number of concurrent operations by relying on this form of fine-grain synchronization.

To get more information on this thesis topic, you can read the following papers: 1 2

Heterogeneous Architectures

Heterogeneous architectures are computer architectures in which there are several different families of processing units (CPUs, GPUs, Coprocessors, low-energy cores, etc.) which can be exploited simultaneously. In this context, we are studying how to make different hardware classes interact to reach a common (synchronized) processing goal.

Cybersecurity

In the context of cybersercurity, we are mostly dealing with defensive security. The main topics are related to Intellectual Property Preservation, by means of code obfuscation based on virtualization and self-modifying binaries. The approach we tackle is profoundly based on low-level manipulation of code and data, driven by high level tools proper of Theoretical Computer Science.

Theses Archive

Below, you can find a list of Bachelor’s (a selection), Master’s, and PhD thesis which I have been involved in supervising, or which belong to my research group. They could serve as an indication of the kind of work which is carried out by my research group.

2024

[MSc Thesis] S. Bauco, “Una metodologia Model-Driven Engineering per lo sviluppo di Domain-Specific Languages,” University of Rome “Tor Vergata,” 2024. [PDF] [Bibtex]

@mastersthesis{tBauc24,
  author = {Bauco, Simone},
  school = {University of Rome ``Tor Vergata''},
  title = {Una metodologia Model-Driven Engineering per lo sviluppo di Domain-Specific Languages},
  year = {2024},
  month = oct,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

[PhD Thesis] A. Pimpini, “Techniques for Accurate and Scalable Simulation of Spiking Neural Networks using Speculative Discrete Event Simulation,” Sapienza, University of Rome, 2024. [PDF] [Bibtex]

@phdthesis{tPimp24,
  author = {Pimpini, Adriano},
  school = {Sapienza, University of Rome},
  title = {Techniques for Accurate and Scalable Simulation of Spiking Neural Networks using Speculative Discrete Event Simulation},
  year = {2024},
  month = sep,
  type = {phdthesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

[MSc Thesis] M. Antonangeli, “4SweepTron: B5G Portable Spectrum Monitoring based on Micro-Service Architecture,” University of Rome “Tor Vergata,” 2024. [PDF] [Bibtex]

@mastersthesis{tAnto24,
  author = {Antonangeli, Mattia},
  school = {University of Rome ``Tor Vergata''},
  title = {4SweepTron: B5G Portable Spectrum Monitoring based on Micro-Service Architecture},
  year = {2024},
  month = apr,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini, Co-Supervisor: Luca Chiaraviglio}
}

Supervisor: A. Pellegrini, Co-Supervisor: Luca Chiaraviglio

[MSc Thesis] A. P. Baba, “Miglioramento dell’accuratezza e dell’efficienza energetica delle reti neurali ad impulso tramite tempistiche accurate: un caso di studio,” University of Rome “Tor Vergata,” 2024. [PDF] [Bibtex]

@mastersthesis{tBaba24,
  author = {Baba, Adrian Petru},
  school = {University of Rome ``Tor Vergata''},
  title = {Miglioramento dell'accuratezza e dell'efficienza energetica delle reti neurali ad impulso tramite tempistiche accurate: un caso di studio},
  year = {2024},
  month = apr,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

2023

[PhD Thesis] A. Piccione, “On Techniques to Handle Risk in Speculative Pallel Discrete-Event Simulation,” Sapienza, University of Rome, 2023. [PDF] [Bibtex]

@phdthesis{tPicc23,
  author = {Piccione, Andrea},
  school = {Sapienza, University of Rome},
  title = {On Techniques to Handle Risk in Speculative Pallel Discrete-Event Simulation},
  year = {2023},
  month = may,
  type = {phdthesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

[MSc Thesis] D. Dell’Orco, “Unmasking Android Malware: A Comprehensive Study of Evasion Techniques and Detection Strategies,” University of Rome “Tor Vergata,” 2023. [Bibtex]

@mastersthesis{tDell23,
  author = {Dell'Orco, Danilo},
  school = {University of Rome ``Tor Vergata''},
  title = {Unmasking Android Malware: A Comprehensive Study of Evasion Techniques and Detection Strategies},
  year = {2023},
  month = apr,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

[MSc Thesis] M. Ciccaglione, “Metamorphic transformations: Safeguarding software IP with Generative Grammars,” University of Rome “Tor Vergata,” 2023. [PDF] [Bibtex]

@mastersthesis{tCicc23,
  author = {Ciccaglione, Matteo},
  school = {University of Rome ``Tor Vergata''},
  title = {Metamorphic transformations: Safeguarding software IP with Generative Grammars},
  year = {2023},
  month = apr,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

[MSc Thesis] A. Pepe, “Engine Metamorfico per la Protezione della Proprietà Intellettuale,” University of Rome “Tor Vergata,” 2023. [PDF] [Bibtex]

@mastersthesis{tPepe23,
  author = {Pepe, Andrea},
  school = {University of Rome ``Tor Vergata''},
  title = {Engine Metamorfico per la Protezione della Proprietà Intellettuale},
  year = {2023},
  month = apr,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

[MSc Thesis] P. Caliandro, “Protezione della proprietà intellettuale mediante offuscamento basato su virtualizzazione,” University of Rome “Tor Vergata,” 2023. [PDF] [Bibtex]

@mastersthesis{tCali23,
  author = {Caliandro, Pierciro},
  school = {University of Rome ``Tor Vergata''},
  title = {Protezione della proprietà intellettuale mediante offuscamento basato su virtualizzazione},
  year = {2023},
  month = apr,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

[MSc Thesis] S. Tiberi, “Meccanismo d’autorizzazione per accedere ad oggetti critici del kernel basato sul percorso d’esecuzione,” University of Rome “Tor Vergata,” 2023. [PDF] [Bibtex]

@mastersthesis{tTibe23,
  author = {Tiberi, Simone},
  school = {University of Rome ``Tor Vergata''},
  title = {Meccanismo d’autorizzazione per accedere ad oggetti critici del kernel basato sul percorso d’esecuzione},
  year = {2023},
  month = feb,
  type = {mathesis},
  comment = {Supervisors: F. Quaglia, A. Pellegrini}
}

Supervisors: F. Quaglia, A. Pellegrini

2022

[PhD Thesis] M. Principe, “New methods for the effectiveness of speculative parallel discrete event simulation,” University of Rome “Tor Vergata,” 2022. [PDF] [Bibtex]

@phdthesis{tPrin22,
  author = {Principe, Matteo},
  school = {University of Rome ``Tor Vergata''},
  title = {New methods for the effectiveness of speculative parallel discrete event simulation},
  year = {2022},
  month = sep,
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[PhD Thesis] S. Carnà, “Methodologies and techniques for on-line exploitation of Performance Monitor Units in modern computing systems,” Sapienza, University of Rome, 2022. [PDF] [Bibtex]

@phdthesis{tCarn22,
  author = {Carnà, Stefano},
  school = {Sapienza, University of Rome},
  title = {Methodologies and techniques for on-line exploitation of Performance Monitor Units in modern computing systems},
  year = {2022},
  month = jan,
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2021

[MSc Thesis] A. Izzillo, “Graph and Flow-based Distributed Detection and Mitigation of Botnet Attacks,” Sapienza, University of Rome, 2021. [PDF] [Bibtex] [Abstract]

@mastersthesis{tIzz21,
  author = {Izzillo, Alessio},
  school = {Sapienza, University of Rome},
  title = {Graph and Flow-based Distributed Detection and Mitigation of Botnet Attacks},
  year = {2021},
  month = jan,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini.}
}

Supervisor: A. Pellegrini.

[PhD Thesis] E. Silvestri, “Micro-Threading: Effective Management of Tasks in Parallel Applications,” Sapienza, University of Rome, 2021. [PDF] [Bibtex] [Abstract]

@mastersthesis{tSilv21,
  author = {Silvestri, Emiliano},
  school = {Sapienza, University of Rome},
  title = {Micro-Threading: Effective Management of Tasks in Parallel Applications},
  year = {2021},
  month = jan,
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia.}
}

Supervisor: F. Quaglia.

2020

[PhD Thesis] R. Marotta, “Innovative Algorithms for Shared Data Structures in Multi-core Platforms,” Sapienza, University of Rome, 2020. [Bibtex]

@phdthesis{tMaro20,
  author = {Marotta, Romolo},
  school = {Sapienza, University of Rome},
  title = {Innovative Algorithms for Shared Data Structures in Multi-core Platforms},
  year = {2020},
  month = nov,
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[PhD Thesis] S. Economo, “Techniques and tools for program tracing and analysis with applications to parallel programming,” Sapienza, University of Rome, 2020. [PDF] [Bibtex]

@phdthesis{tEcon20,
  author = {Economo, Simone},
  school = {Sapienza, University of Rome},
  title = {Techniques and tools for program tracing and analysis with applications to parallel programming},
  year = {2020},
  month = nov,
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[MSc Thesis] A. Pimpini, “High Performance Simulation of Spiking Neural Networks,” Sapienza, University of Rome, 2020. [PDF] [Bibtex] [Abstract]

@mastersthesis{tPimp20,
  author = {Pimpini, Adriano},
  school = {Sapienza, University of Rome},
  title = {High Performance Simulation of Spiking Neural Networks},
  year = {2020},
  month = oct,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini.}
}

Supervisor: A. Pellegrini.

[MSc Thesis] L. Altamura, “Asymmetric Runtime Environments for Increased-Performance Speculative PDES,” Sapienza, University of Rome, 2020. [PDF] [Bibtex] [Abstract]

@mastersthesis{tAlta20,
  author = {Altamura, Lorenzo},
  school = {Sapienza, University of Rome},
  title = {Asymmetric Runtime Environments for Increased-Performance Speculative PDES},
  year = {2020},
  month = jan,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini. Co-Supervisor: S. Conoci}
}

Supervisor: A. Pellegrini. Co-Supervisor: S. Conoci

[MSc Thesis] U. Mazziotta, “Parallel Priorities: Optimizing Priority Queues for NUMA Machines,” Sapienza, University of Rome, 2020. [PDF] [Bibtex] [Abstract]

@mastersthesis{tMazz20,
  author = {Mazziotta, Umberto},
  school = {Sapienza, University of Rome},
  title = {Parallel Priorities: Optimizing Priority Queues for NUMA Machines},
  year = {2020},
  month = jan,
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini - Co-Supervisor: R. Marotta}
}

Supervisor: A. Pellegrini - Co-Supervisor: R. Marotta

2019

[PhD Thesis] D. Cingolani, “A new approach to reversible computing with applications to speculative parallel simulation,” Sapienza, University of Rome, 2019. [PDF] [Bibtex] [Abstract]

@phdthesis{tCing19,
  author = {Cingolani, Davide},
  school = {Sapienza, University of Rome},
  title = {A new approach to reversible computing with applications to speculative parallel simulation},
  year = {2019},
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[PhD Thesis] M. Ianni, “Share-everything Parallel Discrete Event Simulation on Multi-core Machines,” Sapienza, University of Rome, 2019. [PDF] [Bibtex] [Abstract]

@phdthesis{tIann19,
  author = {Ianni, Mauro},
  school = {Sapienza, University of Rome},
  title = {Share-everything Parallel Discrete Event Simulation on Multi-core Machines},
  year = {2019},
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[MSc Thesis] S. Ferracci, “Detecting Cache-based Side Channel Attacks using Hardware Performance Counters,” Sapienza, University of Rome, 2019. [PDF] [Bibtex] [Abstract]

@mastersthesis{tFerr19,
  author = {Ferracci, Serena},
  school = {Sapienza, University of Rome},
  title = {Detecting Cache-based Side Channel Attacks using Hardware Performance Counters},
  year = {2019},
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini - Co-Supervisor: S. Carnà}
}

Supervisor: A. Pellegrini - Co-Supervisor: S. Carnà

[MSc Thesis] A. Piccione, “An Agent-Based Simulation API for Speculative PDES Runtime Environments,” Sapienza, University of Rome, 2019. [PDF] [Bibtex] [Abstract]

@mastersthesis{tPicc19,
  author = {Piccione, Andrea},
  school = {Sapienza, University of Rome},
  title = {An Agent-Based Simulation API for Speculative PDES Runtime Environments},
  year = {2019},
  type = {mathesis},
  comment = {Supervisor: A. Pellegrini}
}

Supervisor: A. Pellegrini

2018

[MSc Thesis] S. Carnà, “HOP - Hardware-based Online Profiling of multi-threaded applications via AMD Instruction-Based Sampling,” Sapienza, University of Rome, 2018. [PDF] [Bibtex] [Abstract]

@mastersthesis{tCarn18,
  author = {Carnà, Stefano},
  school = {Sapienza, University of Rome},
  title = {HOP - Hardware-based Online Profiling of multi-threaded applications via AMD Instruction-Based Sampling},
  year = {2018},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: S. Economo}
}

Supervisor: F. Quaglia - Co-Supervisor: S. Economo

[MSc Thesis] M. Principe, “Transparent Distributed Cross-State Synchronization in Optimistic Parallel Discrete Event Simulation,” Sapienza, University of Rome, 2018. [PDF] [Bibtex] [Abstract]

@mastersthesis{tPrin18,
  author = {Principe, Matteo},
  school = {Sapienza, University of Rome},
  title = {Transparent Distributed Cross-State Synchronization in Optimistic Parallel Discrete Event Simulation},
  year = {2018},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2017

[MSc Thesis] E. Silvestri, “Fine-Grain Time-Shared Execution of In-Memory Transactions,” Sapienza, University of Rome, 2017. [PDF] [Bibtex] [Abstract]

@mastersthesis{tSilv17,
  author = {Silvestri, Emiliano},
  school = {Sapienza, University of Rome},
  title = {Fine-Grain Time-Shared Execution of In-Memory Transactions},
  year = {2017},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisors: S. Economo, A. Pellegrini, P. Di Sanzo}
}

Supervisor: F. Quaglia - Co-Supervisors: S. Economo, A. Pellegrini, P. Di Sanzo

[MSc Thesis] S. Conoci, “Efficient Software Transactional Memory via Thread Scheduling and Dynamic Voltage and Frequency Scaling,” Sapienza, University of Rome, 2017. [PDF] [Bibtex] [Abstract]

@mastersthesis{tCono17,
  author = {Conoci, Stefano},
  school = {Sapienza, University of Rome},
  title = {Efficient Software Transactional Memory via Thread Scheduling and Dynamic Voltage and Frequency Scaling},
  year = {2017},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: P. Di Sanzo}
}

Supervisor: F. Quaglia - Co-Supervisor: P. Di Sanzo

[MSc Thesis] S. Rivieccio, “Energy Efficient Spin-Locking in Multi-Core Machines,” Sapienza, University of Rome, 2017. [PDF] [Bibtex] [Abstract]

@mastersthesis{tRivi17,
  author = {Rivieccio, Salvatore},
  school = {Sapienza, University of Rome},
  title = {Energy Efficient Spin-Locking in Multi-Core Machines},
  year = {2017},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: P. Di Sanzo}
}

Supervisor: F. Quaglia - Co-Supervisor: P. Di Sanzo

[MSc Thesis] A. Scarselli, “A Lock-Free Buddy System for Scalable Memory Allocation,” Sapienza, University of Rome, 2017. [PDF] [Bibtex] [Abstract]

@mastersthesis{tScar17,
  author = {Scarselli, Andrea},
  school = {Sapienza, University of Rome},
  title = {A Lock-Free Buddy System for Scalable Memory Allocation},
  year = {2017},
  type = {mathesis},
  comment = {Supervisor: B. Ciciani - Co-Supervisor: F. Quaglia, M. Ianni, R. Marota}
}

Supervisor: B. Ciciani - Co-Supervisor: F. Quaglia, M. Ianni, R. Marota

[MSc Thesis] T. Tocci, “ORCHESTRA: An Asynchronous Wait-Free Distributed GVT Algorithm,” Sapienza, University of Rome, 2017. [PDF] [Bibtex] [Abstract]

@mastersthesis{tTocc17,
  author = {Tocci, Tommaso},
  school = {Sapienza, University of Rome},
  title = {ORCHESTRA: An Asynchronous Wait-Free Distributed GVT Algorithm},
  year = {2017},
  type = {mathesis},
  comment = {Supervisor: B. Ciciani - Co-Supervisor: A. Pellegrini}
}

Supervisor: B. Ciciani - Co-Supervisor: A. Pellegrini

2016

[MSc Thesis] R. Marotta, “A Lock-Free O(1) Priority Queue for Pending Event Set Management,” Sapienza, University of Rome, 2016. [PDF] [Bibtex]

@mastersthesis{tMaro16,
  author = {Marotta, Romolo},
  school = {Sapienza, University of Rome},
  title = {A Lock-Free O(1) Priority Queue for Pending Event Set Management},
  year = {2016},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisors: P. Di Sanzo, A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisors: P. Di Sanzo, A. Pellegrini

[MSc Thesis] N. Marziale, “Dynamic Clustering of Simulation Objects in Speculative Parallel Simulation Systems,” Sapienza, University of Rome, 2016. [PDF] [Bibtex] [Abstract]

@mastersthesis{tMarz16,
  author = {Marziale, Nazzareno},
  school = {Sapienza, University of Rome},
  title = {Dynamic Clustering of Simulation Objects in Speculative Parallel Simulation Systems},
  year = {2016},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[MSc Thesis] F. Nobilia, “Runtime Management of Simulation Objects Cross-State Dependencies in NUMA-oriented Parallel Simulation Platforms,” Sapienza, University of Rome, 2016. [PDF] [Bibtex] [Abstract]

@mastersthesis{tNobi16,
  author = {Nobilia, Francesco},
  school = {Sapienza, University of Rome},
  title = {Runtime Management of Simulation Objects Cross-State Dependencies in NUMA-oriented Parallel Simulation Platforms},
  year = {2016},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2015

[MSc Thesis] M. Ianni, “Transactional Memory Based Speculative Parallel Execution of Discrete Event Applications,” Sapienza, University of Rome, 2015. [PDF] [Bibtex] [Abstract]

@mastersthesis{tIann15,
  author = {Ianni, Mauro},
  school = {Sapienza, University of Rome},
  title = {Transactional Memory Based Speculative Parallel Execution of Discrete Event Applications},
  year = {2015},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[MSc Thesis] S. Economo, “Lightweight approximate virtual page access tracing of multi-threaded applications via static binary instrumentation,” Sapienza, University of Rome, 2015. [PDF] [Bibtex] [Abstract]

@mastersthesis{tEcon15,
  author = {Economo, Simone},
  school = {Sapienza, University of Rome},
  title = {Lightweight approximate virtual page access tracing of multi-threaded applications via static binary instrumentation},
  year = {2015},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

[MSc Thesis] A. La Rizza, “Elastic cloud resources provisioning for life insurance undertaking applications,” Sapienza, University of Rome, 2015. [PDF] [Bibtex] [Abstract]

@mastersthesis{tRizz15,
  author = {La Rizza, Andrea},
  school = {Sapienza, University of Rome},
  title = {Elastic cloud resources provisioning for life insurance undertaking applications},
  year = {2015},
  type = {mathesis},
  comment = {Supervisor: B. Ciciani - Co-Supervisors: A. Pellegrini}
}

Supervisor: B. Ciciani - Co-Supervisors: A. Pellegrini

[MSc Thesis] L. Forte, “Proactive Workload Management in Cloud Environments in the Presence of Software Aging,” Sapienza, University of Rome, 2015. [PDF] [Bibtex] [Abstract]

@mastersthesis{tFort15,
  author = {Forte, Luca},
  school = {Sapienza, University of Rome},
  title = {Proactive Workload Management in Cloud Environments in the Presence of Software Aging},
  year = {2015},
  type = {mathesis},
  comment = {Supervisor: B. Ciciani - Co-Supervisors: P. Di Sanzo, A. Pellegrini}
}

Supervisor: B. Ciciani - Co-Supervisors: P. Di Sanzo, A. Pellegrini

[BSc Thesis] A. Scarselli, “Gestione ottimizzata della delivery e del buffering dei messaggi in piattaforme multi-thread in architetture NUMA,” Sapienza, University of Rome, 2015. [PDF] [Bibtex] [Abstract]

@mastersthesis{tScar15,
  author = {Scarselli, Andrea},
  school = {Sapienza, University of Rome},
  title = {Gestione ottimizzata della delivery e del buffering dei messaggi in piattaforme multi-thread in architetture NUMA},
  year = {2015},
  type = {bathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2014

[PhD Thesis] A. Pellegrini, “Techniques for Transparent Parallelization of Discrete Event Simulation Models,” Sapienza, University of Rome, 2014. [PDF] [Bibtex] [Abstract]

@phdthesis{tPell14,
  author = {Pellegrini, Alessandro},
  school = {Sapienza, University of Rome},
  title = {Techniques for Transparent Parallelization of Discrete Event Simulation Models},
  year = {2014},
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

[PhD Thesis] S. Peluso, “Efficient Protocols for Replicated Transactional Systems,” Sapienza, University of Rome, 2014. [PDF] [Bibtex] [Abstract]

@phdthesis{tPelu14,
  author = {Peluso, Sebastiano},
  school = {Sapienza, University of Rome},
  title = {Efficient Protocols for Replicated Transactional Systems},
  year = {2014},
  type = {phdthesis},
  comment = {Supervisors: F. Quaglia, P. Romano}
}

Supervisors: F. Quaglia, P. Romano

[PhD Thesis] D. Rughetti, “Autonomic Concurrency Regulation in Software Transactional Memories,” Sapienza, University of Rome, 2014. [PDF] [Bibtex] [Abstract]

@phdthesis{tRugh14,
  author = {Rughetti, Diego},
  school = {Sapienza, University of Rome},
  title = {Autonomic Concurrency Regulation in Software Transactional Memories},
  year = {2014},
  type = {phdthesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

[MSc Thesis] D. Cingolani, “Application Transparent and Efficient Mixed State-Saving in Speculative Simulation Platforms,” Sapienza, University of Rome, 2014. [PDF] [Bibtex] [Abstract]

@mastersthesis{tCing14,
  author = {Cingolani, Davide},
  school = {Sapienza, University of Rome},
  title = {Application Transparent and Efficient Mixed State-Saving in Speculative Simulation Platforms},
  year = {2014},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2013

[PhD Thesis] R. Vitali, “Design of Software Support Structures for High Performance Optimistic Simulations with Special Focus on Multi-Core Hosting Environment,” Sapienza, University of Rome, 2013. [PDF] [Bibtex] [Abstract]

@phdthesis{tVita13,
  author = {Vitali, Roberto},
  school = {Sapienza, University of Rome},
  title = {Design of Software Support Structures for High Performance Optimistic Simulations with Special Focus on Multi-Core Hosting Environment},
  year = {2013},
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

2012

[PhD Thesis] P. Di Sanzo, “Performance Models of Concurrency Control Protocols for Transaction Processing Systems,” Sapienza, University of Rome, 2012. [PDF] [Bibtex] [Abstract]

@phdthesis{tDiSa12,
  author = {Di Sanzo, Pierangelo},
  school = {Sapienza, University of Rome},
  title = {Performance Models of Concurrency Control Protocols for Transaction Processing Systems},
  year = {2012},
  type = {phdthesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

[PhD Thesis] R. Palmieri, “Speculative Protocols for Actively Replicated Transactional Systems,” Sapienza, University of Rome, 2012. [PDF] [Bibtex] [Abstract]

@phdthesis{tPalm12,
  author = {Palmieri, Roberto},
  school = {Sapienza, University of Rome},
  title = {Speculative Protocols for Actively Replicated Transactional Systems},
  year = {2012},
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

[MSc Thesis] P. Stroia, “Securing the IDT and the System Call Table from malicious LKMs,” Sapienza, University of Rome, 2012. [PDF] [Bibtex] [Abstract]

@mastersthesis{tStro12,
  author = {Stroia, Pietro},
  school = {Sapienza, University of Rome},
  title = {Securing the IDT and the System Call Table from malicious LKMs},
  year = {2012},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisor: A. Pellegrini

2011

[MSc Thesis] A. Porfirio, “Progettazione e implementazione di un meccanismo di rollback parziale per memorie software transazionali,” Sapienza, University of Rome, 2011. [PDF] [Bibtex] [Abstract]

@mastersthesis{tPorf11,
  author = {Porfirio, Alice},
  school = {Sapienza, University of Rome},
  title = {Progettazione e implementazione di un meccanismo di rollback parziale per memorie software transazionali},
  year = {2011},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisors: P. Di Sanzo, A. Pellegrini}
}

Supervisor: F. Quaglia - Co-Supervisors: P. Di Sanzo, A. Pellegrini

[MSc Thesis] G. Cerasuolo, “Cache-Aware Memory Manager for Optimistic Simulations,” Sapienza, University of Rome, 2011. [Bibtex]

@mastersthesis{tCera11,
  author = {Cerasuolo, Gionata},
  school = {Sapienza, University of Rome},
  title = {Cache-Aware Memory Manager for Optimistic Simulations},
  year = {2011},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini, R. Vitali}
}

Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini, R. Vitali

[BSc Thesis] F. Visca, “Tecniche di instrumentazione statica per il supporto alla trasparenza verso il programmatore nelle STM,” Sapienza, University of Rome, 2011. [PDF] [Bibtex] [Abstract]

@mastersthesis{tVisc11,
  author = {Visca, Fernando},
  school = {Sapienza, University of Rome},
  title = {Tecniche di instrumentazione statica per il supporto alla trasparenza verso il programmatore nelle STM},
  year = {2011},
  type = {bathesis},
  comment = {Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini, R. Palmieri}
}

Supervisor: F. Quaglia - Co-Supervisors: A. Pellegrini, R. Palmieri

2010

[MSc Thesis] A. Pellegrini, “Salvataggio e Ripristino Autonomico dello Stato degli Oggetti nei Sistemi di Simulazione Ottimistici,” Sapienza, University of Rome, 2010. [PDF] [Bibtex] [Abstract]

@mastersthesis{tPell10,
  author = {Pellegrini, Alessandro},
  school = {Sapienza, University of Rome},
  title = {Salvataggio e Ripristino Autonomico dello Stato degli Oggetti nei Sistemi di Simulazione Ottimistici},
  year = {2010},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

[MSc Thesis] S. Peluso, “missing record,” Sapienza, University of Rome, 2010. [Bibtex]

@mastersthesis{tPelu10,
  author = {Peluso, Sebastiano},
  school = {Sapienza, University of Rome},
  title = {missing record},
  year = {2010},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

[MSc Thesis] D. Didona, “missing record,” Sapienza, University of Rome, 2010. [Bibtex]

@mastersthesis{tDido10,
  author = {Didona, Diego},
  school = {Sapienza, University of Rome},
  title = {missing record},
  year = {2010},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

2008

[MSc Thesis] R. Vitali, “missing record,” Sapienza, University of Rome, 2008. [Bibtex]

@mastersthesis{tVita08,
  author = {Vitali, Roberto},
  school = {Sapienza, University of Rome},
  title = {missing record},
  year = {2008},
  type = {mathesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

[MSc Thesis] D. Rughetti, “Raccolta ed elaborazione di dati provenienti da reti di sensori distribuiti,” Sapienza, University of Rome, 2008. [PDF] [Bibtex] [Abstract]

@mastersthesis{tRugh08,
  author = {Rughetti, Diego},
  school = {Sapienza, University of Rome},
  title = {Raccolta ed elaborazione di dati provenienti da reti di sensori distribuiti},
  year = {2008},
  type = {mathesis},
  comment = {Supervisor: B. Ciciani - Co-Supervisor: P. Romano}
}

Supervisor: B. Ciciani - Co-Supervisor: P. Romano

[MSc Thesis] R. Palmieri, “Modellazione e valutazione di DBMS relazionali basati su lock e pattern di accesso non uniformi,” Sapienza, University of Rome, 2008. [PDF] [Bibtex] [Abstract]

@mastersthesis{tPalm08,
  author = {Palmieri, Roberto},
  school = {Sapienza, University of Rome},
  title = {Modellazione e valutazione di DBMS relazionali basati su lock e pattern di accesso non uniformi},
  year = {2008},
  type = {mathesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

[BSc Thesis] A. Pellegrini, “Tracciamento trasparente ed efficiente di scritture su memoria dinamica con granularità arbitraria in architetture per il calcolo ottimistico,” Sapienza, University of Rome, 2008. [PDF] [Bibtex] [Abstract]

@mastersthesis{tPell08,
  author = {Pellegrini, Alessandro},
  school = {Sapienza, University of Rome},
  title = {Tracciamento trasparente ed efficiente di scritture su memoria dinamica con granularità arbitraria in architetture per il calcolo ottimistico},
  year = {2008},
  type = {bathesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

2007

[PhD Thesis] P. Romano, “Protocols for End-To-End Reliability in Multi-Tier Systems,” Sapienza, University of Rome, 2007. [PDF] [Bibtex] [Abstract]

@phdthesis{tRoma07,
  author = {Romano, Paolo},
  school = {Sapienza, University of Rome},
  title = {Protocols for End-To-End Reliability in Multi-Tier Systems},
  year = {2007},
  type = {phdthesis},
  comment = {Supervisor: F. Quaglia}
}

Supervisor: F. Quaglia

2006

[BSc Thesis] R. Palmieri, “MicroOpGen tool and developing extensions for DisSimulator, a simulator for PD32 educational-processor,” Sapienza, University of Rome, 2006. [Bibtex]

@mastersthesis{tPalm06,
  author = {Palmieri, Roberto},
  school = {Sapienza, University of Rome},
  title = {MicroOpGen tool and developing extensions for DisSimulator, a simulator for PD32 educational-processor},
  year = {2006},
  type = {bathesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

2003

[PhD Thesis] A. Santoro, “Semi-Asynchronous Checkpointing for Optimistic Parallel Simulation,” Sapienza, University of Rome, 2003. [Bibtex]

@phdthesis{tSant03,
  author = {Santoro, Andrea},
  school = {Sapienza, University of Rome},
  title = {Semi-Asynchronous Checkpointing for Optimistic Parallel Simulation},
  year = {2003},
  type = {phdthesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

1999

[PhD Thesis] F. Quaglia, “Consistent Checkpointing in Distributed Computations: Theoretical Results and Protocols,” Sapienza, University of Rome, 1999. [PDF] [Bibtex] [Abstract]

@phdthesis{tQuag99,
  author = {Quaglia, Francesco},
  school = {Sapienza, University of Rome},
  title = {Consistent Checkpointing in Distributed Computations: Theoretical Results and Protocols},
  year = {1999},
  type = {phdthesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

[PhD Thesis] M. Romero, “Disparity/Motion Estimation for Stereoscopic Video Processing,” Sapienza, University of Rome, 1999. [Bibtex]

@phdthesis{tRome99,
  author = {Romero, Milton},
  school = {Sapienza, University of Rome},
  title = {Disparity/Motion Estimation for Stereoscopic Video Processing},
  year = {1999},
  type = {phdthesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

1998

[PhD Thesis] G. Battaglini, “Analysis of Manufacturing Yields Evaluation of VLSI/WSI Systems: Methods and Methodologies,” Sapienza, University of Rome, 1998. [Bibtex]

@phdthesis{tBatt98,
  author = {Battaglini, Gianluca},
  school = {Sapienza, University of Rome},
  title = {Analysis of Manufacturing Yields Evaluation of VLSI/WSI Systems: Methods and Methodologies},
  year = {1998},
  type = {phdthesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

1995

[MSc Thesis] F. Quaglia, “Passo ottimo del salvataggio dello stato nel tool SIMCOR,” Sapienza, University of Rome, 1995. [Bibtex]

@mastersthesis{tQuag95,
  author = {Quaglia, Francesco},
  school = {Sapienza, University of Rome},
  title = {Passo ottimo del salvataggio dello stato nel tool SIMCOR},
  year = {1995},
  type = {mathesis},
  comment = {Supervisor: B. Ciciani}
}

Supervisor: B. Ciciani

Alessandro Pellegrini

Message To Prospective Students

Theses Topics at a glance

High Performance Simulation

Spiking Neural Networks

High-Performance Data Processing

Energy Efficiency

Non-Blocking Algorithms

Heterogeneous Architectures

Cybersecurity

Theses Archive

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2008

2007

2006

2003

1999

1998

1995