Artikel dengan mandat akses publik - Margus VeanesPelajari lebih lanjut
Tersedia di suatu tempat: 2
Automata modulo theories
L D'Antoni, M Veanes
Communications of the ACM 64 (5), 86-95, 2021
Mandat: US National Science Foundation
Niijima: Sound and automated computation consolidation for efficient multilingual data-parallel pipelines
GH Xu, M Veanes, M Barnett, M Musuvathi, T Mytkowicz, B Zorn, H He, ...
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 306-321, 2019
Mandat: US National Science Foundation, US Department of Defense
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer