3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LG2021★ 3 cited
Using Graph Neural Networks to model the performance of Deep Neural Networks
Shikhar Singh, Benoit Steiner, James Hegarty +1
With the unprecedented proliferation of machine learning software, there is an ever-increasing need to generate efficient code for such applications. State-of-the-art deep-learning…
cs.SE2021★ 1 cited
Distributed Symbolic Execution using Test-Depth Partitioning
Shikhar Singh, Sarfraz Khurshid
Symbolic execution is a classic technique for systematic bug finding, which has seen many applications in recent years but remains hard to scale. Recent work introduced ranged symb…