Static Analysis for Multithreading - Joint Project 2011

  1. Home
  2. Research
  3. Projects
  4. 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
Ingegneria del Software e Verifica Formale
Formal languages and automata theory
Ingegneria del Software e Verifica Formale
Semantics and reasoning
Ingegneria del Software e Verifica Formale
Software notations and tools
Ingegneria del Software e Verifica Formale
Software organization and properties
Publications
Title Authors Year
Locking Discipline Inference and Checking Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier 2016

Activities

Research facilities

Share