Danil Annenkov

17 papers B 3C 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Two-level type theory and applications - ERRATUM.
Math. Struct. Comput. Sci.
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
2023 B conf
Formalising Decentralised Exchanges in Coq.
CPP
Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
2023 J jnl
Two-level type theory and applications.
Math. Struct. Comput. Sci.
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
2022 J jnl
Extracting functional programs from Coq, in Coq.
J. Funct. Program.
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
2022 — conf
Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework.
FMBC@CAV
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
2022 J jnl
Finding smart contract vulnerabilities with ConCert's property-based testing framework.
CoRR
Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
2022 J jnl
Formalising Decentralised Exchanges in Coq.
CoRR
Eske Hoy Nielsen, Danil Annenkov, Bas Spitters
2021 J jnl
Certified Compilation of Financial Contracts.
CoRR
Danil Annenkov, Martin Elsman
2021 J jnl
Extracting functional programs from Coq, in Coq.
CoRR
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
2021 B conf
Extracting smart contracts tested and verified in Coq.
CPP
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
2020 B conf
ConCert: a smart contract certification framework in Coq.
CPP
Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters
2020 J jnl
Extracting Smart Contracts Tested and Verified in Coq.
CoRR
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
2019 J jnl
Towards a Smart Contract Verification Framework in Coq.
CoRR
Danil Annenkov, Bas Spitters
2018 J jnl
Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory.
CoRR
Danil Annenkov
2018 C conf
Certified Compilation of Financial Contracts.
PPDP
Danil Annenkov, Martin Elsman
2018 J jnl
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large.
Proc. ACM Program. Lang.
Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea
2017 J jnl
Two-Level Type Theory and Applications.
CoRR
Danil Annenkov, Paolo Capriotti, Nicolai Kraus