Static Analysis for Multithreading - Joint Project 2011

Data inizio
1 gennaio 2013
Durata (mesi) 
30
Dipartimenti
Informatica
Responsabili (o referenti locali)
Merro Massimo

Enti finanziatori:

Julia s.r.l.
Finanziamento: assegnato e gestito dal Dipartimento

Partecipanti al progetto

Aree di ricerca coinvolte dal progetto
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
Pubblicazioni
Titolo Autori Anno
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

Attività

Strutture