Data races and static analysis for interrupt-driven kernels N Chopra, R Pai, D D’Souza Programming Languages and Systems: 28th European Symposium on Programming …, 2019 | 16 | 2019 |
Static analysis for detecting high-level races in RTOS kernels A Singh, R Pai, D D’Souza, M D’Souza Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 6 | 2019 |
A formal CHERI-C semantics for verification SH Park, R Pai, T Melham International Conference on Tools and Algorithms for the Construction and …, 2023 | 3 | 2023 |
Static Race Detection for RTOS Applications R Tulsyan, R Pai, D D'Souza arXiv preprint arXiv:2010.02642, 2020 | 3 | 2020 |
Static race detection for periodic programs VP Suresh, R Pai, D D’Souza, M D’Souza, SK Chakrabarti European Symposium on Programming, 290-316, 2022 | 2 | 2022 |
Detection of redundant expressions: A precise, efficient, and pragmatic algorithm in SSA RR Pai Computer Languages, Systems & Structures 46, 167-181, 2016 | 2 | 2016 |
Detection of redundant expressions: a complete and polynomial-time algorithm in SSA RR Pai Asian Symposium on Programming Languages and Systems, 49-65, 2015 | 2 | 2015 |
Static analysis for detecting high-level races in RTOS kernels R Pai, A Singh, D D’Souza, M D’Souza, P Prakash Formal Methods in System Design, 1-28, 2021 | 1 | 2021 |
Enhancing active model learning with equivalence checking using simulation relations. NY Jeppu, T Melham, D Kroening, SH Park, R Pai, T Melham, NY Jeppu, ... Formal Methods Syst. Des. 61 (2), 164-197, 2022 | | 2022 |
Static executes-before analysis for event driven programs R Pai, A Uppar, A Shenoy, P Kushwaha, D D'Souza Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | | 2022 |
Global Value Numbering: A Precise and Efficient Algorithm RR Pai arXiv preprint arXiv:1504.03239, 2015 | | 2015 |