Publications in collaboration with researchers from Universidad Politécnica de Madrid (29)

2015

  1. A practical comparator of cost functions and its applications

    Science of Computer Programming, Vol. 111, Núm. P3, pp. 483-504

  2. Object-sensitive cost analysis for concurrent objects

    Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271

  3. Resource analysis: From sequential to concurrent and distributed programs

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

2014

  1. Conditional termination of loops over heap-allocated data

    Science of Computer Programming, Vol. 92, Núm. PART A, pp. 2-24

  2. SACO: Static analyzer for concurrent objects

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

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. Automatic inference of resource consumption bounds

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

  2. COSTABS: A cost and termination analyzer for ABS

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

  3. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318

  4. Cost analysis of object-oriented bytecode programs

    Theoretical Computer Science

2011

  1. Closed-form upper bounds in static cost analysis

    Journal of Automated Reasoning, Vol. 46, Núm. 2, pp. 161-203

  2. Cost analysis of concurrent OO programs

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

  3. 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)

2010

  1. Comparing cost functions in resource analysis

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

  2. From object fields to local variables: A practical approach to field-sensitive analysis

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

2009

  1. Asymptotic resource usage bounds

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

  2. Cost Relation Systems: A Language-Independent Target Language for Cost Analysis

    Electronic Notes in Theoretical Computer Science, Vol. 248, pp. 31-46

  3. Field-sensitive value analysis by field-insensitive analysis

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

  4. 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)

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

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