activity
20102023
most citedCounterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

3 citations · 12 across the 15 of their papers we have counts for

collaborators
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2017

An Executable Sequential Specification for Spark Aggregation

Yu-Fang Chen, Chih-Duo Hong, Ondřej Lengál +3

Spark is a new promising platform for scalable data-parallel computation. It provides several high-level application programming interfaces (APIs) to perform parallel data aggregat…