Published March 10, 2024 | Version v1
Software Open

Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques"

Authors/Creators

  • 1. ROR icon Universidad Complutense de Madrid
  • 2. Monash University

Description

This artifact includes the necessary data to reproduce the experiments in the paper "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques," accepted in PLDI'24.

Files

pldi2024-superstack.zip

Files (558.3 MB)

Name Size
md5:9610f6676a2e3b3fec7ddc8eb96519cc
558.3 MB Preview Download
md5:b863d34ea227ebe930c7ddd97a469b66
22.6 kB Preview Download