About Me

I am a Computer Science researcher, working on the intersection of programming languages and distributed systems. I am currently working with ADLINK Technology on an Eclipse Foundation project, Zenoh.

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 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.

Research

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.

Education

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


Work Experience

ADLINK Technology, France
Senior Technologist
September 2021 - Current

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

    Designed, developed and documented database for a portfolio of applications for British Telecom

    Senior Software Engineer
    April 2011 - March 2012

    Integrated client’s billing system with a Geographical Information System

    Proposed and implemented a method for automated data validation

    Software Engineer
    September 2008 - March 2011

    Developed and maintained tool for workforce optimization

    Awards and honors

    Sephora
    Laureate of the third edition of the Séphora Berrebi Scholarships for Women in Advanced Mathematics & Computer Science in 2020 [Press Release] [Link]
    EASST
    Nomination for EASST Award-systematic and rigorous engineering of software & systems for ETAPS 2020
    ABB
    Extra Miler award from ABB Corporate Research in 2015 for exceptional collaboration with stakeholders and showing high level of technical leadership
    NITC
    Gold Medal for outstanding scholastic performance from National Institute of Technology Calicut, India in 2014

    Invited Talks

    “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

    Publications

  • Sreeja S. Nair. Designing safe and highly available distributed applications. PhD thesis, 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 ]
  • Contact

    Speaker deck