Published Items by Year
Collaborations
Subject Areas
Institution’s Latest Publications
- research-article
Topaz: Declarative and Verifiable Authoritative DNS at CDN-Scale
August 2024ACM SIGCOMM '24: Proceedings of the ACM SIGCOMM 2024 Conferencehttps://doi.org/10.1145/3651890.3672240 - research-article
Relational Network Verification
August 2024ACM SIGCOMM '24: Proceedings of the ACM SIGCOMM 2024 Conferencehttps://doi.org/10.1145/3651890.3672238 - research-article
Zoom2Net: Constrained Network Telemetry Imputation
August 2024ACM SIGCOMM '24: Proceedings of the ACM SIGCOMM 2024 Conferencehttps://doi.org/10.1145/3651890.3672225 - abstract
Evo-Panel: Dynamic Visualization Tool for Optimization Process
July 2024GECCO '24 Companion: Proceedings of the Genetic and Evolutionary Computation Conference Companionhttps://doi.org/10.1145/3638530.3664079 - poster
Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract)
June 2024HOPC'24: Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computinghttps://doi.org/10.1145/3670684.3673405