Subhajit Roy - Concepedia

Author

Subhajit Roy

Indian Institute of Technology Kanpur ORCID

Also Known As

Dr. Subhajit Roy, Roy, Subhajit, S. Roy, Subhajit Roy, Subhajit Roy Subhajit Roy

104

Publications

717

Citations

H-Index

Concepts

All Affiliations

Indian Institute of Technology Kanpur National University of Singapore Indian Institute of Science Bangalore

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	14	438
2	Language Studies	1	1	117
3	Natural Sciences	1	1	17
4	Social Sciences	1	1	18
5	Applied Physics	1	1	17

Subhajit Roy

Publications

492

Citations

H-Index

Page 1

	Year	Citations
Program synthesis using natural language Aditya Desai, Sumit Gulwani, Vineet Hingorani, EngineeringSoftware EngineeringCommunicationSoftware AnalysisNatural Language Processing	2016	117
GANAK: A Scalable Probabilistic Exact Model Counter Shubham Sharma, Subhajit Roy, Mate Soos, EngineeringVerificationComputer-aided VerificationComputational ComplexityProbabilistic Computation	2019	54
Bug synthesis: challenging bug-finding tools with deep faults Subhajit Roy, Awanish Pandey, Brendan Dolan-Gavitt, Software MaintenanceEngineeringSoftware SystemsVerificationBug Injection System	2018	53
Profiling k-Iteration Paths : A Generalization of the Ball-Larus Profiling Algorithm Subhajit Roy, Y. N. Srikant Numerical AnalysisBall-larus Profiling AlgorithmEngineeringAlgorithmic LibrarySoftware Engineering	2009	26
Synergistic debug-repair of heap manipulations Sahil Verma, Subhajit Roy Software MaintenanceHeap Manipulating ProgramsEngineeringSoftware EngineeringSoftware Analysis	2017	25
Deferred concretization in symbolic execution via fuzzing Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy EngineeringTest Data GenerationSoftware EngineeringDeferred ConcretizationSoftware Analysis	2019	25
Knowledge Compilation meets Uniform Sampling Shubham Sharma, Rahul Gupta, Subhajit Roy, EPiC series in computing EngineeringVerificationProbabilistic ComputationSoftware AnalysisFormal Verification	2018	23
Engineering an Efficient Boolean Functional Synthesis Engine Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) Artificial IntelligenceEngineeringMachine LearningMachine Learning ToolSystem Synthesis	2021	19
Synthesizing abstract transformers Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D’Antoni, Proceedings of the ACM on Programming Languages EngineeringCompiler TechnologySoftware EngineeringSystem SynthesisAbstract Transformers	2022	18
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs Sumit Lahiri, Subhajit Roy Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2022	18

Page 1