Affiliation:
1. University of Washington, USA
Abstract
Many applications require specialized data structures not found in the standard libraries, but implementing new data structures by hand is tedious and error-prone. This paper presents a novel approach for synthesizing efficient implementations of complex collection data structures from high-level specifications that describe the desired retrieval operations. Our approach handles a wider range of data structures than previous work, including structures that maintain an order among their elements or have complex retrieval methods. We have prototyped our approach in a data structure synthesizer called Cozy. Four large, real-world case studies compare structures generated by Cozy against handwritten implementations in terms of correctness and performance. Structures synthesized by Cozy match the performance of handwritten data structures while avoiding human error.
Funder
Defense Advanced Research Projects Agency
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Learning quantitative representation synthesis;Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages;2020-06
2. Tea;Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology;2019-10-17
3. Synthesizing Efficient Low-Precision Kernels;Automated Technology for Verification and Analysis;2019