10 citations · 20 across the 4 of their papers we have counts for
4 papers
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi +3
As a new programming paradigm, deep neural networks (DNNs) have been increasingly deployed in practice, but the lack of robustness hinders their applications in safety-critical dom…
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Yeting Li, Shuaimin Li, Zhiwu Xu +5
Since regular expressions (abbrev. regexes) are difficult to understand and compose, automatically generating regexes has been an important research problem. This paper introduces…
Toward `verifying' a Water Treatment System
Jingyi Wang, Jun Sun, Yifan Jia +2
Modeling and verifying real-world cyber-physical systems is challenging, which is especially so for complex systems where manually modeling is infeasible. In this work, we report o…
A Permission-Dependent Type System for Secure Information Flow Analysis
Hongxu Chen, Alwen Tiu, Zhiwu Xu +1
We introduce a novel type system for enforcing secure information flow in an imperative language. Our work is motivated by the problem of statically checking potential information…