Cited By
View all- Wu NLi YYang HChen HDai SHao CYu CXie Y(2024)Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and ProspectACM Transactions on Design Automation of Electronic Systems10.1145/366130829:4(1-42)Online publication date: 24-Apr-2024
- Larisch JThijm TAhmad SWu PArnfeld TFayed MSekar VYu MSeneviratne AVeitch D(2024)Topaz: Declarative and Verifiable Authoritative DNS at CDN-ScaleProceedings of the ACM SIGCOMM 2024 Conference10.1145/3651890.3672240(891-903)Online publication date: 4-Aug-2024
- Qiu YKon PXing JHuang YLiu HWang XHuang PChowdhury MChen A(2023)Simplifying Cloud Management with Cloudless ComputingProceedings of the 22nd ACM Workshop on Hot Topics in Networks10.1145/3626111.3628206(95-101)Online publication date: 28-Nov-2023
- Show More Cited By