PhD Student at Imperial College London
-
Imperial College London
- London, UK
- https://stefanoschaliasos.github.io/
Highlights
- Pro
Block or Report
Block or report StefanosChaliasos
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
hephaestus-compiler-project/hephaestus
hephaestus-compiler-project/hephaestus PublicA framework for testing compilers' type checkers
-
zkCollective/zk-Harness
zkCollective/zk-Harness PublicBenchmarking framework for general purpose zero-knowledge proofs languages and libraries
-
theosotr/cynthia
theosotr/cynthia PublicData-Oriented Differential Testing of ORM Systems.
-
-
fasten-project/fasten
fasten-project/fasten PublicAnalyse package dependency networks at the call graph level
-
solidity-inline-assembly
solidity-inline-assembly PublicReplication package for the OOPSLA 2022 paper titled "A Study of Inline Assembly in Solidity Smart Contracts".
Python 8
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.