Publications

This paper is primarily provides a parameterized algorithm for $(k,i)$-coloring problem using feedback vertex set as the parameter.

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.

This paper describes an efficient technique for equivalence checking of a real-world Floating Point Unit.

This paper presents a different encoding that makes Bounded Model Checking faster for concurrent programs.

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

This paper describes Generalized Totalizer Encoding (GTE) to encode Pseudo-Boolean Constraints. This encoding led Open-WBO to win accolades in MaxSAT evaluations and Pseudo-Boolean evaluations.

This paper describes a sound and complete tool, 2LS, for program verification and the techniques behind its working.

This paper introduces Re-Order Bounded Model Checking to efficiently repair programs on weak memory models.

This paper describes techniques to incremental encode cardinality constraints. This led Open-WBO to win accolades in MaxSAT evaluations.

This paper presents a technique for automatically constructing a fix for buggy concurrent programs: given a concurrent program that does not satisfy user-provided assertions, we infer atomic blocks that fix the program. An atomic block protects a …