Programming-by-example for audio: synthesizing digital signal processing programs-Reference-Cited by-同舟云学术

Programming-by-example for audio: synthesizing digital signal processing programs

Published:2018-09-17 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
language:
Short-container-title:

Author:

Santolucito Mark¹,Rogers Kate¹,Lombardo Aedan¹,Piskac Ruzica¹

Affiliation:

1. Yale University, USA

Publisher

ACM

Link

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

Reference24 articles.

1. REQ: Room Eq Wizard. http://www.roomeqwizard.com. (2018). Accessed: 2018-07-08;Version,2018

2. R. Alur R Bodik E. Dallal D Fisman P. Garg G. Juniwal H. Kress-Gazit P. Madusudan M. Martin M. Raghothman S. Saha S. Seshia R. Singh A. Solar-Lezama E. Torlak and E. Udupa. 2014. Syntax-Guided Synthesis. Dependable Software Systems Engineering NATO Science for Peace and Security Series (2014). http://sygus.seas.upenn.edu/files/sygus_extended.pdf R. Alur R Bodik E. Dallal D Fisman P. Garg G. Juniwal H. Kress-Gazit P. Madusudan M. Martin M. Raghothman S. Saha S. Seshia R. Singh A. Solar-Lezama E. Torlak and E. Udupa. 2014. Syntax-Guided Synthesis. Dependable Software Systems Engineering NATO Science for Peace and Security Series (2014). http://sygus.seas.upenn.edu/files/sygus_extended.pdf

3. Rajeev Alur Dana Fisman Rishabh Singh and Armando Solar-Lezama. 2017. SyGuS-Comp 2017: Results and Analysis. CoRR abs/1711.11438 (2017). arXiv:1711.11438 Rajeev Alur Dana Fisman Rishabh Singh and Armando Solar-Lezama. 2017. SyGuS-Comp 2017: Results and Analysis. CoRR abs/1711.11438 (2017). arXiv:1711.11438

4. Richard Charles Boulanger and others. 2000. The Csound book: perspectives in software synthesis sound design signal processing and programming. Richard Charles Boulanger and others. 2000. The Csound book: perspectives in software synthesis sound design signal processing and programming .

5. Content-Based Music Information Retrieval: Current Directions and Future Challenges

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

1. Digital Filter Design via Recurrent Cartesian Genetic Programming;2023 IEEE 13th International Workshop on Computational Intelligence and Applications (IWCIA);2023-11-11

2. Inductive Program Synthesis Guided by Observational Program Similarity;Proceedings of the ACM on Programming Languages;2023-10-16

3. Human-in-the-loop program synthesis for live coding;Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design;2021-08-22

4. Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers;Proceedings of the 51st ACM Technical Symposium on Computer Science Education;2020-02-26