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
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