Subhajit Roy -

Registered user since Fri 9 Mar 2018

Name:Subhajit Roy

Country:India

Affiliation:IIT Kanpur

Contributions

2024

SPLASH

Committee Member in Review Committee within the OOPSLA 2024-track

ISSTA

Committee Member in Program Committee within the Technical Papers-track

ISEC

2023

SPLASH

Committee Member in Program Committee within the Doctoral Symposium-track

ASE

Author of An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering within the Research Papers-track

DEBT

Committee Member in Program Committee within the DEBT 2023-track

ICSE

Author of A Theorem Proving Approach to Programming Language Semantics within the SEET - Software Engineering Education and Training-track

CGO

Committee Member in Program Committee within the Main Conference-track

2022

SPLASH

Static Analysis Symposium

Session Chair of Invariant and Program Synthesis (part of SAS)

ISSTA

Author of Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs within the Technical Papers-track

CC

PC Member in Program Committee within the CC Research Papers-track

2021

CGO

Committee Member in Program Committee within the Main Conference-track

2019

ISSTA

Author of Deferred Concretization in Symbolic Execution via Fuzzing within the Technical Papers-track

ETAPS

Author of WAPS: Weighted and Projected Sampling within the Posters-track

TACAS

Author of WAPS: Weighted and Projected Sampling within the TACAS 2019-track

2018

ESEC/FSE

Author of Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults within the Research Papers-track

2016

Mobile!

Author of Regression Aware Debugging for Mobile Applications within the Mobile!-track

SPLASH

Author of To Be Precise: Regression Aware Debugging within the OOPSLA-track