DBScholar

Back to papers

SPINE: Scaling up Programming-by-Negative-Example for String Filtering and Transformation

Summary: SPINE scales PBE for string filtering by synthesizing positive-consistent programs first, then lazily validating negatives via DP search; avoids exponential blowup. Extends to string transformation; achieves superior scalability over prior work. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID
6422
Venue
SIGMOD
Year
2022
Pagerank
5.093636e-05
Overall Rank
11,541 | 20.82%
DOI
10.1145/3514221.3517908

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

BibTeX Citation

@inproceedings{zuo_sigmod22,
        title = {{SPINE: Scaling up Programming-by-Negative-Example for String Filtering and Transformation}},
        author = {Zuo, Chaoji and Assadi, Sepehr and Deng, Dong},
        series = {{SIGMOD} '22},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3514221.3517908},
        url = {https://dl.acm.org/doi/10.1145/3514221.3517908},
        year = {2022}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank Citing Paper Year Venue Pagerank
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 12 of 12 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Previous Page 1 / 1 Next

Semantically Similar Papers