1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 1 cited
A Domain Specific Language for Testing Consensus Implementations
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra +1
Large-scale, fault-tolerant, distributed systems are the backbone for many critical software services. Since they must execute correctly in a possibly adversarial environment with…
cs.LO2021
Permutation Invariance of Deep Neural Networks with ReLUs
Diganta Mukhopadhyay, Kumar Madhukar, Mandayam Srivas
Consider a deep neural network (DNN) that is being used to suggest the direction in which an aircraft must turn to avoid a possible collision with an intruder aircraft. Informally,…