• Sign in
  • Sign up
conf.researchr.org / Subhajit Roy
  • 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
xMon 27 Jun 22:06
using conf.researchr.org (v1.56.1)
Support page
Sign Up