Pleiades: Distributed Structural Invariants at Scale | IEEE Conference Publication | IEEE Xplore