49 citations · 60 across the 11 of their papers we have counts for
1 paper · 1 filter
Siyu Chen, Chungha Sung, Xuyang Li +1
Probabilistic extensions of Datalog enable static analyses such as pointer analysis, data race detection, and side-channel analysis to rank alarms by likelihood, but this added exp…