Recent News
Two Papers Accepted at ICML’22
Weichao's paper on Symbolic Reward Machine and Jiameng's paper on Multi-View Information Bottleneck for Deep Reinforcement Learning have been accepted at ICML'22. Congrats to Weichao and Jiameng!
Invited to Serve on the Editorial Board of TCAD
Wenchao will serve as an Associate Editor in the Cyber-Physical Systems and Internet of Things area.
Paper Accepted at ICLR’22
Our new paper on neural network repair has been accepted at ICLR'22. Congrats to Feisi!
Paper Accepted at AAAI’22
Our paper "Programmatic Reward Design by Example" has been accepted at AAAI'22. Congrats to Weichao!
Paper Accepted at DATE’22
Our paper "Opportunistic Communication with Latency Guarantees for Intermittently-Powered Devices" has been accepted at DATE'22. Congrats to Kacper and our collaborators at UC Riverside and Pitt!
Merna wins an UROP award!
Paper accepted at ACSAC’21
Penny's paper "MISA: Online Defense of Trojaned Models using Misattributions" has been accepted at ACSAC'21. Congratulations to Penny and our collaborators at SRI International.
Jiameng wins Silver Medal (2nd Place) in the 2021 ACM SIGBED Student Research Competition!
Congratulations to Jiameng!
Paper accepted at AAAI’21
Congratulations to Jiameng! We achieve the state-of-the-art results for training neural networks with provable l_\infty robustness. Preprint available at https://arxiv.org/abs/2008.06081.
Invited to serve as Track Chair for the Autonomous Systems Track at DAC’21
Please consider sending your strong papers to this track.