Senior Software Engineer @ CertiK
CS PhD (University of Pennsylvania)
Former Research Intern @ Microsoft
-
Certik
- Philadelphia,PA
- http://pardisp.github.io
- @pashapardis
Pinned Loading
-
-
-
checkedc/checkedc-clang
checkedc/checkedc-clang PublicThis repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
-
CertiKProject/slither-certik
CertiKProject/slither-certik PublicForked from crytic/slither
CertiK fork of Slither Analyzer
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.