Roy, Subhajit

7 publications

IJCAI 2023 Augmenting Automated Spectrum Based Fault Localization for Multiple Faults Prantik Chatterjee, José Campos, Rui Abreu, Subhajit Roy

IJCAI 2023 Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract) Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

NeurIPSW 2023 Inductive Generalization in Reinforcement Learning from Specifications Rohit Kushwah, Vignesh Subramanian, Suguman Bansal, Subhajit Roy

IJCAI 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

AAAI 2021 Symmetric Component Caching for Model Counting on Combinatorial Instances Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

IJCAI 2020 Diagnosing Software Faults Using Multiverse Analysis Prantik Chatterjee, Abhijit Chatterjee, José Campos, Rui Abreu, Subhajit Roy

IJCAI 2019 GANAK: A Scalable Probabilistic Exact Model Counter Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel