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
ECOOP and ISSTA 2023 profile
ESEC/FSE 2018 profile
ETAPS 2019 profile
ICSE 2023 profile
ISSTA 2019 profile
ISSTA 2022 profile
SPLASH 2011 profile
SPLASH 2016 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Fri 9 Mar 2018
Name:
Subhajit Roy
Country:
India
Affiliation:
IIT Kanpur
Contributions
SPLASH 2023
Committee Member in Program Committee within the Doctoral Symposium-track
DEBT 2023
Committee Member in Program Committee within the DEBT 2023-track
ICSE 2023
Author of A Theorem Proving Approach to Programming Language Semantics within the SEET - Software Engineering Education and Training-track
CGO 2023
Committee Member in Program Committee within the Main Conference-track
SPLASH 2022
Author of Satisfiability Modulo Fuzzing: A Synergistic Combination of SMT Solving and Fuzzing within the OOPSLA-track
Author of Symbolic Execution for Randomized Programs within the OOPSLA-track
Author of Synthesizing Abstract Transformers within the OOPSLA-track
Committee Member in Judges within the Student Research Competition-track
SAS 2022
Session Chair of Invariant and Program Synthesis (part of SAS)
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
ETAPS 2019
Author of WAPS: Weighted and Projected Sampling within the Posters-track
TACAS 2019
Author of WAPS: Weighted and Projected Sampling within the TACAS 2019-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
Tue 30 May 09:48