| 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 | 15 | 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 |
| Enhancing active model learning with equivalence checking using simulation relations NY Jeppu, T Melham, D Kroening, SH Park, R Pai, T Melham, NY Jeppu, ... | | 2023 |
| 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 |
| 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 | | 2021 |
| Global Value Numbering: A Precise and Efficient Algorithm RR Pai arXiv preprint arXiv:1504.03239, 2015 | | 2015 |
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
