FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Raveendra Kumar Medicherla

Registered user since Sun 14 Jun 2020

Name:Raveendra Kumar Medicherla
Bio:

My research interests are broadly in the areas of domain specific languages, program analysis, program synthesis, and their application to software engineering tasks. I am particularly interested in developing tools that can automatically mine the programs to extract information that can be used as specification for subsequent processing such as forward engineering or configuring the new systems. Recently, I am also working on developing automatic techniques to data transformation using program synthesis. Most of my research is centered around the model based static, stochastic analysis of programs and program transformations with emphasis on enterprise applications. I am also exploring the application of DL techniques to programming and software engineering tasks. I am also interested in security and vulnerability detection using fuzz testing. The fuzz testing tool developed by my team won the gold medals in Software testing competition Test-Comp 2019, Test-Comp 2020, Test-Comp 2021, Test-Comp 2022, Test-Comp 2023 organized as part of FASE conference.

Country:India
Affiliation:TCS Research, Tata Consultancy Services
Research interests:Program analysis and verification, Program synthesis, specification mining and inference, and Fuzz testing

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile