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
Theory of computation - Formal languages and automata theory
Informatica teorica
Theory of computation - Semantics and reasoning
Ingegneria del software e sicurezza
Software and its engineering - Software notations and tools
Ingegneria del software e sicurezza
Software and its engineering - 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