Seuraa
Aatish Varma
Aatish Varma
Courant Institute Of Mathematical Sciences, New York University
Vahvistettu sähköpostiosoite verkkotunnuksessa nyu.edu
Nimike
Viittaukset
Viittaukset
Vuosi
Switch code generation using program synthesis
X Gao, T Kim, MD Wong, D Raghunathan, AK Varma, PG Kannan, ...
Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020
592020
Autogenerating fast packet-processing code using program synthesis
X Gao, T Kim, AK Varma, A Sivaraman, S Narayana
Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 150-160, 2019
222019
Testing compilers for programmable switches through switch hardware simulation
MD Wong, AK Varma, A Sivaraman
Proceedings of the 16th International Conference on emerging Networking …, 2020
42020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3