LLOV: A Fast Static Data-Race Checker for OpenMP Programs

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

On the tractability of $(k,i)$-coloring (Extended Journal Version)

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.

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

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

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

This paper shows NP-completeness of deadlock detection in certain class of MPI programs. It also presents encoding to analyze a class of MPI programs with respect to deadlocks.

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

This paper is an extended version of the CP 2014 paper where incremental encoding is extended to weighted MaxSAT.