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!
Author: Wenchao Li
Assistant Professor of ECE@BU
Merna wins an UROP award!
https://www.bu.edu/urop/
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.
New IARPA Project on Detecting Trojans in Neural Networks
We will be working with SRI International and Stony Brook University on Trojan Detection using Attribution, Counterfactuals, and Topological Analysis under the IARPA TrojAI Program.
New paper accepted at RV’20.
Congratulations to Weichao and our collaborators! This paper introduces the concepts of policy repair and minimally deviating policy repair for learning-based controllers.
New paper accepted at EMSOFT’20
Our paper “Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks” has been accepted to EMSOFT 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!
New tool paper accepted at ATVA’20
Our tool paper “ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems” has been accepted to ATVA 2020. Congratulations to Jiameng and our collaborators at Northwestern and Dayton!