Resource-guided program synthesis-Reference-Cited by-同舟云学术

Resource-guided program synthesis

Published:2019-06-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Knoth Tristan¹,Wang Di²,Polikarpova Nadia¹,Hoffmann Jan²

Affiliation:

1. University of California at San Diego, USA

2. Carnegie Mellon University, USA

Funder

DARPA STAC

National Science Foundation

DARPA AA

Publisher

ACM

Link

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

Reference73 articles.

1. Automatic Inference of Resource Consumption Bounds

2. Elvira Albert Puri Arenas Samir Genaim and Germán Puebla. 2011. Closed-Form Upper Bounds in Static Cost Analysis. Journal of Automated Reasoning (2011) 161–203. 10.1007/s10817-010-9174-1 Elvira Albert Puri Arenas Samir Genaim and Germán Puebla. 2011. Closed-Form Upper Bounds in Static Cost Analysis. Journal of Automated Reasoning (2011) 161–203. 10.1007/s10817-010-9174-1

3. Cost analysis of object-oriented bytecode programs

4. Analysing the complexity of functional programs: higher-order meets first-order

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

1. Equivalence by Canonicalization for Synthesis-Backed Refactoring;Proceedings of the ACM on Programming Languages;2024-06-20

2. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis;Proceedings of the ACM on Programming Languages;2024-06-20

3. Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms;ACM Transactions on Programming Languages and Systems;2024-06-17

4. A Case for Synthesis of Recursive Quantum Unitary Programs;Proceedings of the ACM on Programming Languages;2024-01-05

5. Program Synthesis from Graded Types;Lecture Notes in Computer Science;2024