Static Analysis for Multithreading - Joint Project 2011

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


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
Informatica teorica
Formal languages and automata theory
Informatica teorica
Semantics and reasoning
Ingegneria del Software e Sicurezza
Software notations and tools
Ingegneria del Software e Sicurezza
Software organization and properties
Title Authors Year
Locking Discipline Inference and Checking Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier 2016


Research facilities