2 citations · 9 across the 7 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.CV2021★ 1 cited
Reversible Attack based on Local Visual Adversarial Perturbation
Li Chen, Shaowei Zhu, Zhaoxia Yin
Adding perturbations to images can mislead classification models to produce incorrect results. Recently, researchers exploited adversarial perturbations to protect image privacy fr…
cs.PL2021★ 1 cited
Reflections on Termination of Linear Loops
Shaowei Zhu, Zachary Kincaid
This paper shows how techniques for linear dynamical systems can be used to reason about the behavior of general loops. We present two main results. First, we show that every loop…
cs.PL2021★ 1 cited
Termination Analysis Without the Tears
Shaowei Zhu, Zachary Kincaid
Determining whether a given program terminates is the quintessential undecidable problem. Algorithms for termination analysis are divided into two groups: (1) algorithms with stron…