Progetti di Laboratorio Software

Un aggiornamento sintetico sui temi di progetto disponibili direttamente con me.

Alcuni argomenti di interesse al momento sono:

• Green IT: ottimizzazioni del codice C/Java per ridurre il consumo di potenza, studi comparativi relativi al consumo di potenza della stessa applicazione progettata con linguaggi e/o modelli di programmazione diversi;
• Compilatori per linguaggi di programmazione parallela: OpenMP, OpenCL, CUDA e altre varianti di C per calcolo ad alte prestazioni;
• Sviluppo di applicazioni su GPGPU in CUDA: in particolare applicazioni crittografiche, ma anche di altro tipo, e.g. SAT solving, sintesi logica, riconoscimento di sequenze.

E' anche possibile lavorare su altri temi, come:

• Sviluppo di simulatori MIPS (funzionali o cycle-accurate)
• Sviluppo di tool di reporting/accounting in AJAX o OpenOffice Uno
• Compilatori per architetture dedicate (con instruction set estendibile e/o configurabile)
• Compilatori per linguaggi application-specific (in particolare, per applicazioni crittografiche)

The goal of this project is to design and implement a application benchmark suites for the OpenMP/C and OpenCL extensions of the C language.

The project is suitable for both for undergraduates and graduates students (1 to 3 students depending on the application set).

The applications will be selected according to the number/type of students.

• Giovanni Agosta

The goal of this project is to develop a program able to generate dynamic library wrappers (only Linux .so format will be considered).

The developed program should be able to correctly parse the .so format , extract all the externally exported symbols and generate a C source of a wrapper library which by default forwards the function call to the original library.

The aim of this project is to develop a useful tool for debug and eventually reverse engineer compiled libraries.

There is no specific requirement as far as the language of implementation is concerned.

The project is suitable for both the “progetto di ingegneria informatica” and “laboratorio software” courses and may be extended to a thesis.

• Alessandro Barenghi

Goal of this project is to produce a suite of OpenOffice Python scripts to automate the generation of research reporting and accounting tasks for the Formal Languages & Compiler Group.

The tool takes as input a spreadsheet describing the research effort (manpower spent on various research projects) of the group for a given year, and produces time sheets formatted according to the department requirements for each group member.

Requirements: the project must be implemented as a set of OpenOffice macros. For maintainability, Python should be used through the PyUNO binding to the OpenOffice component model.

Contact:

• Giovanni Agosta

Wayback is a user-level versioning file system, based upon FUSE (version 2.8)

Right now, its log files intercept every single modification to the versioned file system. This leads to very cluttered log files, where it is quite hard for the user to find the previous version of a given file.

Goal of this project is to modify the logging mechanism, so that is only records the modifications to the files performed by the user (hiding temporary files automatically created by programs).

Required skills: sound C programming skills. Some knowledge of versioning systems may help.

Contacts:

• Alessandro Barenghi
• Michele Tartara
• Giovanni Agosta