P4CGO: Control Plane Guided P4 Program Optimization.
Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, 2024
A 1.01μVrms, 16.5bit ECG Acquisition IC with Embedded DC-Servo-Loop and Multi Channel Discharge Dynamic Comparator.
Proceedings of the IEEE Biomedical Circuits and Systems Conference, 2024
Leveraging Opinions and Vaccination to Eradicate Networked Epidemics.
Proceedings of the European Control Conference, 2023
Timeseries Anomaly Detection using Temporal Hierarchical One-Class Network.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020