Synthesizing data structure refinements from integrity constraints-Reference-Cited by-同舟云学术

Synthesizing data structure refinements from integrity constraints

Published:2021-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Pailoor Shankara¹,Wang Yuepeng²,Wang Xinyu³,Dillig Isil¹

Affiliation:

1. University of Texas at Austin, USA

2. University of Pennsylvania, USA

3. University of Michigan, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3453483.3454063

Reference41 articles.

1. [n.d.]. CVE-2005-0034. https://nvd.nist.gov/vuln/detail/CVE-2005-0034 [n.d.]. CVE-2005-0034. https://nvd.nist.gov/vuln/detail/CVE-2005-0034

2. [n.d.]. CVE-2010-1013. https://nvd.nist.gov/vuln/detail/CVE-2010-1013 [n.d.]. CVE-2010-1013. https://nvd.nist.gov/vuln/detail/CVE-2010-1013

3. [n.d.]. CVE-2016-5195. https://cve.mitre.org/cgi-bin/cvename.cgi?name=cve-2016-5195 [n.d.]. CVE-2016-5195. https://cve.mitre.org/cgi-bin/cvename.cgi?name=cve-2016-5195

4. [n.d.]. CVE-2017-7308. https://nvd.nist.gov/vuln/detail/CVE-2017-7308 [n.d.]. CVE-2017-7308. https://nvd.nist.gov/vuln/detail/CVE-2017-7308

5. [n.d.]. Netty. https://github.com/netty/netty [n.d.]. Netty. https://github.com/netty/netty

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic Code Refactoring for Abstract Data Types;Proceedings of the ACM on Programming Languages;2024-01-05

2. Programming-by-Demonstration for Long-Horizon Robot Tasks;Proceedings of the ACM on Programming Languages;2024-01-05

3. Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata;Lecture Notes in Computer Science;2024

4. Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-06-06

5. Automated Translation of Functional Big Data Queries to SQL;Proceedings of the ACM on Programming Languages;2023-04-06