activity
20172023
most citedScaling Exact Inference for Discrete Probabilistic Programs

83 citations · 175 across the 14 of their papers we have counts for

collaborators
Showing 2017 · cs.PLShow all

1 paper · 2 filters

cs.PL2017★ 7 cited

LoopInvGen: A Loop Invariant Generator based on Precondition Inference

Saswat Padhi, Rahul Sharma, Todd Millstein

We describe the LoopInvGen tool for generating loop invariants that can provably guarantee correctness of a program with respect to a given specification. LoopInvGen is an efficien…