ALBERTO
RUBIO GIMENO
Catedrático de universidad
Monash University
Melbourne, AustraliaPublications in collaboration with researchers from 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