@inproceedings{DBLP:conf/sigsoft/PaiUSKD22, author = {Rekha R. Pai and Abhishek Uppar and Akshatha Shenoy and Pranshul Kushwaha and Deepak D'Souza}, editor = {Abhik Roychoudhury and Cristian Cadar and Miryung Kim}, title = {Static executes-before analysis for event driven programs}, booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022}, pages = {233--244}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3540250.3549116}, doi = {10.1145/3540250.3549116}, timestamp = {Thu, 10 Nov 2022 12:19:51 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/PaiUSKD22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/esop/SureshPDDC22, author = {Varsha P. Suresh and Rekha R. Pai and Deepak D'Souza and Meenakshi D'Souza and Sujit Kumar Chakrabarti}, editor = {Ilya Sergey}, title = {Static Race Detection for Periodic Programs}, booktitle = {Programming Languages and Systems - 31st European Symposium on Programming, {ESOP} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13240}, pages = {290--316}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-99336-8\_11}, doi = {10.1007/978-3-030-99336-8\_11}, timestamp = {Fri, 29 Apr 2022 14:50:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/SureshPDDC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{Pai2021, author = {Rekha Pai and Abhishek Singh and Deepak D'Souza and Meenakshi D'Souza and Prathibha Prakash }, title = {Static analysis for detecting high-level races in {RTOS} kernels}, journal = {Formal Methods in System Design}, year = {2021}, url = {https://doi.org/10.1007/s10703-020-00354-0}, doi = {10.1007/s10703-020-00354-0}, } @inproceedings{DBLP:conf/fsttcs/TulsyanPD20, author = {Rishi Tulsyan and Rekha Pai and Deepak D'Souza}, editor = {Nitin Saxena and Sunil Simon}, title = {Static Race Detection for {RTOS} Applications}, booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020, {BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)}, series = {LIPIcs}, volume = {182}, pages = {57:1--57:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.57}, doi = {10.4230/LIPIcs.FSTTCS.2020.57}, timestamp = {Mon, 21 Dec 2020 13:23:22 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/TulsyanPD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/esop/ChopraPD19, author = {Nikita Chopra and Rekha Pai and Deepak D'Souza}, editor = {Lu{\'{\i}}s Caires}, title = {Data Races and Static Analysis for Interrupt-Driven Kernels}, booktitle = {Programming Languages and Systems - 28th European Symposium on Programming, {ESOP} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11423}, pages = {697--723}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17184-1\_25}, doi = {10.1007/978-3-030-17184-1\_25}, timestamp = {Fri, 31 Jan 2020 21:32:28 +0100}, biburl = {https://dblp.org/rec/conf/esop/ChopraPD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/fm/SinghPDD19, author = {Abhishek Singh and Rekha Pai and Deepak D'Souza and Meenakshi D'Souza}, editor = {Maurice H. ter Beek and Annabelle McIver and Jos{\'{e}} N. Oliveira}, title = {Static Analysis for Detecting High-Level Races in {RTOS} Kernels}, booktitle = {Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11800}, pages = {337--353}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30942-8\_21}, doi = {10.1007/978-3-030-30942-8\_21}, timestamp = {Mon, 23 Sep 2019 13:47:30 +0200}, biburl = {https://dblp.org/rec/conf/fm/SinghPDD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @article{DBLP:journals/cl/Pai16, author = {Rekha R. Pai}, title = {Detection of redundant expressions: {A} precise, efficient, and pragmatic algorithm in {SSA}}, journal = {Comput. Lang. Syst. Struct.}, volume = {46}, pages = {167--181}, year = {2016}, url = {https://doi.org/10.1016/j.cl.2016.07.006}, doi = {10.1016/j.cl.2016.07.006}, timestamp = {Tue, 11 Feb 2020 17:00:46 +0100}, biburl = {https://dblp.org/rec/journals/cl/Pai16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{DBLP:conf/aplas/Pai15, author = {Rekha R. Pai}, editor = {Xinyu Feng and Sungwoo Park}, title = {Detection of Redundant Expressions: {A} Complete and Polynomial-Time Algorithm in {SSA}}, booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS} 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9458}, pages = {49--65}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26529-2\_4}, doi = {10.1007/978-3-319-26529-2\_4}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/Pai15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }