Publicaciones en las que colabora con Damiano Zanardini (10)

2013

  1. Automatic inference of bounds on resource consumption

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Cost analysis of object-oriented bytecode programs

    Theoretical Computer Science

2011

  1. Task-level analysis for a language with async/finish parallelism

    Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

2009

  1. Resource usage analysis and its application to resource certification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Termination and Cost Analysis with COSTA and its User Interfaces

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 109-121

2008

  1. COSTA: Design and implementation of a cost and termination analyzer for Java bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Removing useless variables in cost analysis of Java bytecode

    Proceedings of the ACM Symposium on Applied Computing

  3. Termination analysis of Java Bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. Cost analysis of Java bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Experiments in Cost Analysis of Java Bytecode

    Electronic Notes in Theoretical Computer Science, Vol. 190, Núm. 1 SPEC. ISS., pp. 67-83