Pith. sign in

Title resolution pending

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins · 2024 · Lecture notes in computer science · DOI 10.1007/978-3-031-57259-3_11

1 Pith paper cite this work, alongside 4 external citations. Polarity classification is still indexing.

1 Pith paper citing it
4 external citations · OpenAlex
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.PL 1

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

Program Synthesis from Partial Traces

cs.PL · 2025-04-20 · conditional · novelty 7.0

From logs that record only side-effecting API calls, Syren synthesizes programs with hidden pure functions and control flow, and guarantees they reproduce the input traces.

citing papers explorer

Showing 1 of 1 citing paper.

  • Program Synthesis from Partial Traces cs.PL · 2025-04-20 · conditional · none · ref 8

    From logs that record only side-effecting API calls, Syren synthesizes programs with hidden pure functions and control flow, and guarantees they reproduce the input traces.