divyeshunadkat
PhD, CSE, IIT Bombay. Advisers: Prof. Supratik Chakraborty and Prof. Ashutosh Gupta. Areas: software verification, program analysis, compilers.
Indian Institute of Technology BombayMumbai, India
divyeshunadkat's Stars
gohugoio/hugo
The world’s fastest framework for building websites.
microsoft/ML-For-Beginners
12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all
llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
ml-tooling/best-of-ml-python
🏆 A ranked list of awesome machine learning Python libraries. Updated weekly.
synercys/annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
zwang4/awesome-machine-learning-in-compilers
Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation
llvm/torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
rajaprerak/rajaprerak.github.io
Personal Portfolio Website
travitch/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
rose-compiler/rose
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.
llvm/Polygeist
C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
intel/yarpgen
Yet Another Random Program Generator
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
bondhugula/pluto
Pluto: An automatic polyhedral parallelizer and locality optimizer
staticafi/llvm2c
Decompiler of LLVM bitcode to C
usi-verification-and-security/opensmt
The opensmt solver
wilcoxjay/mypyvy
A language for symbolic transitions system, inspired by Ivy.
vsee/uoe_programmingclub
University of Edinburgh Programming Club
SatyendraBanjare/plt-formal-methods-resources
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
usi-verification-and-security/golem
Solver for Constrained Horn Clauses
s-falke/llvm2kittel
llvm2KITTeL
usi-verification-and-security/upprover
An SMT-based bounded model checker for C
divyeshunadkat/VAJRA
TACAS 2020 Artifacts for "Verifying Array Manipulating Programs with Full-program Induction"
verified-network-toolchain/leapfrog
Certified Equivalence for Protocol Parsers
ayrtonmassey/proj
UG4 Honours Project
divyeshunadkat/PARQ
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.
divyeshunadkat/aeval
AE-solver and Skolemizer
divyeshunadkat/diffy-artifact
Artifact for the paper titled "Diffy: Inductive Reasoning of Array Programs using Difference Invariants" in CAV 2021
divyeshunadkat/divyeshunadkat.github.io
Personal Webpage