prasitaGit

I am a PhD student at Purdue University working in the intersection of FM/Compilers/PL and Deep Learning

Purdue UniversityWest Lafayette, Indiana, USA

Pinned Repositories

cat-lover
00
ivy-proofs
A repository to collect Ivy proofs of various distributed algorithms
00
ml-compiler-opt
Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.
Language:Python00
MTechThesis
Language:TeX00
MTechThesisPdf
00
OCTAL_Code
Updated code for GNN LTL
Language:Jupyter Notebook1 1 00
OCTAL_Datasets
Language:Python00
Rabin-STTT
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Language:R0 0 00
software-foundations
My take on the software foundations ebook and exercises
Language:Coq00

prasitaGit's Repositories

prasitaGit/OCTAL_Code
Updated code for GNN LTL
Language:Jupyter Notebook1 1 00
prasitaGit/cat-lover
00
prasitaGit/ivy-proofs
A repository to collect Ivy proofs of various distributed algorithms
00
prasitaGit/ml-compiler-opt
Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.
Language:Python00
prasitaGit/MTechThesis
Language:TeX00
prasitaGit/MTechThesisPdf
00
prasitaGit/OCTAL_Datasets
Language:Python00
prasitaGit/Rabin-STTT
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Language:R0 0 00
prasitaGit/software-foundations
My take on the software foundations ebook and exercises
Language:Coq00