PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Rastislav Bodík

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation

    2021 · Zenodo (CERN European Organization for Nuclear Research)

    Artifact for ASPLOS 2022 Submission