Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Subhajit Roy
conf.researchr.org general profile
CC 2022 profile
CGO 2021 profile
CGO 2023 profile
ESEC/FSE 2018 profile
ETAPS 2019 profile
ISSTA 2019 profile
ISSTA 2022 profile
SPLASH 2011 profile
SPLASH 2016 profile
Registered user since Fri 9 Mar 2018
Name:
Subhajit Roy
Affiliation:
IIT Kanpur, India
Contributions
CGO 2023
Committee Member in Program Committee within the Main Conference-track
ISSTA 2022
Author of Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs within the Technical Papers-track
CC 2022
PC Member in Program Committee within the CC Research Papers-track
CGO 2021
Committee Member in Program Committee within the Main Conference-track
ISSTA 2019
Author of Deferred Concretization in Symbolic Execution via Fuzzing within the Technical Papers-track
TACAS 2019
Author of WAPS: Weighted and Projected Sampling within the TACAS 2019-track
ETAPS 2019
Author of WAPS: Weighted and Projected Sampling within the Posters-track
ESEC/FSE 2018
Author of Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults within the Research Papers-track
Mobile! 2016
Author of Regression Aware Debugging for Mobile Applications within the Mobile!-track
SPLASH 2016
Author of To Be Precise: Regression Aware Debugging within the OOPSLA-track
Share
x
Mon 27 Jun 22:06