Raveendra Kumar Medicherla

According to our database, Raveendra Kumar Medicherla authored at least 20 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Translation of Low-Resource COBOL to Logically Correct and Readable Java leveraging High-Resource Java Refinement.

Shubham Gandhi, Manasi Patwardhan, Jyotsana Khatri, Lovekesh Vig, Raveendra Kumar Medicherla

LLM4CODE@ICSE, 2024

Workshop Report on Generative AI-based Software Engineering.

Ravindra Naik, Asha Rajbhoj, Manasi Patwardhan, Raveendra Kumar Medicherla

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023

Neuro-symbolic Zero-Shot Code Cloning with Cross-Language Intermediate Representation.

Krishnam Hasija, Shrishti Pradhan, Manasi Patwardhan, Raveendra Kumar Medicherla, Lovekesh Vig, Ravindra Naik

CoRR, 2023

Knowledge Transfer for Pseudo-code Generation from Low Resource Programming Language.

Ankita Sontakke, Kanika Kalra, Manasi Patwardhan, Lovekesh Vig, Raveendra Kumar Medicherla, Ravindra Naik, Shrishti Pradhan

CoRR, 2023

Multi-Layer Observability for Fault Localization in Microservices Based Systems.

Rupashree Rangaiyengar, Raghavan Komondoor, Raveendra Kumar Medicherla

Proceedings of the IEEE International Conference on Software Analysis, 2023

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).

Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

SmartFuzzDriverGen: Smart Contract Fuzzing Automation for Golang.

Siddhasagar Pani, Harshita Vani Nallagonda, R. Vigneswaran, Raveendra Kumar Medicherla, Rajan M

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

2022

Impactful research and tooling for program correctness.

Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh

Commun. ACM, 2022

Program Transformations for Precise Analysis of Enterprise Information Systems.

Shrishti Pradhan, Raveendra Kumar Medicherla, Shivani Kondewar, Ravindra Naik

Proceedings of the IEEE International Conference on Software Analysis, 2022

FuzzNT : Checking for Program Non-termination.

Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).

Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar

Proceedings of the Fundamental Approaches to Software Engineering, 2022

BMC+Fuzz: Efficient and Effective Test Generation.

Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Smart Contract Fuzzing for Enterprises: The Language Agnostic Way.

Siddhasagar Pani, Harshita Vani Nallagonda, Saumya Prakash, R. Vigneswaran, Raveendra Kumar Medicherla, M. A. Rajan

Proceedings of the 14th International Conference on COMmunication Systems & NETworkS, 2022

2021

HDR-Fuzz: Detecting Buffer Overruns using AddressSanitizer Instrumentation and Fuzzing.

Raveendra Kumar Medicherla, Malathy Nagalakshmi, Tanya Sharma, Raghavan Komondoor

CoRR, 2021

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

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Fitness Guided Vulnerability Detection with Greybox Fuzzing.

Raveendra Kumar Medicherla, Raghavan Komondoor, Abhik Roychoudhury

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2019

VeriFuzz: Program Aware Fuzzing - (Competition Contribution).

Animesh Basak Chowdhury, Raveendra Kumar Medicherla, R. Venkatesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).

Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2015

Precision vs. scalability: Context sensitive analysis with prefix approximation.

Raveendra Kumar Medicherla, Raghavan Komondoor

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Program specialization and verification using file format specifications.

Raveendra Kumar Medicherla, Raghavan Komondoor, S. Narendran

Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015