[PLDI24] SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT(…) | ACM SIGPLAN | Podwise