Subhajit Roy -

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