Danil Annenkov

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 17

Top Topics

Max Sum Algorithm

Functional Programs

Top Venues

Math. Struct. Comput. Sci.

Proc. ACM Program. Lang.

Publications

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