ALBERTO
RUBIO GIMENO
Catedrático de universidad
![Foto de ALBERTO](/img/nophoto.png)
![Foto de Monash University](/img/noimage_org.png)
Monash University
Melbourne, AustraliaPublications en collaboration avec des chercheurs de Monash University (1)
2024
-
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
Proceedings of the ACM on Programming Languages, Vol. 8