Instituto de Tecnología del Conocimiento (ITC)
Centre/Institute
![Foto de Instituto de Tecnología del Conocimiento (ITC)](/img/uploaded/0537A1CB55770E7FE3E05B6931EDA813.jpg)
![Foto de Monash University](/img/noimage_org.png)
Monash University
Melbourne, AustraliaPublications in collaboration with researchers from Monash University (7)
2024
-
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Proceedings of the ACM on Programming Languages, Vol. 8
2023
-
Optimal dynamic partial order reduction with context-sensitive independence and observers
Journal of Systems and Software, Vol. 202
2019
-
A manifesto for future generation cloud computing: Research directions for the next decade
ACM Computing Surveys, Vol. 51, Núm. 5
-
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
-
Context-sensitive dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
A CLP heap solver for test case generation
Theory and Practice of Logic Programming
2011
-
Workshop on data intensive computing in the clouds - DataCloud
IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum