More Like this

1. Machine Learning for Testing Machine-Learning Hardware: A Virtuous Cycle

   https://doi.org/10.1145/3508352.3561121  

   Chaudhuri, Arjun; Talukdar, Jonti; Chakrabarty, Krishnendu (October 2022, ACM)
2. Machine Learning Sensors

   https://doi.org/10.1145/3586991  

   Warden, Pete; Stewart, Matthew; Plancher, Brian; Katti, Sachin; Reddi, Vijay Janapa (November 2023, Communications of the ACM)

   A design paradigm for the future of intelligent sensors. 

   more » « less
3. Adaptive Machine Unlearning

   Varun Gupta; Christopher Jung; Seth Neel; Aaron Roth; Saeed Sharifi-Malvajerdi; Chris Waites (January 2021, Neural Information Processing Systems (NeurIPS))

   Data deletion algorithms aim to remove the influence of deleted data points from trained models at a cheaper computational cost than fully retraining those models. However, for sequences of deletions, most prior work in the non-convex setting gives valid guarantees only for sequences that are chosen independently of the models that are published. If people choose to delete their data as a function of the published models (because they don't like what the models reveal about them, for example), then the update sequence is adaptive. In this paper, we give a general reduction from deletion guarantees against adaptive sequences to deletion guarantees against non-adaptive sequences, using differential privacy and its connection to max information. Combined with ideas from prior work which give guarantees for non-adaptive deletion sequences, this leads to extremely flexible algorithms able to handle arbitrary model classes and training methodologies, giving strong provable deletion guarantees for adaptive deletion sequences. We show in theory how prior work for non-convex models fails against adaptive deletion sequences, and use this intuition to design a practical attack against the SISA algorithm of Bourtoule et al. [2021] on CIFAR-10, MNIST, Fashion-MNIST. 

   more » « less
4. Brain-Machine Interfaces

   Jornet, Josep M; Stachowiak, Michal K; Balasubramiam, S. (October 2018, Encyclopedia of Wireless Networks (Springer))
5. Machine-Assisted Proof

   https://doi.org/10.1090/noti3041  

   Tao, Terence Chi-Shen (January 2025, Notices of the American Mathematical Society)