• Sign in
  • Sign up
conf.researchr.org / Ridhi Jain
  • * ICSE 2018 * profile
  • 17th Innovations in Software Engineering Conference (ISEC 2024) profile
  • ESEC/FSE 2022 profile
  • ESEC/FSE 2023 profile
  • ICSE 2021 profile
  • ICSE 2023 profile
Ridhi Jain

Registered user since Thu 5 Apr 2018

Name:Ridhi Jain
Country:United Arab Emirates
Affiliation:Technology Innovation Institute (TII), Abu Dhabi, UAE
Personal website: https://www.linkedin.com/in/ridhi-jain-021593112/
X (Twitter): https://x.com/iamridhijain
GitHub: https://github.com/ridhij93
Research interests:Program Analysis, Formal Verification, Software Security

Contributions

2024

ISEC

  • Committee Member in Program Committee within the Research Papers-track

2023

PROMISE

  • Author of The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification within the PROMISE 2023-track

ICSE

  • Author of Handling Communication via APIs for Microservices within the NIER - New Ideas and Emerging Results-track

ISEC - External

  • Member in Program Committee

2022

ESEC/FSE

  • Author of BiRD: Race Detection in Software Binaries under Relaxed Memory Models within the Journal First-track

2021

Mining Software Repositories

  • Committee Member in Shadow PC committee within the Shadow PC-track

2018

Mining Software Repositories

  • Author of A Search System for Mathematical Expressions on Software Binaries within the Technical Papers-track
Share
xTue 3 Oct 16:40
using conf.researchr.org (v1.61.3)
Support page
Sign Up