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
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
Publications
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, Fausto 2015

Activities

Research facilities