Soumyadip Bandyopadhyay -

Registered user since Mon 9 May 2016

Name:Soumyadip Bandyopadhyay

Country:India

Affiliation:BITS Pilani

Research interests:Formal verification, Software Engineering

Contributions

MODELS 2022	Author of Solving the Instance Model-View Update Problem in AADL within the Technical Track-track
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