Publications

This paper employs MHP analysis inside LLOV, to increase coverage of OpenMP pragmas for data-race checking for OpenMP Programs.

This paper describes a statistical analysis based technique to detect certain kinds of attack on the programmable data planes.

This paper presents a tool and a technique to fix data-race and barrier divergence errors in CUDA and OpenCL programs.

This paper presents a tool, LLOV, which leverages polyhedral compilation for fast data-race checking for OpenMP Programs.

This paper is primarily about NP-completeness of $(k,i)$-coloring of graph and giving a parameterized algorithm for this problem using feedback vertex set as the parameter.

To celebrate the first 25 years of the International Conference on Principles and Practice of Constraint Programming (CP) the editors invited the authors of the most cited paper of each year to write a commentary on their paper. This report describes …

This paper presents a couple of incomplete Weighted MaxSAT solving techniques along with analysis on the deviation to the optimal value.

This paper studies phase transition behaviour of CARD-XOR formulas.

This paper describes, Pinaka, a symbolic execution engine that leverages incremental SAT solving.

This paper presents a couple of incomplete Weighted MaxSAT solving techniques that allowed _Open-WBO-Inc_ to win accolades in MaxSAT evaluations 2018 and MaxSAT evaluations 2019.