43 citations · 61 across the 22 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.PL2022★ 1 cited
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
Quang Loc Le, Jun Sun, Long H. Pham +1
Heap-manipulating programs are known to be challenging to reason about. We present a novel verifier for heap-manipulating programs called S2TD, which encodes programs systematicall…
cs.CR2022
Verifying Neural Networks Against Backdoor Attacks
Long H. Pham, Jun Sun
Neural networks have achieved state-of-the-art performance in solving many problems, including many applications in safety/security-critical systems. Researchers also discovered mu…
cs.SE2022
Causality-based Neural Network Repair
Bing Sun, Jun Sun, Hong Long Pham +1
Neural networks have had discernible achievements in a wide range of applications. The wide-spread adoption also raises the concern of their dependability and reliability. Similar…