conftrace_

program compilation

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

program synthesis (3) hardware resource allocation (1) declarative reasoning (1) aggregate handling (1) ground and solve (1) pseudocode to code (1) compiled model (1) hardware resource (1) network function offloading (1) neural code generation (1)

Papers

Tracr: Compiled Transformers as a Laboratory for Interpretability NeurIPS 2023 Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling NSDI 2022 Compilable Neural Code Generation with Compiler Feedback ACL 2022 Compilation of Aggregates in ASP Systems AAAI 2022 SPoC: Search-based Pseudocode to Code NeurIPS 2019