HaoxianChen

PhD student in Computer Science, University of Pennsylvania

University of PennsylvaniaPhiladelphia, PA

Pinned Repositories

autodsl-bench
Language:C++00
cache-simulation
Language:Python00
contract-verification
Language:Solidity02
declarative-smart-contracts
Language:Python13 2 06
measurement-service
Language:Python01
netspec
Language:Scala00
smart-contract-verification
Language:Solidity2 1 01
smart-contracts
Language:Solidity9 1 04
solc-docker
Language:Python00

HaoxianChen's Repositories

HaoxianChen/declarative-smart-contracts
Language:Python13 2 06
HaoxianChen/smart-contracts
Language:Solidity9 1 04
HaoxianChen/smart-contract-verification
Language:Solidity2 1 01
HaoxianChen/autodsl-bench
Language:C++00
HaoxianChen/cache-simulation
Language:Python00
HaoxianChen/contract-verification
Language:Solidity02
HaoxianChen/measurement-service
Language:Python01
HaoxianChen/netspec
Language:Scala00
HaoxianChen/solc-docker
Language:Python00