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