49 citations · 76 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 1 cited
Understanding Concurrency Vulnerabilities in Linux Kernel
Zunchen Huang, Shengjian Guo, Meng Wu +1
While there is a large body of work on analyzing concurrency related software bugs and developing techniques for detecting and patching them, little attention has been given to con…
cs.LG2022
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
Brandon Paulsen, Chao Wang
The most scalable approaches to certifying neural network robustness depend on computing sound linear lower and upper bounds for the network's activation functions. Current approac…