activity
20212024
most citedSpDISTAL: Compiling Distributed Sparse Tensor Computations

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2021

Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion

Jason R. Koenig, Oded Padon, Sharon Shoham +1

We present a PDR/IC3 algorithm for finding inductive invariants with quantifier alternations. We tackle scalability issues that arise due to the large search space of quantified in…