Danil Annenkov

According to our database, Danil Annenkov authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Two-level type theory and applications - ERRATUM.

Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler

Math. Struct. Comput. Sci., 2024

2023

Two-level type theory and applications.

Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler

Math. Struct. Comput. Sci., 2023

Formalising Decentralised Exchanges in Coq.

Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Extracting functional programs from Coq, in Coq.

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters

J. Funct. Program., 2022

Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework.

Mikkel Milo, Eske Hoy Nielsen, Danil Annenkov, Bas Spitters

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

2021

Extracting smart contracts tested and verified in Coq.

Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

ConCert: a smart contract certification framework in Coq.

Danil Annenkov, Jakob Botsch Nielsen, Bas Spitters

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Towards a Smart Contract Verification Framework in Coq.

Danil Annenkov, Bas Spitters

CoRR, 2019

2018

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large.

Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin E. Oancea

Proc. ACM Program. Lang., 2018

Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory.

Danil Annenkov

CoRR, 2018

Certified Compilation of Financial Contracts.

Danil Annenkov, Martin Elsman

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

Two-Level Type Theory and Applications.

Danil Annenkov, Paolo Capriotti, Nicolai Kraus

CoRR, 2017