Tejas Patil

According to our database, Tejas Patil authored at least 2 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Lightyear: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

2016

An Optimization Approach for Matching Textual Domain Models with Existing Code.

Tejas Patil, Raghavan Komondoor, Deepak D'Souza, Indrajit Bhattacharya

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016