• Sign in
  • Sign up
conf.researchr.org / Soumyadip Bandyopadhyay
  • FSE 2025 profile
  • ISEC 2025 profile
  • MODELS 2022 profile
  • PLDI 2016 profile
Soumyadip Bandyopadhyay

Registered user since Mon 9 May 2016

Name:Soumyadip Bandyopadhyay
Country:India
Affiliation:ABB Corporate Research Center, India
Personal website: https://soumyadipcsis.github.io/soumyadip/
Research interests:Formal verification, Software Engineering

Contributions

2025

ESEC/FSE

  • Author of Pn4PLC: Verification of Software Upgrade for PLC Code within the Posters-track

ISEC

  • Doctoral Symposium Co-Chair in Track Chairs within the Doctoral Symposium-track
  • Sponsorship Chair in Organizing Committee
  • Technical Briefing Presenter of Technical Briefing: AI Enabled Engineering, Commissioning and Management of Modern Industrial Systems within the Tutorials and Workshops -track
  • Author of SolGen: Secure Smart Contract Code Generation Using Large Language Models Via Masked Prompting within the Research Papers-track

2022

MODELS

  • Author of Solving the Instance Model-View Update Problem in AADL within the Technical Track-track

2016

ARRAY

  • Author of Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs within the ARRAY-track
Share
xThu 19 Jun 17:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up