Subhajit Roy -

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