Affiliation:
1. University of Texas at Austin, USA
2. University of Athens, Greece
Funder
Defense Advanced Research Projects Agency
National Science Foundation
European Research Council
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synthesizing fine-grained synchronization protocols for implicit monitors;Proceedings of the ACM on Programming Languages;2022-04-29
2. Resource-guided program synthesis;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08