Santhosh prabhu

Phd candidate at UIUC

ABOUt ME

Contact:

I am a PhD candidate at the University of Illinois at Urbana Champaign, advised by Prof. Matthew Caesar. My research focuses on the use of Formal Methods to create dependable networks. I also work closely with Veriflow, a startup making network verificaiton accessible to enterprises.  Before UIUC, I obtained my Master's degree from Indian Institute of Technology Kharagpur, advised by Prof. Pallab Dasgupta.







PUBLICATIONS

High Coverage Testing of Softwarized Networks. Santhosh Prabhu, Gohar Irfan Chaudhry, Brighten Godfrey and Matthew Caesar. In ACM SIGCOMM 2018 Workshop on Security in Softwarized Networks: Prospects and Challenges, August 2018

Predicting Network Futures with Plankton. Santhosh Prabhu, Ali Kheradmand, Brighten Godfrey and Matthew Caesar. In Proceedings of the First Asia-Pacific Workshop on Networking, 2017

Let me repharse that: Transparent Optimization in SDNs. Santhosh Prabhu, Mo Dong, Tong Meng, Brighten Godfrey and Matthew Caesar.  In Proceedings of the Symposium on SDN Research, 2017

NetGen: Synthesizing Dataplane Configurations for Network Policies. Shambwaditya Saha, Santhosh Prabhu and P Madhusudhan.  In Proceedings of the Symposium on SDN Research, 2015

Self Stabilization in Distributed Knot Detection. Santhosh Prabhu. In International Journal of Foundations of Computer Science, 2013

Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta and P P Chakrabarti. In Proceedings of IEEE Multiconference on Systems and Control, 2013

Reliability Guarantees in Automata-based Scheduling for Embedded Control Software. Santhosh Prabhu, Aritra Hazra and Pallab Dasgupta. In Embedded Systems Letters, 2013

Debugging Assertion Failures in Software Controllers using a Reference Model. Kajori Banerjee, Santhosh Prabhu and Pallab Dasgupta. In Proceedings of the Sixth India Software Engineering Conference, 2013

Model Checking Controllers with Predicate Inputs. Santhosh Prabhu and Pallab Dasgupta. In Proceedings of the International Conference on VLSI Design, 2013
DesignPhotoCode