Replication for multi-tenant edge data stores
This project proposes an anti-entropy protocol for different data stores connected on the edge. The data stores might be either key-value or time-series and could be partially replicated.
Optimizing concurrency control for safe distributed applications
This project studies the effect of different dimensions of concurrency control on the performance of geo-distributed applications.
Designing distributed data structure
This project is about designing a safe, convergent and coordination-free replicated tree.
Verification of distributed applications
This project resulted in a proof rule and tool for verifying the safety of geo-distributed applications.
Static analysis for domain specific languages
This project resulted in a generic framework for static analysis using the principle of abstract interpretation and data flow analysis. The framework was used to implement static analyzers for domain specific languages for industrial automation, robotics and filed devices.
ZettaScale Technology, France
September 2021 - Current
Working on replication of data stores conencted through Zenoh
LIP6 - Inria & Sorbonne Université, Paris, France
April 2018 - August 2021
Working on optimizing concurrency control in distributed systems
Working on conflict-free design of geo-replicated storage
Working on verification of distributed applications
April 2017 - March 2017
Evaluated and improved an existing tool for verifying distributed applications using operation based update propagation
Conceived a complementary tool for distributed applications using state based update propagation mechanism
ABB Corporate Research, Bangalore, India
August 2014 - April 2017
Involved in the research efforts on improving productivity of industrial automation engineers using program analysis
Implemented static code analysis tool for IEC 61131 languages (used for program- ming PLCs) which detects potential run-time errors, semantic errors and helps in checking conformance to coding guidelines which was piloted with more than 30 real-time projects with corroborated results
Designed and implemented code dependency solver which visualizes and detects dependencies between different programs in automation engineering projects which was tested and corroborated with more than 300 real-life issues
Extended the program analysis framework for analysing industrial robotic applications and measurement field device programs
Mentored a student’s masters thesis on constraint based program analysis
Worked on a platform to provide Machine learning as a service
August 2013 - May 2014
Implemented a hybrid data-flow analysis and abstract interpretation based framework to detect potential run-time errors
Infosys Limited, Bangalore, India
April 2012 - July 2012
Senior Software Engineer
April 2011 - March 2012
September 2008 - March 2011
"Consistency in Zenoh, an edge data fabric" at the RainbowFS Workshop, Paris 28th March 2022
“Exploring the coordination lattice” at the FRIDA Workshop, colocated with DISC 2021, 8th October 2021
“Invariant safety for distributed applications” at the Verification Seminar organised by IRIF at Paris, 15th March 2019