Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sandip Ghosal
conf.researchr.org general profile
ICSE 2021 profile
SPLASH/ISSTA 2026 profile
Registered user since Tue 26 Jan 2021
Name:
Sandip Ghosal
Country:
India
Affiliation:
Birla Institute of Technology, Mesra
Contributions
2026
EXPRESS
Author of CoVerif: An Automated Contract Verifier for Java using Symbolic Execution within the EXPRESS 2026-track
2021
ICSE
Author of An Axiomatic Approach to Detect Information Leaks in Concurrent Programs within the NIER - New Ideas and Emerging Results-track
Share
x
Fri 9 Oct 11:40