Articles avec mandats d'accès public - Xiangyu GaoEn savoir plus
Disponibles quelque part : 3
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
Exigences : US National Science Foundation
Cat: A solver-aided compiler for packet-processing pipelines
X Gao, D Raghunathan, R Fang, T Wang, X Zhu, A Sivaraman, ...
Proceedings of the 28th ACM International Conference on Architectural …, 2023
Exigences : US National Science Foundation
Key Generation and Identity Verification using Quantum Teleportation
X Gao, EZ Zhang
Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum …, 2023
Exigences : US National Science Foundation
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique