15 citations · 15 across the 3 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.SE2020
Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Matthew Sotoudeh, Aditya V. Thakur
An analogy is an identification of structural similarities and correspondences between two objects. Computational models of analogy making have been studied extensively in the fiel…
cs.PL2020
Memory-Efficient Fixpoint Computation
Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur
Practical adoption of static analysis often requires trading precision for performance. This paper focuses on improving the memory efficiency of abstract interpretation without sac…
cs.LG2020
Abstract Neural Networks
Matthew Sotoudeh, Aditya V. Thakur
Deep Neural Networks (DNNs) are rapidly being applied to safety-critical domains such as drone and airplane control, motivating techniques for verifying the safety of their behavio…