Aarhus University Seal / Aarhus Universitets segl

Danil Annenkov

  1. 2021
  2. Udgivet

    Extracting functional programs from Coq, in Coq. / Annenkov, Danil; Milo, Mikkel; Nielsen, Jakob Botsch; Spitters, Bas.

    2021.

    Publikation: Working paper/Preprint PreprintForskning

  3. Udgivet

    Extracting smart contracts tested and verified in Coq. / Annenkov, Danil; Milo, Mikkel; Nielsen, Jakob Botsch; Spitters, Bas.

    CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021. red. / Catalin Hritcu; Andrei Popescu. Association for Computing Machinery, 2021. s. 105-121.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  4. 2020
  5. Udgivet

    ConCert: A smart contract certification framework in Coq. / Annenkov, Danil; Botsch Nielsen, Jakob; Spitters, Bas.

    Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA. New York : Association for Computing Machinery, 2020. s. 215-228 (CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  6. 2019
  7. Udgivet

    ConCert : A Smart Contract Certification Framework in Coq. / Annenkov, Danil; Nielsen, Jakob Botsch; Spitters, Bas.

    arXiv.org, 2019.

    Publikation: Working paper/Preprint Working paperForskningpeer review

  8. 2018
  9. Udgivet

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

    Københavns Universitet, 2018. 142 s. (arXiv preprint).

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  10. Udgivet

    Certified Compilation of Financial Contracts. / Annenkov, Danil; Elsman, Martin.

    I: PPDP '18, 03.09.2018, s. 5:1-5:13.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

  11. Udgivet

    Static Interpretation of Higher-order Modules in Futhark : Functional GPU Programming in the Large. / Elsman, Martin; Henriksen, Troels; Annenkov, Danil; Oancea, Cosmin E.

    I: Proceedings of the ACM on Programming Languages , Bind 2, Nr. ICFP, 97, 01.07.2018.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  12. 2017
  13. Udgivet

    Two-Level Type Theory and Applications. / Annenkov, Danil; Capriotti, Paolo; Kraus, Nicolai.

    38 s. arXiv.org. 2017. (arXiv preprint).

    Publikation: AndetUdgivelser på nettet - Net-publikationForskning

  14. 2013
  15. Udgivet

    Generation technique for Django MVC web framework using the stratego transformation language. / Annenkov, D. V.; Cherkashin, E. A.

    2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO). 2013. s. 1084-1087.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review