An Optimization Approach for Matching Textual Domain Models with Existing Code. - Tejas Patil; Raghavan Komondoor; Deepak D'Souza; Indrajit Bhattacharya (ICSME, 2016)

Lightyear: Using Modularity to Scale BGP Control Plane Verification. - Alan Tang; Ryan Beckett; Steven Benaloh; Karthick Jayaraman; Tejas Patil; Todd D. Millstein; George Varghese (SIGCOMM, 2023)