Oyendrila Dobe's Projects
american fuzzy lop (copy of the source code for easy access)
:notebook:Solutions to Introduction to Algorithms
Matlab files for codes and datasets
A simple app to see what movies are showing near me
Workshop materials for the "Introduction to Quantum Computing with Groverβs Search" workshop at Grace Hopper Celebration 2019
Dynamic Demand-Driven Analysis Framework
Verifying Hyperproperties on MDP
Verifying hyperprobabilistic properties along with rewards
Short tutorial to use the python interface of Z3 theorem prover
Book recommendations from the Lex Fridman Podcast
A Latex template for the Michigan State University Dissertation
An easy and convenient package to create technical LaTeX documents.
Config files for my GitHub profile.
Personal website
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.
A gently curated list of companies using verification formal methods in industry
COM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University
Parameter Synthesis in Markov Models
Online resume builder application for an organisation
The Rust Programming Language: Experimental Edition
It's an online shopping cart app in it's basic form
Sparse Learning via Efficient Projection (mirror copy of latest version in http://www.yelab.net/software/SLEP/)
Material (mostly slides) for a graduate course on (formal) software analysis.