457 citations · 515 across the 16 of their papers we have counts for
4 papers · 1 filter
Go with the Flow: Compositional Abstractions for Concurrent Data Structures (Extended Version)
Siddharth Krishna, Dennis Shasha, Thomas Wies
Concurrent separation logics have helped to significantly simplify correctness proofs for concurrent data structures. However, a recurring problem in such proofs is that data struc…
A Collaborative Approach to Computational Reproducibility
Fernando Chirigati, Rebecca Capone, Dennis Shasha +2
Although a standard in natural science, reproducibility has been only episodically applied in experimental computer science. Scientific papers often present a large number of table…
SafePredict: A Meta-Algorithm for Machine Learning That Uses Refusals to Guarantee Correctness
Mustafa A. Kocak, David Ramirez, Elza Erkip +1
SafePredict is a novel meta-algorithm that works with any base prediction algorithm for online data to guarantee an arbitrarily chosen correctness rate, , by allowing refusals…
Constellation Queries over Big Data
Fabio Porto, Amir Khatibi, João R. Nobre +3
A geometrical pattern is a set of points with all pairwise distances (or, more generally, relative distances) specified. Finding matches to such patterns has applications to spatia…