17 citations · 25 across the 11 of their papers we have counts for
4 papers · 1 filter
Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations
Sahil Verma, Subhajit Roy
We present Wolverine2, an integrated Debug-Localize-Repair environment for heap manipulating programs. Wolverine2 provides an interactive debugging environment: while concretely ex…
Phase Transition Behavior in Knowledge Compilation
Rahul Gupta, Subhajit Roy, Kuldeep S. Meel
The study of phase transition behaviour in SAT has led to deeper understanding and algorithmic improvements of modern SAT solvers. Motivated by these prior studies of phase transit…
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep +1
Program verification is a resource-hungry task. This paper looks at the problem of parallelizing SMT-based automated program verification, specifically bounded model-checking, so t…
Manthan: A Data Driven Approach for Boolean Function Synthesis
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Boolean functional synthesis is a fundamental problem in computer science with wide-ranging applications and has witnessed a surge of interest resulting in progressively improved t…