44 citations · 129 across the 31 of their papers we have counts for
4 papers · 1 filter
Scaling-Up In-Memory Datalog Processing: Observations and Techniques
Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang +3
Recursive query processing has experienced a recent resurgence, as a result of its use in many modern application domains, including data integration, graph analytics, security, pr…
Trace Abstraction Modulo Probability
Calvin Smith, Justin Hsu, Aws Albarghouthi
We propose trace abstraction modulo probability, a proof technique for verifying high-probability accuracy guarantees of probabilistic programs. Our proofs overapproximate the set…
Neural-Augmented Static Analysis of Android Communication
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi +2
We address the problem of discovering communication links between applications in the popular Android mobile operating system, an important problem for security and privacy in Andr…
Constraint-Based Synthesis of Coupling Proofs
Aws Albarghouthi, Justin Hsu
Proof by coupling is a classical technique for proving properties about pairs of randomized algorithms by carefully relating (or coupling) two probabilistic executions. In this pap…