201 citations · 276 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.NI2019
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification
Alex Horn, Ali Kheradmand, Mukul R. Prasad
Network verification promises to detect errors, such as black holes and forwarding loops, by logically analyzing the control or data plane. To do so efficiently, the state-of-the-a…
cs.SE2019
Harnessing Evolution for Multi-Hunk Program Repair
Seemanta Saha, Ripon K. Saha, Mukul R. Prasad
Despite significant advances in automatic program repair (APR)techniques over the past decade, practical deployment remains an elusive goal. One of the important challenges in this…