|
|
| Proposta de dissertação do MEI |
| Título: |
Deadlock Related Bugs in Concurrent Programs |
| Proponente(s): |
António Ravara and João Lourenço |
| Créditos: |
42 ECTS |
| Área científica: |
Software Construction and Analysis |
| Início preferencial: |
Qualquer semestre |
| URL: |
|
| Já estão em curso trabalhos preliminares executados pelo alunos: |
|
| Breve descrição: |
The repositories with public domain software have a vast amount of deadlock related bug reports. The expected effort to solve these errors is huge, reaching several hundred years in manpower in the case of some projects.
This thesis aims at surveying some repositories collecting data on the deadlock related bugs and then identifying patters of the mistakes committed by the software developers. The work aims at developing typical solutions for these patterns that ideally could be applied by automatic transformation of the source code. |
| Observações: |
The candidate should be familiar with the C and Java programming languages and have good skills in analysing concurrent source code written by others. |
|
|