Login / Signup
Rastislav Bodík
ORCID
Publication Activity (10 Years)
Years Active: 1995-2023
Publications (10 Years): 42
Top Topics
Lightweight
Frequency Distribution
Program Synthesis
Tree Traversal
Top Venues
CoRR
Proc. ACM Program. Lang.
PLDI
ASPLOS
</>
Publications
</>