Subhajit Roy

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 18

Top Topics

Programming Language

Bounded Model Checking

Interactive Theorem Proving

Top Venues

Proc. ACM Program. Lang.

Publications

Sujit Kumar Muduli, Rohan Ravikumar Padulkar, Subhajit Roy
Interactive Theorem Proving Modulo Fuzzing. CAV (1) (2024)
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Enabling Memory Safety of C Programs using LLMs. CoRR (2024)
Vikas, Subhajit Roy, Dibakar Ghosal
ShaVi-1.0: An interface enabled open source 2D acoustic full waveform inversion package. Comput. Geosci. 187 (2024)
Mayank Solanki, Prantik Chatterjee, Akash Lal, Subhajit Roy
Accelerated Bounded Model Checking Using Interpolation Based Summaries. TACAS (2) (2024)
Vignesh Subramanian, Rohit Kushwah, Subhajit Roy, Suguman Bansal
Inductive Generalization in Reinforcement Learning from Specifications. CoRR (2024)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. DATE (2023)
Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract). IJCAI (2023)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. CoRR (2023)
Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma
Finding Inductive Loop Invariants using Large Language Models. CoRR (2023)
Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. ASE (2023)
Gourav Takhar, Subhajit Roy
SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. CAV (3) (2023)
Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. IJCAI (2023)
Subhajit Roy
A Theorem Proving Approach to Programming Language Semantics. SEET@ICSE (2023)
Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
Symbolic encoding of LL(1) parsing and its applications. Formal Methods Syst. Des. 61 (2) (2022)
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
Symbolic execution for randomized programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Pankaj Kumar Kalita, Miriyala Jeevan Kumar, Subhajit Roy
Synthesis of Semantic Actions in Attribute Grammars. FMCAD (2022)
Sujit Kumar Muduli, Subhajit Roy
Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Pankaj Kumar Kalita, Sujit Kumar Muduli, Loris D'Antoni, Thomas W. Reps, Subhajit Roy
Synthesizing abstract transformers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)