Static executes-before analysis for event driven programs. - Rekha R. Pai; Abhishek Uppar; Akshatha Shenoy 001; Pranshul Kushwaha; Deepak D'Souza (ESEC/SIGSOFT FSE, 2022)

Automated Property Directed Self Composition. - Akshatha Shenoy 001; Sumanth Prabhu S; Kumar Madhukar; Ron Shemer; Mandayam K. Srivas (ATVA, 2023)