Author:
Chin Wei-Ngan,David Cristina,Gherghina Cristian
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and Verification for Unrestricted Algebraic Effects and Handling;Proceedings of the ACM on Programming Languages;2024-08-15
2. Advanced Memory and Shape Analyses;Computer Science Foundations and Applied Logic;2024
3. Certifying the synthesis of heap-manipulating programs;Proceedings of the ACM on Programming Languages;2021-08-22
4. Structuring the synthesis of heap-manipulating programs;Proceedings of the ACM on Programming Languages;2019-01-02
5. Towards efficient and effective automatic program repair;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25