conf.researchr.org / Subhajit Roy
Registered user since Fri 9 Mar 2018
Name:Subhajit Roy
Country:India
Affiliation:IIT Kanpur
Contributions
2024
ASE
Static Analysis Symposium
2023
2022
SPLASH
- 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