Publicaciones en colaboración con investigadores/as de Monash University (7)

2024

  1. SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques

    Proceedings of the ACM on Programming Languages, Vol. 8

2023

  1. Optimal dynamic partial order reduction with context-sensitive independence and observers

    Journal of Systems and Software, Vol. 202

2019

  1. A manifesto for future generation cloud computing: Research directions for the next decade

    ACM Computing Surveys, Vol. 51, Núm. 5

  2. Optimal context-sensitive dynamic partial order reduction with observers

    ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

2017

  1. Context-sensitive dynamic partial order reduction

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

2013

  1. A CLP heap solver for test case generation

    Theory and Practice of Logic Programming

2011

  1. Workshop on data intensive computing in the clouds - DataCloud

    IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum