Program specialization and verification using file format specifications. - Raveendra Kumar Medicherla; Raghavan Komondoor; S. Narendran (ICSME, 2015)

Precision vs. scalability: Context sensitive analysis with prefix approximation. - Raveendra Kumar Medicherla; Raghavan Komondoor (SANER, 2015)

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). - Priyanka Darke; Sumanth Prabhu 001; Bharti Chimdyalwar; Avriti Chauhan; Shrawan Kumar 001; Animesh Basak Chowdhury; R. Venkatesh 001; Advaita Datar; Raveendra Kumar Medicherla (TACAS (2), 2018)

VeriFuzz: Program Aware Fuzzing - (Competition Contribution). - Animesh Basak Chowdhury; Raveendra Kumar Medicherla; R. Venkatesh 001 (TACAS (3), 2019)

Fitness Guided Vulnerability Detection with Greybox Fuzzing. - Raveendra Kumar Medicherla; Raghavan Komondoor; Abhik Roychoudhury (ICSE (Workshops), 2020)

Learning-based Assistant for Data Migration of Enterprise Information Systems. - Sayandeep Mitra; Debayan Mukherjee; Atreya Bandyopadhyay; Rajdip Chowdhury; Raveendra Kumar Medicherla; Indrajit Bhattacharya; Ravindra Naik (ASE, 2021)

HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing. - Raveendra Kumar Medicherla; Malathy Nagalakshmi; Tanya Sharma; Raghavan Komondoor (CoRR, 2021)

Smart Contract Fuzzing for Enterprises: The Language Agnostic Way. - Siddhasagar Pani; Harshita Vani Nallagonda; Saumya Prakash; R. Vigneswaran; Raveendra Kumar Medicherla; M. A. Rajan (COMSNETS, 2022)

BMC+Fuzz: Efficient and Effective Test Generation. - Ravindra Metta; Raveendra Kumar Medicherla; Samarjit Chakraborty (DATE, 2022)

VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). - Ravindra Metta; Raveendra Kumar Medicherla; Hrishikesh Karmarkar (FASE, 2022)

FuzzNT : Checking for Program Non-termination. - Hrishikesh Karmarkar; Raveendra Kumar Medicherla; Ravindra Metta; Prasanth Yeduru (ICSME, 2022)

Program Transformations for Precise Analysis of Enterprise Information Systems. - Shrishti Pradhan; Raveendra Kumar Medicherla; Shivani Kondewar; Ravindra Naik (SANER, 2022)

Impactful research and tooling for program correctness. - Priyanka Darke; Ravindra Metta; Raveendra Kumar Medicherla; R. Venkatesh 001 (Commun. ACM, 2022)

SmartFuzzDriverGen: Smart Contract Fuzzing Automation for Golang. - Siddhasagar Pani; Harshita Vani Nallagonda; R. Vigneswaran; Raveendra Kumar Medicherla; M. A. Rajan (ISEC, 2023)

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). - Ravindra Metta; Prasanth Yeduru; Hrishikesh Karmarkar; Raveendra Kumar Medicherla (TACAS (2), 2023)

Multi-Layer Observability for Fault Localization in Microservices Based Systems. - Rupashree Rangaiyengar; Raghavan Komondoor; Raveendra Kumar Medicherla (SANER, 2023)

Knowledge Transfer for Pseudo-code Generation from Low Resource Programming Language. - Ankita Sontakke; Kanika Kalra; Manasi Patwardhan 001; Lovekesh Vig; Raveendra Kumar Medicherla; Ravindra Naik; Shrishti Pradhan (CoRR, 2023)

Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation. - Krishnam Hasija; Shrishti Pradhan; Manasi Patwardhan 001; Raveendra Kumar Medicherla; Lovekesh Vig; Ravindra Naik (CoRR, 2023)

Workshop Report on Generative AI-based Software Engineering. - Ravindra Naik; Asha Rajbhoj; Manasi Patwardhan 001; Raveendra Kumar Medicherla (ISEC, 2024)

Translation of Low-Resource COBOL to Logically Correct and Readable Java leveraging High-Resource Java Refinement. - Shubham Gandhi; Manasi Patwardhan 001; Jyotsana Khatri; Lovekesh Vig; Raveendra Kumar Medicherla (LLM4CODE@ICSE, 2024)

LLM Driven Smart Assistant for Data Mapping. - Arihant Bedagkar; Sayandeep Mitra; Raveendra Kumar Medicherla; Ravindra Naik; Samiran Pal (SEIP@ICSE, 2025)

Domain Aligned Microservices Decomposition. - Jay Gandhi; Raveendra Kumar Medicherla; Ravindra Naik (ISEC, 2025)

Workshop Report on Generative AI-based Software Engineering (GenAI4SE 2nd Edition). - Raveendra Kumar Medicherla; Asha Rajbhoj; Manasi Patwardhan 001; Lalit Mohan Sanagavarapu; Vibhu Saujanya Sharma; Ravindra Naik; Pooja Aggarwal (ISEC, 2025)