Sidney Amani -

Not registered as user yet

Name:Sidney Amani

Affiliation:UNSW, Australia

Contributions

CPP 2018	Author of Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL within the CPP 2018-track
CPP 2017	Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track
ICFP 2016	Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track