Pith. sign in

REVIEW 1 cited by

Language to Specify Syntax-Guided Synthesis Problems

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1405.5590 v2 pith:3EJJWDPW submitted 2014-05-22 cs.PL

Mukund Raghothaman , Abhishek Udupa This is my paper · ORCID
classification cs.PL
keywords synthesissyguslanguageproblemsspecifysyntaxsyntax-guidedabhishek
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We present a language to specify syntax guided synthesis (SyGuS) problems. Syntax guidance is a prominent theme in contemporary program synthesis approaches, and SyGuS was first described in [1]. This paper describes concretely the input format of a SyGuS solver. [1] Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. Syntax-guided synthesis. In FMCAD, pages 1--17, 2013.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Leveraging LLMs for Dynamic IoT Systems Generation through Mixed-Initiative Interaction

    cs.SE 2025-02 conditional novelty 5.0 of 10

    An LLM-powered architecture for the IoT-Together paradigm interprets user goals through a three-pass dialogue and generates IoT services at runtime, evaluated in a Hyderabad tourism case study.

Pith tools