Static Analysis for Multithreading - Joint Project 2011

Starting date: January 1, 2013
Duration (months): 30
Departments: Computer Science
Managers or local contacts: Merro Massimo

Sponsors:

Julia s.r.l.: Funds: assigned and managed by the department

Project participants

Alberto Lovato: Research Scholarship Holders
Damiano Macedonio

Massimo Merro: Full Professor

Research areas involved in the project
Algebra, Geometria e Logica Matematica Formal languages and automata theory (DI)
Algoritmi, Logica e teoria della computazione Formal languages and automata theory (DI) (DI)
Ingegneria del Software e verifica formale Formal languages and automata theory (DI)
Algebra, Geometria e Logica Matematica Semantics and reasoning (DI)
Algoritmi, Logica e teoria della computazione Semantics and reasoning (DI) (DI)
Ingegneria del Software e verifica formale Semantics and reasoning (DI)
Sicurezza informatica Software notations and tools (DI)
Ingegneria del Software e verifica formale Software notations and tools (DI)
Sicurezza informatica Software organization and properties (DI)
Ingegneria del Software e verifica formale Software organization and properties (DI)

Publications
Title	Authors	Year
Locking Discipline Inference and Checking	Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier	2016