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.

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

Program Committee member of EuroPar 2024 and 2023, PaPoC 2023 and 2022

Artifact Evaluation Committee member of EuroSys 2022, JSys 2022, SOSP 2021

Co-reviewer for EuroSys 2019 and 2020, Middleware 2019, PODC 2019

Courses

Deep Learning

Neural Networks and Deep Learning

Improving Deep Neural Networks: Hyperparameter tuning, Regularization and Optimization

Reproducible Research

Recherche reproductible: principes méthodologiques pour une science transparente

Entrepreneurship

Entrepreneurship 1: Developing the Opportunity

Entrepreneurship 2: Launching your Start-Up

Entrepreneurship 3: Growth Strategies

Entrepreneurship 4: Financing and Profitability

"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 ]