|
 | Up a level |
Samuel, S and D'Souza, D and Komondoor, R (2023) Symbolic Fixpoint Algorithms for Logical LTL Games. In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 11 - 15 September 2023, Echternach, pp. 698-709.
Kumar, JSS and Komondoor, R (2023) Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation. In: UNSPECIFIED, pp. 292-311.
Chawla, G and Aman, N and Komondoor, R and Bokil, A and Kharat, N (2022) Verification of ORM-based Controllers by Summary Inference. In: 44th ACM/IEEE International Conference on Software Engineering, ICSE 2022, 22 - 27 May 2022, Pittsburgh, pp. 2340-2351.
Athaiya, S and Komondoor, R and Kumar, KN (2021) Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. In: 30th European Symposium on Programming, ESOP 2021, 27 March - 1 April 2021, Luxembourg, pp. 30-58.
Medicherla, RK and Komondoor, R and Roychoudhury, A (2020) Fitness Guided Vulnerability Detection with Greybox Fuzzing. In: Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020, 27 June - 19 July 2020, Seoul, pp. 513-520.
Komondoor, R (2020) A Report on the PhD Symposium Track: ISEC 2020. In: 13th Innovations in Software Engineering Conference, 27-29 February 2020, IIITDM JabalpurJabalpur, India.
Arora, H and Komondoor, R and Ramalingam, G (2019) Checking observational purity of procedures. In: 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 April 2019 - 11 April 2019, Prague, pp. 228-243.
Rama, GM and Komondoor, R (2018) Detecting Full Initialization Points of Objects to Support Code Refactorings. In: 24th Asia-Pacific Software Engineering Conference, APSEC 2017, 4 - 8 December 2017, Nanjing, Jiangsu, pp. 110-119.
Rama, GM and Komondoor, R and Sharma, H (2018) Refinement in object-sensitivity points-to analysis via slicing. In: Proceedings of the ACM on Programming Languages, 2 (OOPSLA).
