1

This paper provides a distributed Byzantine agreement with honest simple majority when State Machine Replication (SMR) is available as an ordering primitive.

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.