conf.researchr.org / Subhajit Roy
Registered user since Fri 9 Mar 2018
Name:Subhajit Roy
Country:India
Affiliation:IIT Kanpur
Contributions
2026
2025
ATVA
SPLASH
- Co-chair in Review Committee within the Student Research Competition-track
- Author of Memory-Safety Verification of Open Programs With Angelic Assumptions within the OOPSLA-track
- Author of SPLASH SRC Awards within the Student Research Competition-track
- Student Research Competition Chair in Organizing Committee
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