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
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, Fausto; Thaine, Javier 2016
Semantics for Locking Specifications Ernst, Michael D.; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto 2015


Research facilities