Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sidney Amani
conf.researchr.org general profile
ICFP 2016 profile
POPL 2017 profile
POPL 2018 profile
Not registered as user
Name:
Sidney Amani
Affiliation:
UNSW, Australia
Contributions
2018
CPP
Author of Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL within the CPP 2018-track
2017
CPP
Author of COMPLX: a verification framework for concurrent imperative programs within the CPP-track
2016
ICFP
Author of Refinement through Restraint: Bringing Down the Cost of Verification within the Research Papers-track
Share
x
Sat 21 Dec 17:45