9 citations · 9 across the 2 of their papers we have counts for
3 papers
cs.SE2020★ 9 cited
Topological Differential Testing
Kristopher Ambrose, Steve Huntsman, Michael Robinson +1
We introduce topological differential testing (TDT), an approach to extracting the consensus behavior of a set of programs on a corpus of inputs. TDT uses the topological notion of…
cs.LO2020
The geometry of syntax and semantics for directed file transformations
Steve Huntsman, Michael Robinson
We introduce a conceptual framework that associates syntax and semantics with vertical and horizontal directions in principal bundles and related constructions. This notion of geom…
physics.data-an2019
A Sheaf Theoretical Approach to Uncertainty Quantification of Heterogeneous Geolocation Information
Cliff Joslyn, Lauren Charles, Chris DePerno +7
Integration of heterogeneous sensors is a challenging problem across a range of applications. Prominent among these are multi-target tracking, where one must combine observations f…