Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anton Trunov
conf.researchr.org general profile
ICFP 2022 profile
POPL 2019 profile
POPL 2024 profile
SPLASH 2019 profile
Registered user since Fri 3 Aug 2018
Name:
Anton Trunov
Country:
Russia
Affiliation:
Zilliqa Research
Contributions
2024
Symposium on Practical Aspects of Declarative Languages
Committee Member in Program Committee within the PADL 2024-track
2022
ICFP
Author of Random Testing of a Higher-Order Blockchain Language within the ICFP Papers and Events-track
2019
SPLASH
Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track
Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track
CoqPL
Committee Member in Program Committee within the CoqPL-track
Share
x
Tue 12 Nov 20:48