Name: Divyesh Unadkat
Type: User
Company: Indian Institute of Technology Bombay
Bio: PhD, CSE, IIT Bombay. Advisers: Prof. Supratik Chakraborty and Prof. Ashutosh Gupta. Areas: software verification, program analysis, compilers.
Twitter: divyeshunadkat
Location: Mumbai, India
Blog: https://divyeshunadkat.github.io/
Divyesh Unadkat's Projects
AE-solver and Skolemizer
Artifact for the paper titled "Diffy: Inductive Reasoning of Array Programs using Difference Invariants" in CAV 2021
Personal Webpage
PARQ is an automatic parallelization engine based on Skolem Function Synthesis and Quantified Invariant Generation. It is aimed at parallelization of array modifying programs written as Constrained Horn Clause (CHC) formulas.
Collection of Verification Tasks
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
TACAS 2020 Artifacts for "Verifying Array Manipulating Programs with Full-program Induction"