Table of Contents
Progetti di Laboratorio Software
Questa pagina contiene un elenco di progetti per il corso di Laboratorio Software costantemente aggiornato.
Qui trovate anche una lista sintetica dei vari progetti proposti direttamente da me (eventualmente in collaborazione con altri docenti e dottorandi).
Per progetti nell'ambito della Robotica e dell'Intelligenza Artificiale, consultate il sito del gruppo AIR.
Lista sintetica
Questa lista contiene una sintesi dei progetti disponibili quest'anno (su richiesta, potrebbere essere ancora disponibili i progetti dello scorso anno).
Lista completa dei progetti
In questa lista, i progetti compaiono a partire dagli inserimenti più recenti.
Minisat on CUDA
This project aims at speeding up the execution of SAT solvers using the CUDA graphics hardware programming model.
The project is suitable for one to three students (depending on the algorithms chosen).
The development will be done in C using the CUDA Software Developers Kit. Minisat is a possible target SAT solver.
Contacts:
Code instrumentation for security analysis
The project aims at building tools to:
- Counter the new code injection vulnerability techniques based on “return-oriented programming”;
- Prevent buffer overflow exploiting through proper handling of segment violations;
- Control flow graph reconstruction for malware analysis.
The main development toolkit will be Pin, which provides a flexible infrastructure for code instrumentation.
Contact people:
Progetti di Bioinformatica
Ecco una descrizione di progetti di area bioinformatica.
La persona da contattare per questi progetti e' Marco Masseroli.
Development of C# Application Testbench
The goal of this project is to extend the result of previous work in web application resource allocation by porting the system to a C# based setting with fine grained control of resource allocation.
The project is suitable for one to three students. Three students version will include the development of a resource allocation plugin for the Virtual Execution Environment
The work will be done mostly in C# (test application development and/or porting), with the possibilty of some C development as well (for the VEE plugin).
Contacts:
