Publications by the researcher in collaboration with Alexey Ignatiev (1)

2024

  1. SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques

    Proceedings of the ACM on Programming Languages, Vol. 8