Sreeja Nair

According to our database, Sreeja Nair authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2021

Designing safe and highly available distributed applications. (Conception d'applications distribuées sûres et hautement disponibles).

Sreeja Sasidharan Nair

PhD thesis, 2021

A coordination-free, convergent, and safe replicated tree.

Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro

CoRR, 2021

2020

Proving the Safety of Highly-Available Distributed Objects.

Sreeja S. Nair, Gustavo Petri, Marc Shapiro

Proceedings of the Programming Languages and Systems, 2020

2019

Invariant Safety for Distributed Applications.

Sreeja S. Nair, Gustavo Petri, Marc Shapiro

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018

Improving the "Correct Eventual Consistency" Tool.

Sreeja Nair, Marc Shapiro

CoRR, 2018

A Generic Static Analysis Framework for Domain-specific Languages.

Avijit Mandal, Devina Mohan, Raoul Jetley, Sreeja Nair, Meenakshi D'Souza

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

A Static Analyzer for Industrial Robotic Applications.

Avijit Mandal, Raoul Jetley, Meenakshi D'Souza, Sreeja Nair

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

Solving circular dependencies in industrial automation programs.

Sreeja Nair, Raoul Jetley

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

2015

A static code analysis tool for control system software.

Sreeja Nair, Raoul Jetley, Anil R. Nair, Stefan Hauck-Stattelmann

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015