Concepedia

Subhajit Roy

SR

Statistics

Publications

18

Citations

492

H-Index

14

Active since

2009

Affiliations

Indian Institute of Technology Kanpur(Current)

National University of Singapore

Indian Institute of Science Bangalore

Subhajit Roy is an author at Indian Institute of Technology Kanpur specializing in computer science, program analysis, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware EngineeringFormal VerificationSoftware TestingAutomated ReasoningVerification

Publications per year

2009–2023

18

Publications

18

Program synthesis using natural language

Aditya Desai, Sumit Gulwani, Vineet Hingorani et al. · 2016 · 117 citations

Engineering, Software Engineering, Communication +22

GANAK: A Scalable Probabilistic Exact Model Counter

Shubham Sharma, Subhajit Roy, Mate Soos et al. · 2019 · 54 citations · Full text

Engineering, Verification, Computer-aided Verification +19

Bug synthesis: challenging bug-finding tools with deep faults

Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt et al. · 2018 · 53 citations

Software Maintenance, Engineering, Software Systems +21

Profiling k-Iteration Paths : A Generalization of the Ball-Larus Profiling Algorithm

Subhajit Roy, Y. N. Srikant · 2009 · 26 citations

Numerical Analysis, Ball-larus Profiling Algorithm, Engineering +21

Synergistic debug-repair of heap manipulations

Sahil Verma, Subhajit Roy · 2017 · 25 citations

Software Maintenance, Heap Manipulating Programs, Engineering +16

1–5 of 18