suvamM

abw

AzureSamples

Code samples for experimentation with Azure.

blockchain

Azure Blockchain Content and Samples

boogie-docs

Documentation for the Boogie IVL and related technologies

codingPlayground

An experimental playground, where I provide implementations of various data structures and algorithm problems.

core-geonetwork

GeoNetwork repository

covid-19

Solutions to help people deal with the novel-coronavirus crisis.

cracking-interview

psharp-ql

Learning-based controlled concurrency testing in P#.

verisol

A formal verifier and analysis tool for Solidity Smart Contracts

suvamM/covid-19

Solutions to help people deal with the novel-coronavirus crisis.

suvamM/psharp-ql

Learning-based controlled concurrency testing in P#.

suvamM/verisol

A formal verifier and analysis tool for Solidity Smart Contracts

suvamM/abw

suvamM/AzureSamples

Code samples for experimentation with Azure.

suvamM/blockchain

Azure Blockchain Content and Samples

suvamM/boogie-docs

Documentation for the Boogie IVL and related technologies

suvamM/codingPlayground

An experimental playground, where I provide implementations of various data structures and algorithm problems.

suvamM/core-geonetwork

GeoNetwork repository

suvamM/cracking-interview

suvamM/dl-experiments

suvamM/dotnet-utilities

suvamM/experimental

Repo for experimental projects

suvamM/fasttt

suvamM/fstar-tests

Samples which explore F*

suvamM/kaggle-contests

Solutions to Kaggle competitions

suvamM/NullDeref

A simple intra-procedural null-dereference checker for Java programs, based on the Soot analysis framework.

suvamM/PSharp

Safe asynchronous event-driven .NET programming.

suvamM/ql-artifact

suvamM/rust-exp

suvamM/sas-artifact-badges

Badges for the Static Analysis Symposium Artifacts

suvamM/suvamm.github.io

suvamM/threshold-test

Testing for racial discrimination in police searches of motor vehicles

suvamM/violat