Gianluca Mezzetti bio photo

Gianluca Mezzetti

@Aarhus, DK

Facebook Github Pure @ au.dk

Publications

Program analysis

  • Gianluca Mezzetti, Anders Møller, Fabio Strocco: Type Unsoundness in Practice: An Empirical Study of Dart. DLS 2016

    [pdf - supplementary material]

  • Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller: Analyzing Test Completeness for Dynamic Languages. ISSTA 2016,

    ACM SIGSOFT Distinguished Paper Award

    [pdf - supplementary material]

  • Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller: Systematic Execution of Android Test Suites in Adverse Conditions. ISSTA 2015,

    ACM SIGSOFT Distinguished Paper Award

    [pdf - source code]

Nominal automata

  • Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti: Regular and Context-Free Nominal Traces. Acta Informatica, 2017

    [pdf]

  • Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti: Towards Nominal Context-Free Model-Checking. CIAA 2013

    [pdf]

  • Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti: Nominal Automata for Resource Usage Control. CIAA 2012

    [pdf]

Type systems for Context-Oriented Programming (COP)

  • Davide Basile, Letterio Galletta, Gianluca Mezzetti: Safe Adaptation Through Implicit Effect Coercion. Programming Languages with Applications to Biology and Security 2015

    [pdf]

  • Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti: Types for Coordinating Secure Behavioural Variations. COORDINATION 2012

    [pdf]

Quantitative security

  • Pierpaolo Degano, Gian Luigi Ferrari, Gianluca Mezzetti: On Quantitative Security Policies. PaCT 2011

    [pdf]

For a full list, please refer to Google Scholar or DBLP