Author:
Bodik Rastislav,Chandra Satish,Galenson Joel,Kimelman Doug,Tung Nicholas,Barman Shaon,Rodarmor Casey
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. P4Testgen: An Extensible Test Oracle For P4-16;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09
2. Trace-Guided Inductive Synthesis of Recursive Functional Programs;Proceedings of the ACM on Programming Languages;2023-06-06
3. Towards Porting Operating Systems with Program Synthesis;ACM Transactions on Programming Languages and Systems;2023-03-03
4. A formal foundation for symbolic evaluation with merging;Proceedings of the ACM on Programming Languages;2022-01-12
5. Bootstrapping Library-Based Synthesis;Static Analysis;2022