Designing a Datalog Engine for Industrial-Grade Static Analysis
Pavle Subotić, Bernhard Scholz
· 0 citations
4 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Towards Formal Verification of DAG-Based 1 Blockchain Consensus Protocols 2
N. Bertrand, Pranav Ghorpade, Sasha Rubin et al.
· 0 citations
Building a Join Optimizer for Souffl´e
A join optimizer for Souffl´e is developed that automatically computes high-quality join orders using a feedback-directed optimization strategy, surpassing the performance of un-tuned join orders by a geometric mean speedup.
Samuel Arch, Xiao-Wen Hu, David Zhao et al.
· 0 citations
Review
Rinser: Deriving Succinct Evidence for Automated Code Reviews
Rinser is a tool developed at Amazon to ease user interaction with static analysis results presented in code reviews and is able to produce traces on average 10x shorter than Infer traces in under 6 seconds on average due the the removal of irrelevant information.
T. Nguyen, Pavle Subotić, B. E. Chang
· 0 citations