Can reactive synthesis and syntax-guided synthesis be friends?-Reference-Cited by-同舟云学术

Can reactive synthesis and syntax-guided synthesis be friends?

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Choi Wonhyuk¹,Finkbeiner Bernd²,Piskac Ruzica³,Santolucito Mark¹

Affiliation:

1. Columbia University, USA

2. CISPA, Germany

3. Yale University, USA

Publisher

ACM

Link

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

Reference39 articles.

1. Rajeev Alur , Rastislav Bodik , Garvit Juniwal , Milo MK Martin , Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013 . Syntax-guided synthesis. IEEE. Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. IEEE.

2. Rajeev Alur , Dana Fisman , Saswat Padhi , Andrew Reynolds , Rishabh Singh , and Abhishek Udupa . 2019. The 6th Competition on Syntax-Guided Synthesis. https://sygus.org/comp/2019/results-slides.pdf Accessed: 2019-11-20 . Rajeev Alur, Dana Fisman, Saswat Padhi, Andrew Reynolds, Rishabh Singh, and Abhishek Udupa. 2019. The 6th Competition on Syntax-Guided Synthesis. https://sygus.org/comp/2019/results-slides.pdf Accessed: 2019-11-20.

3. Automatic Synchronization for GPU Kernels

4. Clark Barrett and Cesare Tinelli . 2018. Satisfiability modulo theories . In Handbook of Model Checking . Springer . Clark Barrett and Cesare Tinelli. 2018. Satisfiability modulo theories. In Handbook of Model Checking. Springer.

5. CVC4

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

1. Verifying the Generalization of Deep Learning to Out-of-Distribution Domains;Journal of Automated Reasoning;2024-08-03

2. Solving Infinite-State Games via Acceleration;Proceedings of the ACM on Programming Languages;2024-01-05

3. Localized Attractor Computations for Infinite-State Games;Lecture Notes in Computer Science;2024

4. Symbolic Fixpoint Algorithms for Logical LTL Games;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

5. Smart Contract Synthesis Modulo Hyperproperties;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07