1

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 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.

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

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 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.