Raveendra Kumar Medicherla

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 17

Top Topics

Enterprise Information Systems

Intermediate Representation

International Competition

Test Generation

Top Venues

Publications

Ravindra Naik, Asha Rajbhoj, Manasi Patwardhan, Raveendra Kumar Medicherla
Workshop Report on Generative AI-based Software Engineering. ISEC (2024)
Krishnam Hasija, Shrishti Pradhan, Manasi S. Patwardhan, Raveendra Kumar Medicherla, Lovekesh Vig, Ravindra Naik
Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation. CoRR (2023)
Siddhasagar Pani, Harshita Vani Nallagonda, R. Vigneswaran, Raveendra Kumar Medicherla, Rajan M
SmartFuzzDriverGen: Smart Contract Fuzzing Automation for Golang. ISEC (2023)
Ankita Sontakke, Kanika Kalra, Manasi S. Patwardhan, Lovekesh Vig, Raveendra Kumar Medicherla, Ravindra Naik, Shrishti Pradhan
Knowledge Transfer for Pseudo-code Generation from Low Resource Programming Language. CoRR (2023)
Rupashree Rangaiyengar, Raghavan Komondoor, Raveendra Kumar Medicherla
Multi-Layer Observability for Fault Localization in Microservices Based Systems. SANER (2023)
Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). TACAS (2) (2023)
Shrishti Pradhan, Raveendra Kumar Medicherla, Shivani Kondewar, Ravindra Naik
Program Transformations for Precise Analysis of Enterprise Information Systems. SANER (2022)
Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). FASE (2022)
Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh
Impactful research and tooling for program correctness. Commun. ACM 65 (11) (2022)
Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru
FuzzNT : Checking for Program Non-termination. ICSME (2022)
Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty
BMC+Fuzz: Efficient and Effective Test Generation. DATE (2022)
Siddhasagar Pani, Harshita Vani Nallagonda, Saumya Prakash, R. Vigneswaran, Raveendra Kumar Medicherla, M. A. Rajan
Smart Contract Fuzzing for Enterprises: The Language Agnostic Way. COMSNETS (2022)
Raveendra Kumar Medicherla, Malathy Nagalakshmi, Tanya Sharma, Raghavan Komondoor
HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing. CoRR (2021)
Sayandeep Mitra, Debayan Mukherjee, Atreya Bandyopadhyay, Rajdip Chowdhury, Raveendra Kumar Medicherla, Indrajit Bhattacharya, Ravindra Naik
Learning-based Assistant for Data Migration of Enterprise Information Systems. ASE (2021)
Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury
Fitness Guided Vulnerability Detection with Greybox Fuzzing. ICSE (Workshops) (2020)
Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh
VeriFuzz: Program Aware Fuzzing - (Competition Contribution). TACAS (3) (2019)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) (2018)
Raveendra Kumar Medicherla, Raghavan Komondoor
Precision vs. scalability: Context sensitive analysis with prefix approximation. SANER (2015)
Raveendra Kumar Medicherla, Raghavan Komondoor, S. Narendran
Program specialization and verification using file format specifications. ICSME (2015)