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

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. Learning analytics and assessment: Emerging research trends, promises and future opportunities

    British Journal of Educational Technology

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

    Journal of Systems and Software, Vol. 202

2022

  1. From Sensor Data to Educational Insights

    Sensors

  2. Trustworthy remote assessments: A typology of pedagogical and technological strategies

    Journal of Computer Assisted Learning, Vol. 38, Núm. 6, pp. 1507-1520

2021

  1. Data-driven detection and characterization of communities of accounts collaborating in MOOCs

    Future Generation Computer Systems, Vol. 125, pp. 590-603

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

2009

  1. Beam-ACO based on stochastic sampling for makespan optimization concerning the TSP with time windows

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