Sreeja S
.
Nair
.
Nair
I am a Computer Science researcher, working on the intersection of programming languages and distributed systems. I am currently working with Ditto Live Inc on the replication protocol.
I did my PhD on Designing safe and highly available distributed applicaitons at Sorbonne Université under the supervision of Marc Shapiro. I was associated with DELYS, a joint group between LIP6 (the computer science laboratory), Sorbonne Université and Inria in Paris, France.
I previously worked with ZettaScale Technology on an Eclipse Foundation project, Zenoh developing an anti-entropy ptotocol. Before that, I worked with ABB Corporate Research, where I developed a static analysis tool for industrial domain specific languages. Even before that I was working with Infosys as a Software Engineer.
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.
Sorbonne Université, Paris, France
April 2018 - July 2021
Doctoral Degree
National Institute of Technology Calicut, Kozhikode, India
July 2012 - June 2014
Master Degree
NSS College of Engineering, Palakkad, India (affiliated to University of Calicut)
July 2004 - June 2008
Bachelor Degree
Ditto Live Inc
Senior Software Engineer
June 2023 - Current
Working on replication protocol
ZettaScale Technology, France
Senior Technologist
September 2021 - June 2023
Worked on replication of data stores conencted through Zenoh
LIP6 - Inria & Sorbonne Université, Paris, France
PhD student
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
Research Engineer
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
Associate Scientist
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
Research Intern
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
Technology Analyst
April 2012 - July 2012
Senior Software Engineer
April 2011 - March 2012
Software Engineer
September 2008 - March 2011
"Reasoning about a sparsely-connected, partially-replicated, peer-to-peer system" at Verification of Distributed Systems, Rabat, Morocco, 19th May 2025
"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
Sreeja S. Nair. Designing safe and highly available distributed applications. PhD thesis, 2021. [ bib ] [ pdf ]
Sreeja S. Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, and Marc Shapiro A coordination-free, convergent, and safe replicated tree. arXiv, 2021. [ bib ] [ pdf ]
Sreeja S. Nair, Gustavo Petri, and Marc Shapiro. Proving the safety of highly-available distributed objects. In 29th European Symposium on Programming, 2020. [ bib ] [ pdf ]
Sreeja S. Nair, Gustavo Petri, and Marc Shapiro. Invariant safety for distributed applications. In Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019, Dresden, Germany., 2019. [ bib ] [ pdf ]
Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja S. Nair, and Meenakshi D'Souza. A generic static analysis framework for domain-specific languages. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), volume 1, pages 27--34. IEEE, 2018. [ bib ] [ pdf ]
Sreeja S. Nair and Marc Shapiro. Improving the "Correct Eventual Consistency" tool. arXiv preprint arXiv:1807.06431, 2018. [ bib ] [ pdf ]
Avijit Mandal, Sreeja S. Nair, Raoul Jetley, and Meenakshi D'Souza. A static analyzer for industrial robotic applications. In International Symposium on Software Reliability Engineering, 2017. [ bib ] [ pdf ]
Sreeja S. Nair. Evaluation of the CEC (Correct Eventual Consistency) tool, 2017. [ bib ] [ pdf ]
Sreeja S. Nair and Raoul Jetley. Solving circular dependencies in industrial automation programs. In INDIN, 2016. [ bib ]
Sreeja S Nair, Raoul Jetley, Anil Nair, and Stefan Hauck-Stattelmann. A static code analysis tool for control system software. In IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER), pages 459--463, 2015. [ bib ]