ALBERTO
RUBIO GIMENO
Catedrático de universidad
Monash University
Melbourne, AustraliaPublicaciones en colaboración con investigadores/as 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