Author:
Inala Jeevana Priya,Singh Rohit,Solar-Lezama Armando
Publisher
Springer International Publishing
Reference53 articles.
1. Lecture Notes in Computer Science;I Abío,2013
2. Alur, R., Bodik, R., Juniwal, G., Martin, M.M., Raghothaman, M., Seshia, S.A., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A.: Syntax-guided synthesis. Dependable Softw. Syst. Eng. 40, 1–25 (2015)
3. Ansel, J., Kamil, S., Veeramachaneni, K., Ragan-Kelley, J., Bosboom, J., O’Reilly, U., Amarasinghe, S.P.: OpenTuner: an extensible framework for program autotuning. In: Amaral, J.N., Torrellas, J., (eds.) International Conference on Parallel Architectures and Compilation, PACT 2014, Edmonton, AB, Canada, 24–27 August 2014, pp. 303–316. ACM (2014)
4. Lecture Notes in Computer Science;C Ansótegui,2009
5. Lecture Notes in Computer Science;F Bacchus,2007
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-06-06
3. Program Sketching by Automatically Generating Mocks from Tests;Computer Aided Verification;2021
4. Satune: synthesizing efficient SAT encoders;Proceedings of the ACM on Programming Languages;2020-11-13
5. Resource-guided program synthesis;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08